yi-misc-modes-0.19.1: Yi editor miscellaneous modes
Safe HaskellSafe-Inferred
LanguageHaskell2010

Yi.Lexer.Abella

Documentation

data Token Source #

Instances

Instances details
Show Token Source # 
Instance details

Defined in Yi.Lexer.Abella

Eq Token Source # 
Instance details

Defined in Yi.Lexer.Abella

Methods

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

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

data Reserved Source #

Constructors

Forall 
Exists 
Other 

Instances

Instances details
Show Reserved Source # 
Instance details

Defined in Yi.Lexer.Abella

Eq Reserved Source # 
Instance details

Defined in Yi.Lexer.Abella

data ReservedOp Source #

Instances

Instances details
Show ReservedOp Source # 
Instance details

Defined in Yi.Lexer.Abella

Eq ReservedOp Source # 
Instance details

Defined in Yi.Lexer.Abella