template-haskell-natural-1.0.0.0
Safe HaskellNone
LanguageHaskell2010

Language.Haskell.TH.Natural.Syntax.Expr.Do.Untyped

Synopsis

Types

newDo :: forall (step :: BuilderStep). DoExprBuilder step 'Ready () -> DoExprDefinition Source #

Builds a do-expression

newQualifiedDo :: forall (step :: BuilderStep). Name -> DoExprBuilder step 'Ready () -> DoExprDefinition Source #

Same as newDo, but allow qualifying the do-expression

type DoExprDefinition = Q DoE Source #

type DoExprBuilder = Builder DoExprBuilderState Source #

State

module Language.Haskell.TH.Natural.Syntax.Expr.Do.State

Functions

stmt :: forall b (step :: BuilderStep). GenExpr b => b -> DoExprBuilder step 'Ready () Source #

Add a statement to the do-expression

bind :: forall b (step :: BuilderStep). GenExpr b => b -> DoExprBuilder step 'Empty Exp Source #

Bind a value using the backward arrow

strictBind :: forall b (step :: BuilderStep). GenExpr b => b -> DoExprBuilder step 'Empty Exp Source #

Same as bind, but uses a bang pattern

bind_ :: forall b (step :: BuilderStep). GenExpr b => Bool -> b -> DoExprBuilder step 'Empty Exp Source #

Reexport

module Language.Haskell.TH.Natural.Syntax.Expr.Untyped

module Language.Haskell.TH.Natural.Syntax.Builder.Monad

Orphan instances