yi-misc-modes-0.18.0: Yi editor miscellaneous modes

Safe HaskellNone
LanguageHaskell2010

Yi.Lexer.Abella

Documentation

data Token Source #

Instances
Eq Token Source # 
Instance details

Defined in Yi.Lexer.Abella

Methods

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

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

Show Token Source # 
Instance details

Defined in Yi.Lexer.Abella

data Reserved Source #

Constructors

Forall 
Exists 
Other 
Instances
Eq Reserved Source # 
Instance details

Defined in Yi.Lexer.Abella

Show Reserved Source # 
Instance details

Defined in Yi.Lexer.Abella