language-tl-0.1.1: A Parser for the Type Language
Language.TL.Parser
orUnderscore :: Parser a -> Parser (Optional a) Source #
program :: Parser Program Source #
constrDecls :: Parser DeclBlock Source #
funDecls :: Parser DeclBlock Source #
annDecl :: Parser AnnDecl Source #
decl :: Parser Decl Source #
typeExpr :: Parser Expr Source #
natExpr :: Parser Expr Source #
expr :: Parser Expr Source #
subExpr :: Parser SubExpr Source #
term :: Parser Term Source #
typeIdent :: Parser TypeIdent Source #
boxedTypeIdent :: Parser BoxedTypeIdent Source #
varIdent :: Parser Ident Source #
typeTerm :: Parser Term Source #
natTerm :: Parser Term Source #
combDecl :: Parser CombinatorDecl Source #
fullCombId :: Parser (Optional FullIdent) Source #
combIdent :: Parser (Optional Ident) Source #
optArgs :: Parser OptArgs Source #
args :: Parser Args Source #
multiplicity :: Parser Term Source #
varIdentOpt :: Parser (Optional Ident) Source #
conditionalDef :: Parser ConditionalDef Source #
resultType :: Parser ResultType Source #
partialAppDecl :: Parser PartialAppDecl Source #
partialTypeAppDecl :: Parser PartialTypeAppDecl Source #
partialCombAppDecl :: Parser PartialCombAppDecl Source #
finalDecl :: Parser FinalDecl Source #