Hets - the Heterogeneous Tool Set

Copyright	(c) Karl Luc DFKI Bremen 2010
License	GPLv2 or higher
Maintainer	kluc@informatik.uni-bremen.de
Stability	provisional
Portability	portable
Safe Haskell	Safe

CommonLogic.Lexer_CLIF

Description

Parser of common logic interchange format

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

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 #

reservedelement :: [String] Source #

reservedcl :: [String] Source #

reservedelement2 :: [String] Source #

commentBlockOpen :: String Source #

commentBlockClose :: String Source #

commentLineStart :: 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 #