DDC.Type.Parser

Parser for type expressions.

Documentation

module DDC.Base.Parser

type Parser n a = Parser (Tok n) a

Parser of type tokens.

pType :: Ord n => Parser n (Type n)

Top level parser for types.

pTypeAtom :: Ord n => Parser n (Type n)

Parse a variable, constructor or parenthesised type.

pTypeApp :: Ord n => Parser n (Type n)

Parse a type application.

pBinder :: Ord n => Parser n (Binder n)

Parse a binder.

pIndex :: Parser n Int

Parse a deBruijn index

pTok :: TokAtom -> Parser n ()

Parse an atomic token.

pTokAs :: TokAtom -> a -> Parser n a

Parse an atomic token and return some value.