Documentation

type DoTypedExprDefinition a = Q (TExp a) Source #

type DoTypedExprBuilder = TypedExprBuilder DoExprBuilderState ('[] :: [Type]) ('[] :: [Type]) :: k -> Type -> Type Source #

newDo :: DoTypedExprBuilder (Returns a) () -> DoTypedExprDefinition a Source #

stmt :: GenTExpr t b => b -> DoTypedExprBuilder (Returns t) () Source #

strictBind :: forall {a} t b. GenTExpr t b => b -> DoTypedExprBuilder ('Unknown :: Returns a) (TExp t) Source #

bind :: forall {a} t b. GenTExpr t b => b -> DoTypedExprBuilder ('Unknown :: Returns a) (TExp t) Source #

bind_ :: forall {a} t b. GenTExpr t b => Bool -> b -> DoTypedExprBuilder ('Unknown :: Returns a) (TExp t) Source #

module Language.Haskell.TH.Natural.Syntax.Expr.Typed.Monad

module Language.Haskell.TH.Natural.Syntax.Expr.Typed.Class

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