yi-misc-modes-0.19.0: Yi editor miscellaneous modes
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

Instances details
Eq Token Source # 
Instance details

Defined in Yi.Lexer.Abella

Methods

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

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

Show Token Source # 
Instance details

Defined in Yi.Lexer.Abella

Methods

showsPrec :: Int -> Token -> ShowS #

show :: Token -> String #

showList :: [Token] -> ShowS #

type HlState = Int Source #

data Reserved Source #

Constructors

Forall 
Exists 
Other 

Instances

Instances details
Eq Reserved Source # 
Instance details

Defined in Yi.Lexer.Abella

Methods

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

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

Show Reserved Source # 
Instance details

Defined in Yi.Lexer.Abella

Methods

showsPrec :: Int -> Reserved -> ShowS #

show :: Reserved -> String #

showList :: [Reserved] -> ShowS #

data ReservedOp Source #

Constructors

Or 
And 
BackSlash 
RightArrow 
DoubleRightArrow 
Dot 
OtherOp 

Instances

Instances details
Eq ReservedOp Source # 
Instance details

Defined in Yi.Lexer.Abella

Methods

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

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

Show ReservedOp Source # 
Instance details

Defined in Yi.Lexer.Abella

Methods

showsPrec :: Int -> ReservedOp -> ShowS #

show :: ReservedOp -> String #

showList :: [ReservedOp] -> ShowS #