Language.Lexer.Tlex.Plugin.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 THScanner e

Constructors

THScanner

Fields

• thScannerOutputCtx :: OutputContext
• thScannerTlexScanner :: Scanner e (Q Exp)

data THScannerBuilderContext s e a

type THScannerBuilder s e a = State (THScannerBuilderContext s e a)

buildTHScanner :: forall e s a. Enum e => Bounded e => Type -> Type -> Type -> THScannerBuilder s e a () -> THScanner e

buildTHScannerWithReify :: forall s a e. Enum e => Bounded e => Typeable e => Typeable s => Typeable a => THScannerBuilder s e a () -> Q (THScanner e)

liftTlexScannerBuilder :: Enum e => ScannerBuilder s e (Q Exp) a -> THScannerBuilder s e f a

thLexRule :: Enum e => Enum s => [s] -> Pattern e -> Q (TExp a) -> THScannerBuilder s e a ()

outputScanner :: Enum e => THScanner e -> Q [Dec]