Language.Qux.Annotated.Parser

A Text.Parsec indentation-based parser for generating a Program.

Parser type

type Parser a = ParsecT String () (State SourcePos) a

A ParsecT that retains indentation information.

data ParseError :: *

The abstract data type ParseError represents parse errors. It provides the source position (SourcePos) of the error and a list of error messages (Message). A ParseError can be returned by the function parse. ParseError is an instance of the Show and Eq classes.

Instances

Eq ParseError

Show ParseError

parse :: Parser a -> SourceName -> String -> Except ParseError a

parse parser sourceName input parses input using parser. Returns either a ParseError or a. This method wraps runParserT by running the indentation resolver over the parser's state.

Source position type

data SourcePos :: *

The abstract data type SourcePos represents source positions. It contains the name of the source (i.e. file name), a line number and a column number. SourcePos is an instance of the Show, Eq and Ord class.

Instances

Eq SourcePos

Data SourcePos

Ord SourcePos

Show SourcePos

sourceName :: SourcePos -> SourceName

Extracts the name of the source from a source position.

sourceLine :: SourcePos -> Line

Extracts the line number from a source position.

sourceColumn :: SourcePos -> Column

Extracts the column number from a source position.

Parsers

id_ :: Parser (Id SourcePos)

Id parser.

program :: Parser (Program SourcePos)

Program parser.

decl :: Parser (Decl SourcePos)

Decl parser.

stmt :: Parser (Stmt SourcePos)

Stmt parser.

expr :: Parser (Expr SourcePos)

Expr parser.

value :: Parser Value

Value parser. A value doesn't have a source position attached as this can be retrieved from a ValueExpr.

type_ :: Parser (Type SourcePos)

Type parser.