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

Safe Haskell	None
Language	Haskell2010

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

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

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

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 #