Morte.Lexer

Lexing logic for the Morte language

Lexer

lexExpr :: Text -> Producer Token (State Position) (Maybe Text)

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.

Types

data Token

Token type, used to communicate between the lexer and parser

Constructors

OpenParen

CloseParen

Colon

At

Star

Box

Arrow

Lambda

Pi

Label Text

Number Int

File FilePath

URL String

EOF

Instances

Show Token

data Position

The cursor's location while lexing the text

Constructors

P

Fields

lineNo :: !Int

columnNo :: !Int

Instances

Show Position