yi-0.6.2.3: The Haskell-Scriptable EditorSource codeContentsIndex
Yi.Lexer.Abella
Synopsis
initState :: HlState
alexScanToken :: (AlexState HlState, AlexInput) -> Maybe (Tok Token, (AlexState HlState, AlexInput))
tokenToStyle :: Token -> StyleName
tokenToText :: Token -> Maybe String
type TT = Tok Token
isComment :: Token -> Bool
data Token
= Number
| VarIdent
| ConsIdent
| Reserved !Reserved
| ReservedOp !ReservedOp
| CommentLine
| Skip
| Unrecognized
type HlState = Int
data Reserved
= Forall
| Exists
| Other
data ReservedOp
= Or
| And
| BackSlash
| RightArrow
| DoubleRightArrow
| Dot
| OtherOp
Documentation
initState :: HlStateSource
alexScanToken :: (AlexState HlState, AlexInput) -> Maybe (Tok Token, (AlexState HlState, AlexInput))Source
Scan one token. Return (maybe) a token and a new state.
tokenToStyle :: Token -> StyleNameSource
tokenToText :: Token -> Maybe StringSource
type TT = Tok TokenSource
isComment :: Token -> BoolSource
data Token Source
Constructors
Number
VarIdent
ConsIdent
Reserved !Reserved
ReservedOp !ReservedOp
CommentLine
Skip
Unrecognized
show/hide Instances
type HlState = IntSource
data Reserved Source
Constructors
Forall
Exists
Other
show/hide Instances
data ReservedOp Source
Constructors
Or
And
BackSlash
RightArrow
DoubleRightArrow
Dot
OtherOp
show/hide Instances
Produced by Haddock version 2.6.1