morte-1.2.0: 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 ParseError Source

Structured type for parsing errors

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