Documentation

parseType :: Parser (Type ()) Source #

parseKind :: Parser (Kind ()) Source #

parseExpr :: Parser (Expr ()) Source #

parseDecl :: Parser (Declaration ()) Source #

parseIdent :: Parser (Name Ident) Source #

parseOperator :: Parser (Name (OpName a)) Source #

parseModule :: [LexResult] -> Either (NonEmpty ParserError) (PartialResult (Module ())) Source #

parseImportDeclP :: Parser (ImportDecl ()) Source #

parseDeclP :: Parser (Declaration ()) Source #

parseExprP :: Parser (Expr ()) Source #

parseTypeP :: Parser (Type ()) Source #

parseModuleNameP :: Parser (Name ModuleName) Source #

parseQualIdentP :: Parser (QualifiedName Ident) Source #

parse :: Text -> Either (NonEmpty ParserError) (Module ()) Source #

data PartialResult a Source #