CommonLogic.Lexer_CLIF

Description

Synopsis

• pToken :: CharParser st String -> CharParser st Token
• oParenT :: CharParser st Token
• cParenT :: CharParser st Token
• quotedstring :: CharParser st String
• enclosedname :: CharParser st String
• parens :: CharParser st a -> CharParser st a
• andKey :: CharParser st Token
• notKey :: CharParser st Token
• orKey :: CharParser st Token
• ifKey :: CharParser st Token
• iffKey :: CharParser st Token
• forallKey :: CharParser st Token
• existsKey :: CharParser st Token
• thatKey :: CharParser st Token
• clTextKey :: CharParser st Token
• clModuleKey :: CharParser st Token
• clImportsKey :: CharParser st Token
• clExcludesKey :: CharParser st Token
• clEqualsKey :: CharParser st Token
• clCommentKey :: CharParser st Token
• clRolesetKey :: CharParser st Token
• clPrefixKey :: CharParser st Token
• seqmark :: CharParser st Token
• identifier :: CharParser st Token
• scanSeqMark :: CharParser st String
• scanClWord :: CharParser st String
• clLetters :: Char -> Bool
• clLetters2 :: Char -> Bool
• clLetter :: CharParser st Char
• reservedelement :: [String]
• reservedcl :: [String]
• reservedelement2 :: [String]
• commentBlockOpen :: String
• commentBlockClose :: String
• commentLineStart :: String
• newLinec :: String
• whitec :: String
• whiteSpace :: CharParser st String
• commentBlock :: CharParser st String
• commentLine :: CharParser st String
• white :: CharParser st String

Documentation