Agda-2.2.6: A dependently typed functional programming language and proof assistantSource codeContentsIndex
Agda.Syntax.Parser
Contents
Types
Parse functions
Parsers
Parse errors
Synopsis
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 {
errPos :: Position
errInput :: String
errPrevToken :: String
errMsg :: String
}
Types
data Parser a Source
Wrapped Parser type.
Parse functions
parse :: Strict a => Parser a -> String -> IO aSource
parseLiterate :: Strict a => Parser a -> String -> IO aSource
parsePosString :: Strict a => Parser a -> Position -> String -> IO aSource
parseFile' :: Strict a => 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).
Parse errors
data ParseError Source
What you get if parsing fails.
Constructors
ParseError
errPos :: Positionwhere the error occured
errInput :: Stringthe remaining input
errPrevToken :: Stringthe previous token
errMsg :: Stringhopefully an explanation of what happened
Produced by Haddock version 2.6.0