Agda-2.3.0.1: A dependently typed functional programming language and proof assistant

Safe HaskellSafe-Infered

Agda.Syntax.Parser

Contents

Synopsis

Types

data Parser a

Wrapped Parser type.

Parse functions

parse :: Strict a => Parser a -> String -> IO a

parseLiterate :: Strict a => Parser a -> String -> IO a

Parsers

moduleParser :: Parser Module

Parses a module.

exprParser :: Parser Expr

Parses an expression.

tokensParser :: Parser [Token]

Gives the parsed token stream (including comments).

Parse errors

data ParseError

What you get if parsing fails.

Constructors

ParseError 

Fields

errPos :: Position

where the error occured

errInput :: String

the remaining input

errPrevToken :: String

the previous token

errMsg :: String

hopefully an explanation of what happened