| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Language.Haskell.TH.Natural.Syntax.Expr.Simple.Typed
Synopsis
- type SimpleTypedExprDefinition a = Q (TExp a)
- type SimpleTypedExprBuilder = TypedExprBuilder SimpleExprBuilderState :: [Type] -> [Type] -> k -> Type -> Type
- module Language.Haskell.TH.Natural.Syntax.Expr.Simple.State
- newExpr :: forall (args :: [Type]) a. SimpleTypedExprBuilder ('[] :: [Type]) args (Returns a) () -> SimpleTypedExprDefinition (args :~> Returns a)
- arg :: forall {a1} (args :: [Type]) a2. SimpleTypedExprBuilder args (args :> a2) ('Unknown :: Returns a1) (TExp a2)
- module Language.Haskell.TH.Natural.Syntax.Expr.Typed.Monad
- module Language.Haskell.TH.Natural.Syntax.Expr.Typed.Class
Documentation
type SimpleTypedExprDefinition a = Q (TExp a) Source #
type SimpleTypedExprBuilder = TypedExprBuilder SimpleExprBuilderState :: [Type] -> [Type] -> k -> Type -> Type Source #
newExpr :: forall (args :: [Type]) a. SimpleTypedExprBuilder ('[] :: [Type]) args (Returns a) () -> SimpleTypedExprDefinition (args :~> Returns a) Source #