morte-1.4.0: A bare-bones calculus of constructions

Safe HaskellNone
LanguageHaskell98

Morte.Parser

Contents

Synopsis

Parser

exprFromText :: Text -> Either ParseError (Expr Path) Source

Parse an Expr from Text or return a ParseError if parsing fails

Errors

data ParseMessage Source

The specific parsing error

Constructors

Lexing Text

Lexing failed, returning the remainder of the text

Parsing Token [Token]

Parsing failed, returning the invalid token and the expected tokens