maam-0.1.0.0: A monadic framework for abstract interpretation.
Lang.Lam.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 Name Source
letExp :: Mix (Parser Token) Exp Source
lamExp :: Mix (Parser Token) Exp Source
ifExp :: Mix (Parser Token) Exp Source
appExp :: Mix (Parser Token) Exp Source
opExp :: Mix (Parser Token) Exp Source
exp :: Parser Token Exp Source
testp0 :: String Source
testp1 :: String Source
whitespaceFilter :: Token -> Bool Source
parseExp :: String -> ParseError Char Token Exp :+: Exp Source
parseFile :: String -> IO Exp Source