lambda-cube-0.3.0: Some thoughts on Calculus of Constructions
Safe HaskellNone
LanguageHaskell2010

L3.Parse.Lexer

Description

Lexer from Strings into Tokens

Synopsis

Documentation

data Token Source #

Lex strings into tokens, canonical form for the syntax definitition

Constructors

OpenParen 
CloseParen 
OpenBracket 
CloseBracket 
HasType 
At 
StarT 
BoxT 
Arrow 
LambdaT 
PiT 
AutoT 
Symbol String 
Number Int 
Comment String 
EOL 

Instances

Instances details
Eq Token Source # 
Instance details

Defined in L3.Parse.Lexer

Methods

(==) :: Token -> Token -> Bool #

(/=) :: Token -> Token -> Bool #

Show Token Source # 
Instance details

Defined in L3.Parse.Lexer

Methods

showsPrec :: Int -> Token -> ShowS #

show :: Token -> String #

showList :: [Token] -> ShowS #

alternatives :: [Parser String Token] Source #

A list of Alternatives that may be used to lex a string into tokens.

comment :: Parser String Token Source #

Parse a comment, taking characters until an End-Of-Line

lexSrc :: String -> Result [Token] Source #

Parse a string into canonical form using tokens

grammar :: Parser String [Token] Source #

The grammar for this parser is the collection of Alternatives