| Safe Haskell | None |
|---|---|
| Language | Haskell98 |
Agda.Syntax.Parser
- 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 a Source
parseFile' :: Parser a -> AbsolutePath -> IO a Source
Parsers
moduleParser :: Parser Module Source
Parses a module.
exprParser :: Parser Expr Source
Parses an expression.
tokensParser :: Parser [Token] Source
Gives the parsed token stream (including comments).