| Safe Haskell | None |
|---|
Agda.Syntax.Parser
Contents
- data Parser a
- parse :: Parser a -> String -> IO a
- parseLiterate :: Parser a -> String -> IO a
- parsePosString :: Parser a -> Position -> String -> IO a
- parseFile' :: Parser a -> AbsolutePath -> IO a
- moduleParser :: Parser Module
- exprParser :: Parser Expr
- tokensParser :: Parser [Token]
- data ParseError = ParseError {}
Types
Parse functions
parseLiterate :: Parser a -> String -> IO aSource
parseFile' :: Parser a -> AbsolutePath -> IO aSource
Parsers
moduleParser :: Parser ModuleSource
Parses a module.
exprParser :: Parser ExprSource
Parses an expression.
tokensParser :: Parser [Token]Source
Gives the parsed token stream (including comments).