Safe Haskell	None
Language	Haskell2010

Language.Lexer.Tlex.Output.TH

Documentation

class (Enum e, Monad m) => TlexContext p e (m :: Type -> Type) | m -> p, m -> e where #

Methods

Constructors

Instances details

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

data Runner (e :: k) a #

Constructors

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

Instances details

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

runRunner :: (Enum s, TlexContext p c m) => Runner c a -> s -> m (TlexResult p a) #

Constructors

Instances details

Enum TlexTransStateSize Source #
Instance details Defined in Language.Lexer.Tlex.Output.TH Methods succ :: TlexTransStateSize -> TlexTransStateSize # pred :: TlexTransStateSize -> TlexTransStateSize # toEnum :: Int -> TlexTransStateSize # fromEnum :: TlexTransStateSize -> Int # enumFrom :: TlexTransStateSize -> [TlexTransStateSize] # enumFromThen :: TlexTransStateSize -> TlexTransStateSize -> [TlexTransStateSize] # enumFromTo :: TlexTransStateSize -> TlexTransStateSize -> [TlexTransStateSize] # enumFromThenTo :: TlexTransStateSize -> TlexTransStateSize -> TlexTransStateSize -> [TlexTransStateSize] #
Eq TlexTransStateSize Source #
Instance details Defined in Language.Lexer.Tlex.Output.TH Methods (==) :: TlexTransStateSize -> TlexTransStateSize -> Bool # (/=) :: TlexTransStateSize -> TlexTransStateSize -> Bool #
Show TlexTransStateSize Source #
Instance details Defined in Language.Lexer.Tlex.Output.TH Methods showsPrec :: Int -> TlexTransStateSize -> ShowS # show :: TlexTransStateSize -> String # showList :: [TlexTransStateSize] -> ShowS #
Lift TlexTransStateSize Source #
Instance details Defined in Language.Lexer.Tlex.Output.TH Methods lift :: TlexTransStateSize -> Q Exp # liftTyped :: TlexTransStateSize -> Q (TExp TlexTransStateSize) #

Constructors

OutputContext
Fields outputCtxStartStateTy :: Type outputCtxCodeUnitTy :: Type outputCtxCodeUnitBounds :: (Int, Int) outputCtxSemanticActionTy :: Type

Instances details

Eq OutputContext Source #
Instance details Defined in Language.Lexer.Tlex.Output.TH Methods (==) :: OutputContext -> OutputContext -> Bool # (/=) :: OutputContext -> OutputContext -> Bool #
Show OutputContext Source #
Instance details Defined in Language.Lexer.Tlex.Output.TH Methods showsPrec :: Int -> OutputContext -> ShowS # show :: OutputContext -> String # showList :: [OutputContext] -> ShowS #