hets -- a heterogenous Specification (CASL) tool setContentsIndex
Common.Lexer
Portability portable
Stability provisional
Maintainer hets@tzi.de
Contents
Monad and Functor extensions
ParsecCombinator extension
casl words
casl escape chars for quoted chars and literal strings
chars for quoted chars and literal strings
digit, number, fraction, float
nested comment outs
skip whitespaces and nested comment out
keywords WORDS or NO-BRACKET-SIGNS
lexical tokens with position
some separator parsers
Description

scanner for Casl tokens and extensions to Parsec

http://www.cs.uu.nl/~daan/parsec.html extended with consumeNothing

http://www.cofi.info/Documents/CASL/Summary/ from 25 March 2001 C.4 Lexical Syntax

Synopsis
signChars :: String
scanAnySigns :: GenParser Char st String
caslLetters :: String
caslLetter :: GenParser Char st Char
prime :: GenParser Char st Char
scanLPD :: GenParser Char st Char
bind :: Monad m => (a -> b -> c) -> m a -> m b -> m c
(<<) :: Monad m => m a -> m b -> m a
(<:>) :: Monad m => m a -> m [a] -> m [a]
(<++>) :: (Monad m, MonadPlus p) => m (p a) -> m (p a) -> m (p a)
single :: (Functor f, Monad m) => f a -> f (m a)
flat :: Functor f => f [[a]] -> f [a]
followedWith :: GenParser tok st a -> GenParser tok st b -> GenParser tok st a
begDoEnd :: (Monad f, Functor f) => f a -> f [a] -> f a -> f [a]
enclosedBy :: (Monad f, Functor f) => f [a] -> f a -> f [a]
checkWith :: Show a => GenParser tok st a -> (a -> Bool) -> GenParser tok st a
separatedBy :: GenParser tok st a -> GenParser tok st b -> GenParser tok st ([a], [b])
scanLetterWord :: GenParser Char st String
singleUnderline :: GenParser Char st Char
scanUnderlineWord :: GenParser Char st String
scanAnyWords :: GenParser Char st String
casl_words :: GenParser Char st String
scanDot :: GenParser Char st Char
scanDotWords :: GenParser Char st String
value :: Int -> String -> Int
simpleEscape :: GenParser Char st String
decEscape :: GenParser Char st String
hexEscape :: GenParser Char st String
octEscape :: GenParser Char st String
escapeChar :: GenParser Char st String
printable :: GenParser Char st String
caslChar :: GenParser Char st String
scanQuotedChar :: GenParser Char st String
scanString :: GenParser Char st String
isString :: Token -> Bool
parseString :: Parser a -> String -> a
splitString :: Parser a -> String -> (a, String)
getNumber :: GenParser Char st String
scanFloat :: GenParser Char st String
scanDigit :: GenParser Char st String
isNumber :: Token -> Bool
isFloating :: Token -> Bool
isLitToken :: Token -> Bool
notEndText :: Char -> GenParser Char st Char
nestCommentOut :: GenParser Char st Char
whiteChars :: String
skip :: GenParser Char st ()
whiteSpace :: GenParser Char st ()
lexeme :: GenParser Char st a -> GenParser Char st a
symbol :: String -> GenParser Char st String
skipSmart :: GenParser Char st ()
keyWord :: GenParser Char st a -> GenParser Char st a
keySign :: GenParser Char st a -> GenParser Char st a
reserved :: [String] -> GenParser Char st String -> GenParser Char st String
pToken :: GenParser Char st String -> GenParser Char st Token
pluralKeyword :: String -> GenParser Char st Token
toKey :: String -> GenParser Char st String
asSeparator :: String -> GenParser Char st Token
commaT :: GenParser Char st Token
semiT :: GenParser Char st Token
oBraceT :: GenParser Char st Token
cBraceT :: GenParser Char st Token
oBracketT :: GenParser Char st Token
cBracketT :: GenParser Char st Token
oParenT :: GenParser Char st Token
cParenT :: GenParser Char st Token
braces :: GenParser Char st a -> GenParser Char st a
commaSep1 :: GenParser Char st a -> GenParser Char st [a]
placeS :: GenParser Char st String
placeT :: GenParser Char st Token
Documentation
signChars :: String
no-bracket-signs
scanAnySigns :: GenParser Char st String
caslLetters :: String
casl letters
caslLetter :: GenParser Char st Char
prime :: GenParser Char st Char
scanLPD :: GenParser Char st Char
Monad and Functor extensions
bind :: Monad m => (a -> b -> c) -> m a -> m b -> m c
(<<) :: Monad m => m a -> m b -> m a
(<:>) :: Monad m => m a -> m [a] -> m [a]
(<++>) :: (Monad m, MonadPlus p) => m (p a) -> m (p a) -> m (p a)
single :: (Functor f, Monad m) => f a -> f (m a)
flat :: Functor f => f [[a]] -> f [a]
ParsecCombinator extension
followedWith :: GenParser tok st a -> GenParser tok st b -> GenParser tok st a
begDoEnd :: (Monad f, Functor f) => f a -> f [a] -> f a -> f [a]
enclosedBy :: (Monad f, Functor f) => f [a] -> f a -> f [a]
checkWith :: Show a => GenParser tok st a -> (a -> Bool) -> GenParser tok st a
separatedBy :: GenParser tok st a -> GenParser tok st b -> GenParser tok st ([a], [b])
casl words
scanLetterWord :: GenParser Char st String
singleUnderline :: GenParser Char st Char
scanUnderlineWord :: GenParser Char st String
scanAnyWords :: GenParser Char st String
casl_words :: GenParser Char st String
scanDot :: GenParser Char st Char
scanDotWords :: GenParser Char st String
casl escape chars for quoted chars and literal strings
value :: Int -> String -> Int
simpleEscape :: GenParser Char st String
decEscape :: GenParser Char st String
hexEscape :: GenParser Char st String
octEscape :: GenParser Char st String
escapeChar :: GenParser Char st String
chars for quoted chars and literal strings
printable :: GenParser Char st String
caslChar :: GenParser Char st String
scanQuotedChar :: GenParser Char st String
scanString :: GenParser Char st String
isString :: Token -> Bool
parseString :: Parser a -> String -> a
splitString :: Parser a -> String -> (a, String)
digit, number, fraction, float
getNumber :: GenParser Char st String
scanFloat :: GenParser Char st String
scanDigit :: GenParser Char st String
isNumber :: Token -> Bool
isFloating :: Token -> Bool
isLitToken :: Token -> Bool
nested comment outs
notEndText :: Char -> GenParser Char st Char
nestCommentOut :: GenParser Char st Char
skip whitespaces and nested comment out
whiteChars :: String
skip :: GenParser Char st ()
whiteSpace :: GenParser Char st ()
lexeme :: GenParser Char st a -> GenParser Char st a
symbol :: String -> GenParser Char st String
skipSmart :: GenParser Char st ()
keywords WORDS or NO-BRACKET-SIGNS
keyWord :: GenParser Char st a -> GenParser Char st a
keySign :: GenParser Char st a -> GenParser Char st a
reserved :: [String] -> GenParser Char st String -> GenParser Char st String
lexical tokens with position
pToken :: GenParser Char st String -> GenParser Char st Token
pluralKeyword :: String -> GenParser Char st Token
toKey :: String -> GenParser Char st String
check for keywords (depending on lexem class)
some separator parsers
asSeparator :: String -> GenParser Char st Token
commaT :: GenParser Char st Token
semiT :: GenParser Char st Token
oBraceT :: GenParser Char st Token
cBraceT :: GenParser Char st Token
oBracketT :: GenParser Char st Token
cBracketT :: GenParser Char st Token
oParenT :: GenParser Char st Token
cParenT :: GenParser Char st Token
braces :: GenParser Char st a -> GenParser Char st a
commaSep1 :: GenParser Char st a -> GenParser Char st [a]
placeS :: GenParser Char st String
placeT :: GenParser Char st Token
Produced by Haddock version 0.6