| Safe Haskell | Safe-Inferred |
|---|---|
| Language | Haskell2010 |
Language.Lexer.Tlex.Plugin.TH
Documentation
class (Enum unit, Monad m) => TlexContext mark unit (m :: Type -> Type) | m -> mark, m -> unit where #
Methods
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 #
Constructors
| 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 Methods 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 Methods (==) :: 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) #
Constructors
| THScanner | |
Fields | |
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 #