ddc-core-0.2.1.1: Disciple Core language and type checker.
DDC.Type.Parser
Description
Parser for type expressions.
Synopsis
module DDC.Base.Parser
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.