Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- class (Enum unit, Monad m) => TlexContext mark unit (m :: Type -> Type) | m -> mark, m -> unit where
- tlexGetInputPart :: m (Maybe unit)
- tlexGetMark :: m mark
- data TlexResult mark action
- = TlexEndOfInput
- | TlexNotAccepted
- | TlexAccepted mark action
- data Runner (unit :: k) action = Runner {
- tlexInitial :: Int -> Int
- tlexAccept :: Int -> Maybe action
- tlexTrans :: Int -> Int -> Int
- runRunner :: (Enum state, TlexContext mark unit m) => Runner unit action -> state -> m (TlexResult mark action)
- 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
class (Enum unit, Monad m) => TlexContext mark unit (m :: Type -> Type) | m -> mark, m -> unit where #
tlexGetInputPart :: m (Maybe unit) #
Get a unit of current position from input, and move to next position.
tlexGetMark :: m mark #
Get a mark of current position.
data TlexResult mark action #
TlexEndOfInput | No more inputs. |
TlexNotAccepted | Some inputs are available, but not accepted. |
TlexAccepted mark action | Accepted with a end position and an action. |
Instances
(Show mark, Show action) => Show (TlexResult mark action) | |
Defined in Language.Lexer.Tlex.Runner showsPrec :: Int -> TlexResult mark action -> ShowS # show :: TlexResult mark action -> String # showList :: [TlexResult mark action] -> ShowS # | |
(Eq mark, Eq action) => Eq (TlexResult mark action) | |
Defined in Language.Lexer.Tlex.Runner (==) :: TlexResult mark action -> TlexResult mark action -> Bool # (/=) :: TlexResult mark action -> TlexResult mark action -> Bool # |
runRunner :: (Enum state, TlexContext mark unit m) => Runner unit action -> state -> m (TlexResult mark action) #
data TlexTransStateSize Source #
Instances
tlexLookupTlexTransTable :: Int -> TlexTransStateSize -> Addr# -> Int -> Int -> Int Source #
tlexArrayIndex :: TlexArray a -> Int -> a Source #
data OutputContext Source #
Instances
Show OutputContext Source # | |
Defined in Language.Lexer.Tlex.Output.TH showsPrec :: Int -> OutputContext -> ShowS # show :: OutputContext -> String # showList :: [OutputContext] -> ShowS # | |
Eq OutputContext Source # | |
Defined in Language.Lexer.Tlex.Output.TH (==) :: OutputContext -> OutputContext -> Bool # (/=) :: OutputContext -> OutputContext -> Bool # |