| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Language.Haskell.TH.Natural.Syntax.Expr.Do.State
Documentation
newtype DoExprBuilderState Source #
Constructors
| MkDoEBS | Works as a stack: the last step is the first in the list |
Fields
| |
Instances
| IsExprBuilder DoExprBuilderState Source # | |||||
Defined in Language.Haskell.TH.Natural.Syntax.Expr.Do.Untyped Associated Types
Methods addDeconstruct :: forall (step :: BuilderStep). Deconstruct -> Builder DoExprBuilderState step 'Empty () Source # addLet :: forall (step :: BuilderStep). Binding -> Builder DoExprBuilderState step 'Empty () Source # letCount :: forall {k} (step :: k). Builder DoExprBuilderState step step Int Source # returns :: forall b (step :: BuilderStep). GenExpr b => b -> Builder DoExprBuilderState step 'Ready () Source # runExprBuilder :: forall (step :: BuilderStep). Builder DoExprBuilderState step 'Ready () -> Definition DoExprBuilderState Source # | |||||
| type Definition DoExprBuilderState Source # | |||||