Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
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 #
Instances
(Show p, Show a) => Show (TlexResult p a) | |
Defined in Language.Lexer.Tlex.Runner showsPrec :: Int -> TlexResult p a -> ShowS # show :: TlexResult p a -> String # showList :: [TlexResult p a] -> ShowS # | |
(Eq p, Eq a) => Eq (TlexResult p a) | |
Defined in Language.Lexer.Tlex.Runner (==) :: TlexResult p a -> TlexResult p a -> Bool # (/=) :: TlexResult p a -> TlexResult p a -> Bool # |
runRunner :: (Enum s, TlexContext p c m) => Runner c a -> s -> m (TlexResult p a) #
data THScannerBuilderContext s e a Source #
type THScannerBuilder s e a = State (THScannerBuilderContext s e a) Source #
buildTHScanner :: forall e s a. Enum e => Bounded e => Type -> Type -> Type -> THScannerBuilder s e a () -> THScanner e Source #
buildTHScannerWithReify :: forall s a e. Enum e => Bounded e => Typeable e => Typeable s => Typeable a => THScannerBuilder s e a () -> Q (THScanner e) Source #
liftTlexScannerBuilder :: Enum e => ScannerBuilder s e (Q Exp) a -> THScannerBuilder s e f a Source #