| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Language.Haskell.TH.Natural.Syntax.Expr.Simple.Untyped
Synopsis
- newExpr :: forall (step :: BuilderStep). SimpleExprBuilder step 'Ready () -> Q LamE
- type SimpleExprBuilder = Builder SimpleExprBuilderState
- module Language.Haskell.TH.Natural.Syntax.Expr.Simple.State
- arg :: forall {k} (curr :: k). SimpleExprBuilder curr curr Exp
- module Language.Haskell.TH.Natural.Syntax.Expr.Untyped
- module Language.Haskell.TH.Natural.Syntax.Builder.Monad
Builder
newExpr :: forall (step :: BuilderStep). SimpleExprBuilder step 'Ready () -> Q LamE Source #
Builds a lambda/let expression
State
Operations
arg :: forall {k} (curr :: k). SimpleExprBuilder curr curr Exp Source #
Add an argument to the lambda
Reexport
Orphan instances
| IsExprBuilder SimpleExprBuilderState Source # | |||||
Associated Types
Methods addDeconstruct :: forall (step :: BuilderStep). Deconstruct -> Builder SimpleExprBuilderState step 'Empty () Source # addLet :: forall (step :: BuilderStep). Binding -> Builder SimpleExprBuilderState step 'Empty () Source # letCount :: forall {k} (step :: k). Builder SimpleExprBuilderState step step Int Source # returns :: forall b (step :: BuilderStep). GenExpr b => b -> Builder SimpleExprBuilderState step 'Ready () Source # runExprBuilder :: forall (step :: BuilderStep). Builder SimpleExprBuilderState step 'Ready () -> Definition SimpleExprBuilderState Source # | |||||