morte-1.1.1: A bare-bones calculus of constructions
Morte.Lexer
Contents
Description
Lexing logic for the Morte language
Synopsis
lexExpr :: Text -> Producer Token (State Position) (Maybe Text) Source
Convert a text representation of an expression into a stream of tokens
lexExpr keeps track of position and returns the remainder of the input if lexing fails.
lexExpr
data Token Source
Token type, used to communicate between the lexer and parser
Constructors
Instances
data Position Source
The cursor's location while lexing the text
Fields