morte-1.0.1: A bare-bones calculus of constructions

Safe HaskellNone

Morte.Parser

Contents

Description

Parsing logic for the Morte language

Synopsis

Parser

exprFromText :: Text -> Either ParseError ExprSource

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

Errors

data ParseError Source

Structured type for parsing errors

Instances

data ParseMessage Source

The specific parsing error

Constructors

Lexing Text

Lexing failed, returning the remainder of the text

Parsing Token

Parsing failed, returning the invalid token