| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Language.Haskell.TH.Natural.Syntax.Expr.Typed.Monad
Documentation
(>>=) :: forall {k1} {k2} s (args0 :: [Type]) (args0' :: [Type]) (res0 :: k1) a (args1' :: [Type]) (res1 :: k2) b. TypedExprBuilder s args0 args0' res0 a -> (a -> TypedExprBuilder s ('[] :: [Type]) args1' res1 b) -> TypedExprBuilder s args0 (args0' :++: args1') res1 b Source #
(>>) :: forall {k1} {k2} s (args0 :: [Type]) (args0' :: [Type]) (res0 :: k1) a (args1' :: [Type]) (res1 :: k2) b. TypedExprBuilder s args0 args0' res0 a -> TypedExprBuilder s ('[] :: [Type]) args1' res1 b -> TypedExprBuilder s args0 (args0' :++: args1') res1 b Source #