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
data Parser a
Wrapped Parser type.
Parse functions
parseLiterate :: Parser a -> String -> IO a
parsePosString :: Parser a -> Position -> String -> IO a
parseFile' :: Parser a -> AbsolutePath -> IO a
Parsers
Parses a module.
exprParser :: Parser Expr
Parses an expression.
tokensParser :: Parser [Token]
Gives the parsed token stream (including comments).