Hets - the Heterogeneous Tool Set

Copyright(c) Karl Luc DFKI Bremen 2010
LicenseGPLv2 or higher
Maintainerkluc@informatik.uni-bremen.de
Stabilityprovisional
Portabilityportable
Safe HaskellSafe

CommonLogic.Lexer_CLIF

Description

Parser of common logic interchange format

Synopsis

Documentation

pToken :: CharParser st String -> CharParser st Token Source #

oParenT :: CharParser st Token Source #

cParenT :: CharParser st Token Source #

quotedstring :: CharParser st String Source #

enclosedname :: CharParser st String Source #

parens :: CharParser st a -> CharParser st a Source #

parser for parens Note that these use different oParenT and cParenT from the ones in Common.Lexer to skip whitespaces and comments.

andKey :: CharParser st Token Source #

notKey :: CharParser st Token Source #

orKey :: CharParser st Token Source #

ifKey :: CharParser st Token Source #

iffKey :: CharParser st Token Source #

forallKey :: CharParser st Token Source #

existsKey :: CharParser st Token Source #

thatKey :: CharParser st Token Source #

clTextKey :: CharParser st Token Source #

clModuleKey :: CharParser st Token Source #

clImportsKey :: CharParser st Token Source #

clExcludesKey :: CharParser st Token Source #

clEqualsKey :: CharParser st Token Source #

clCommentKey :: CharParser st Token Source #

clRolesetKey :: CharParser st Token Source #

clPrefixKey :: CharParser st Token Source #

seqmark :: CharParser st Token Source #

identifier :: CharParser st Token Source #

scanSeqMark :: CharParser st String Source #

scanClWord :: CharParser st String Source #

clLetters :: Char -> Bool Source #

clLetters2 :: Char -> Bool Source #

clLetter :: CharParser st Char Source #

reservedcl :: [String] Source #

newLinec :: String Source #

whitec :: String Source #

whiteSpace :: CharParser st String Source #

commentBlock :: CharParser st String Source #

commentLine :: CharParser st String Source #

white :: CharParser st String Source #