morte-1.7.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 [Token]

Parsing failed, returning the invalid token and the expected tokens

Instances
Show ParseMessage Source # 
Instance details

Defined in Morte.Parser