DDC.Source.Tetra.Parser

Parser for the Source Tetra language.

Documentation

type Parser a = Parser (Token Name) a

Modules

pModule :: Parser (Module Source)

Parse a source tetra module.

Expressions

pExp :: Parser Exp

pExpAppSP :: Parser (SP, Exp)

Types

pType :: Parser Type

Parse a type.

pTypeApp :: Parser Type

Parse a type application.

pTypeAtomSP :: Parser (Type, SourcePos)

Parse a variable, constructor or parenthesised type.

Witnesses

pWitness :: Parser Witness

Parse a witness expression.

pWitnessApp :: Parser Witness

Parse a witness application.

pWitnessAtom :: Parser Witness

Parse a variable, constructor or parenthesised witness.

Variables

pBindNameSP :: Parser (Bind, SourcePos)

Parse a binding occurrence of a named variable.

pBoundNameSP :: Parser (Bound, SourcePos)

Parse a named term variable.

pBoundName :: Parser Bound

Parse a named term variable.

pBoundIxSP :: Parser (Bound, SourcePos)

Parse an indexed term variable.

pBoundNameOpSP :: Parser (Bound, SourcePos)

Parse an infix operator used as a variable.

pBoundNameOpVarSP :: Parser (Bound, SourcePos)

Parse an infix operator used as a variable.

Constructors

pDaConBindName :: Parser DaConBind

Parse a binding occurrence of a data constructor name.

pDaConBoundName :: Parser DaConBound

Parse a bound occurrence of a data constructor name.

pDaConBoundNameSP :: Parser (DaConBound, SourcePos)

Parse a constructor name.

pDaConBoundLit :: Parser DaConBound

Parse a literal. These are numeric literals, string literals, and special constructors like True and False.

pDaConBoundLitSP :: Parser (DaConBound, SourcePos)

Parse a literal, with source position. These are numeric literals, string literals, and special constructors like True and False.

pPrimValSP :: Parser (PrimVal, SourcePos)

Raw Tokens

pTok :: TokenAtom -> Parser n ()

Parse an atomic token.