Documentation

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 #