Language.Lexer.Tlex.Output.TH

Documentation

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

Methods

tlexGetInputPart :: m (Maybe e)

tlexGetMark :: m p

data TlexResult p a

Constructors

TlexEndOfInput

TlexError

TlexAccepted p a

Instances

(Eq p, Eq a) => Eq (TlexResult p a)

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)

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

Functor (Runner e)

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)

data TlexTransStateSize

Constructors

TlexTransStateSize8

TlexTransStateSize16

TlexTransStateSize32

Instances

Enum TlexTransStateSize

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

Defined in Language.Lexer.Tlex.Output.TH

Methods

(==) :: TlexTransStateSize -> TlexTransStateSize -> Bool

(/=) :: TlexTransStateSize -> TlexTransStateSize -> Bool

Show TlexTransStateSize

Defined in Language.Lexer.Tlex.Output.TH

Methods

showsPrec :: Int -> TlexTransStateSize -> ShowS

show :: TlexTransStateSize -> String

showList :: [TlexTransStateSize] -> ShowS

Lift TlexTransStateSize

Defined in Language.Lexer.Tlex.Output.TH

Methods

lift :: TlexTransStateSize -> Q Exp

liftTyped :: TlexTransStateSize -> Q (TExp TlexTransStateSize)

tlexLookupTlexTransTable :: Int -> TlexTransStateSize -> Addr# -> Int -> Int -> Int

type TlexArray = Array Int

tlexArray :: Int -> [a] -> TlexArray a

tlexArrayIndex :: TlexArray a -> Int -> a

data OutputContext

Constructors

OutputContext

Fields

• outputCtxStartStateTy :: Type
• outputCtxCodeUnitTy :: Type
• outputCtxCodeUnitBounds :: (Int, Int)
• outputCtxSemanticActionTy :: Type

Instances

Eq OutputContext

Defined in Language.Lexer.Tlex.Output.TH

Methods

(==) :: OutputContext -> OutputContext -> Bool

(/=) :: OutputContext -> OutputContext -> Bool

Show OutputContext

Defined in Language.Lexer.Tlex.Output.TH

Methods

showsPrec :: Int -> OutputContext -> ShowS

show :: OutputContext -> String

showList :: [OutputContext] -> ShowS

outputDfa :: OutputContext -> DFA (Q Exp) -> Q [Dec]

addrCodeUnitsLE :: Bits a => Integral a => Int -> a -> [Word8]

Should correspond tlexLookupTlexTransTable