ddc-core-0.2.1.2: Disciple Core language and type checker.

Safe HaskellNone

DDC.Type.Parser

Description

Parser for type expressions.

Synopsis

Documentation

type Parser n a = Parser (Tok n) aSource

Parser of type tokens.

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

Top level parser for types.

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

Parse a variable, constructor or parenthesised type.

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

Parse a type application.

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

Parse a binder.

pIndex :: Parser n IntSource

Parse a deBruijn index

pTok :: TokAtom -> Parser n ()Source

Parse an atomic token.

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

Parse an atomic token and return some value.