| Safe Haskell | None |
|---|---|
| Language | Haskell2010 |
Language.Haskell.TH.Natural.Syntax.Builder.Monad
Synopsis
- (>>=) :: forall {k} (m :: Type -> Type) s (prev :: k) (curr :: k) a (next :: k) b. Monad m => BaseBuilder m s prev curr a -> (a -> BaseBuilder m s curr next b) -> BaseBuilder m s prev next b
- (>>) :: forall {k} (m :: Type -> Type) s (prev :: k) (curr :: k) a (next :: k) b. Monad m => BaseBuilder m s prev curr a -> BaseBuilder m s curr next b -> BaseBuilder m s prev next b
- fail :: forall {k} (m :: Type -> Type) s (prev :: k) (curr :: k) a. MonadFail m => String -> BaseBuilder m s prev curr a
Documentation
(>>=) :: forall {k} (m :: Type -> Type) s (prev :: k) (curr :: k) a (next :: k) b. Monad m => BaseBuilder m s prev curr a -> (a -> BaseBuilder m s curr next b) -> BaseBuilder m s prev next b Source #
Binding operator for BaseBuilder
(>>) :: forall {k} (m :: Type -> Type) s (prev :: k) (curr :: k) a (next :: k) b. Monad m => BaseBuilder m s prev curr a -> BaseBuilder m s curr next b -> BaseBuilder m s prev next b Source #
Sequence operator for BaseBuilder