yi-misc-modes-0.19.1: 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
Show Token Source # 
Instance details

Defined in Yi.Lexer.Abella

Methods

showsPrec :: Int -> Token -> ShowS

show :: Token -> String

showList :: [Token] -> ShowS

Eq Token Source # 
Instance details

Defined in Yi.Lexer.Abella

Methods

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

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

type HlState = Int Source #

data Reserved Source #

Constructors

Forall 
Exists 
Other 

Instances

Instances details
Show Reserved Source # 
Instance details

Defined in Yi.Lexer.Abella

Methods

showsPrec :: Int -> Reserved -> ShowS

show :: Reserved -> String

showList :: [Reserved] -> ShowS

Eq Reserved Source # 
Instance details

Defined in Yi.Lexer.Abella

Methods

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

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

data ReservedOp Source #

Constructors

Or 
And 
BackSlash 
RightArrow 
DoubleRightArrow 
Dot 
OtherOp 

Instances

Instances details
Show ReservedOp Source # 
Instance details

Defined in Yi.Lexer.Abella

Methods

showsPrec :: Int -> ReservedOp -> ShowS

show :: ReservedOp -> String

showList :: [ReservedOp] -> ShowS

Eq ReservedOp Source # 
Instance details

Defined in Yi.Lexer.Abella

Methods

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

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