yi-0.6.2.3: The Haskell-Scriptable Editor Source code Contents Index

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 :: HlState Source

alexScanToken :: (AlexState HlState, AlexInput) -> Maybe (Tok Token, (AlexState HlState, AlexInput)) Source

Scan one token. Return (maybe) a token and a new state.

tokenToStyle :: Token -> StyleName 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 Show Token

type HlState = Int Source

data Reserved Source

Constructors Forall Exists Other Instances Eq Reserved Show Reserved

data ReservedOp Source

Constructors Or And BackSlash RightArrow DoubleRightArrow Dot OtherOp Instances Eq ReservedOp Show ReservedOp

Produced by Haddock version 2.6.1