maam-0.2.0.0: An application of the Galois Transformers framework to two example semantics.
Lang.LamIf.Parser
data TokenType Source
Constructors
Instances
data Token Source
Fields
white :: Parser Char String Source
litTok :: String -> Parser Char String Source
numLit :: Parser Char String Source
ident :: Parser Char String Source
token :: Parser Char Token Source
key :: String -> Parser Token () Source
litExp :: Parser Token Lit Source
nameExp :: Parser Token RawName Source
letExp :: Mix (Parser Token) RawExp Source
lamExp :: Mix (Parser Token) RawExp Source
ifExp :: Mix (Parser Token) RawExp Source
appExp :: Mix (Parser Token) RawExp Source
tupExp :: Parser Token (RawExp, RawExp) Source
fstExp :: Mix (Parser Token) RawExp Source
sndExp :: Mix (Parser Token) RawExp Source
exp :: Parser Token RawExp Source
testp0 :: String Source
testp1 :: String Source
par :: String -> LexParseError Char Token RawExp :+: RawExp Source
whitespaceFilter :: Token -> Bool Source
parseExp :: String -> LexParseError Char Token RawExp :+: RawExp Source
parseFile :: String -> IO RawExp Source