Safe Haskell	Safe-Inferred
Language	Haskell2010

Language.Lexer.Tlex.Runner

Documentation

class (Enum unit, Monad m) => TlexContext mark unit m | m -> mark, m -> unit where Source #

Methods

Get a unit of current position from input, and move to next position.

Get a mark of current position.

Instances details

Enum e => TlexContext (InputStringContext e) e (InputString e) Source #
Instance details Defined in Language.Lexer.Tlex.Data.InputString Methods tlexGetInputPart :: InputString e (Maybe e) Source # tlexGetMark :: InputString e (InputStringContext e) Source #

data TlexResult mark action Source #

Constructors

TlexEndOfInput	No more inputs.
TlexNotAccepted	Some inputs are available, but not accepted.
TlexAccepted mark action	Accepted with a end position and an action.

Instances details

(Show mark, Show action) => Show (TlexResult mark action) Source #
Instance details Defined in Language.Lexer.Tlex.Runner Methods showsPrec :: Int -> TlexResult mark action -> ShowS # show :: TlexResult mark action -> String # showList :: [TlexResult mark action] -> ShowS #
(Eq mark, Eq action) => Eq (TlexResult mark action) Source #
Instance details Defined in Language.Lexer.Tlex.Runner Methods (==) :: TlexResult mark action -> TlexResult mark action -> Bool # (/=) :: TlexResult mark action -> TlexResult mark action -> Bool #

data Runner unit action Source #

Constructors

Runner
Fields tlexInitial :: Int -> Int StartState -> (StateNum \| -1) tlexAccept :: Int -> Maybe action StateNum -> Maybe Action tlexTrans :: Int -> Int -> Int StateNum -> CodeUnit -> (StateNum \| -1)

Instances details

Functor (Runner unit) Source #
Instance details Defined in Language.Lexer.Tlex.Runner Methods fmap :: (a -> b) -> Runner unit a -> Runner unit b # (<$) :: a -> Runner unit b -> Runner unit a #

runRunner :: Enum state => TlexContext mark unit m => Runner unit action -> state -> m (TlexResult mark action) Source #