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

Safe Haskell	None
Language	Haskell2010

Yi.Lexer.Abella

Documentation

lexer :: StyleLexerASI HlState Token #

tokenToText :: Token -> Maybe String #

type TT = Tok Token #

isComment :: Token -> Bool #

data Token #

Constructors

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

Instances

Eq Token #
Methods (==) :: Token -> Token -> Bool # (/=) :: Token -> Token -> Bool #
Show Token #
Methods showsPrec :: Int -> Token -> ShowS # show :: Token -> String # showList :: [Token] -> ShowS #

type HlState = Int #

data Reserved #

Constructors

Forall
Exists
Other

Instances

Eq Reserved #
Methods (==) :: Reserved -> Reserved -> Bool # (/=) :: Reserved -> Reserved -> Bool #
Show Reserved #
Methods showsPrec :: Int -> Reserved -> ShowS # show :: Reserved -> String # showList :: [Reserved] -> ShowS #

data ReservedOp #

Constructors

Or
And
BackSlash
RightArrow
DoubleRightArrow
Dot
OtherOp

Instances

Eq ReservedOp #
Methods (==) :: ReservedOp -> ReservedOp -> Bool # (/=) :: ReservedOp -> ReservedOp -> Bool #
Show ReservedOp #
Methods showsPrec :: Int -> ReservedOp -> ShowS # show :: ReservedOp -> String # showList :: [ReservedOp] -> ShowS #