morte-1.6.15: A bare-bones calculus of constructions

Safe HaskellNone
LanguageHaskell98

Morte.Parser

Contents

Description

Parsing logic for the Morte language

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