yi-language-0.1.1.0: Collection of language-related Yi libraries.

Safe HaskellNone
LanguageHaskell2010

Yi.Lexer.Abella

Documentation

lexer :: StyleLexerASI HlState Token Source

tokenToText :: Token -> Maybe String Source

type TT = Tok Token Source

isComment :: Token -> Bool Source

data Token Source

Constructors

Number 
VarIdent 
ConsIdent 
Reserved !Reserved 
ReservedOp !ReservedOp 
CommentLine 
Skip 
Unrecognized 

Instances

type HlState = Int Source

data Reserved Source

Constructors

Forall 
Exists 
Other 

Instances

data ReservedOp Source

Constructors

Or 
And 
BackSlash 
RightArrow 
DoubleRightArrow 
Dot 
OtherOp 

Instances