| 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
- moduleNameParser :: Parser QName
- exprParser :: Parser Expr
- exprWhereParser :: Parser ExprWhere
- tokensParser :: Parser [Token]
- data ParseError = ParseError {
- errSrcFile :: !SrcFile
- errPos :: !PositionWithoutFile
- errInput :: String
- errPrevToken :: String
- errMsg :: String
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.
moduleNameParser :: Parser QName Source
Parses a module name.
exprParser :: Parser Expr Source
Parses an expression.
exprWhereParser :: Parser ExprWhere Source
Parses an expression followed by a where clause.
tokensParser :: Parser [Token] Source
Gives the parsed token stream (including comments).
Parse errors
data ParseError Source
What you get if parsing fails.
Constructors
| ParseError | |
Fields
| |