| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Language.Lexer.Tlex.Output.TH
Synopsis
- class (Enum e, Monad m) => TlexContext p e (m :: Type -> Type) | m -> p, m -> e where
- tlexGetInputPart :: m (Maybe e)
- tlexGetMark :: m p
- data TlexResult p a
- = TlexEndOfInput
- | TlexError
- | TlexAccepted p a
- data Runner (e :: k) a = Runner {
- tlexInitial :: Int -> Int
- tlexAccept :: Int -> Maybe a
- tlexTrans :: Int -> Int -> Int
- runRunner :: (Enum s, TlexContext p c m) => Runner c a -> s -> m (TlexResult p a)
- data TlexTransStateSize
- tlexLookupTlexTransTable :: Int -> TlexTransStateSize -> Addr# -> Int -> Int -> Int
- type TlexArray = Array Int
- tlexArray :: Int -> [a] -> TlexArray a
- tlexArrayIndex :: TlexArray a -> Int -> a
- data OutputContext = OutputContext {}
- outputDfa :: OutputContext -> DFA (Q Exp) -> Q [Dec]
- addrCodeUnitsLE :: Bits a => Integral a => Int -> a -> [Word8]
Documentation
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 # | |
runRunner :: (Enum s, TlexContext p c m) => Runner c a -> s -> m (TlexResult p a) #
data TlexTransStateSize Source #
Instances
tlexLookupTlexTransTable :: Int -> TlexTransStateSize -> Addr# -> Int -> Int -> Int Source #
tlexArrayIndex :: TlexArray a -> Int -> a Source #
data OutputContext Source #
Constructors
| OutputContext | |
Fields | |
Instances
| Eq OutputContext Source # | |
Defined in Language.Lexer.Tlex.Output.TH Methods (==) :: OutputContext -> OutputContext -> Bool # (/=) :: OutputContext -> OutputContext -> Bool # | |
| Show OutputContext Source # | |
Defined in Language.Lexer.Tlex.Output.TH Methods showsPrec :: Int -> OutputContext -> ShowS # show :: OutputContext -> String # showList :: [OutputContext] -> ShowS # | |