Safe Haskell | Safe-Infered |
---|
Agda.Syntax.Parser
Contents
- data Parser a
- parse :: Strict a => Parser a -> String -> IO a
- parseLiterate :: Strict a => Parser a -> String -> IO a
- parsePosString :: Strict a => Parser a -> Position -> String -> IO a
- parseFile' :: Strict a => 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 :: Strict a => Parser a -> String -> IO a
parseFile' :: Strict a => 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).