Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Synopsis
- data Prod m a = MkProd {
- prodTell :: a -> m ()
- prodListen :: forall r. m r -> m (r, a)
- prodListen_ :: Functor m => Prod m a -> m () -> m a
- liftProd :: (MonadTransTunnel t, Monad m) => Prod m --> Prod (t m)
- writerProd :: Monad m => Prod (WriterT w m) w
- foldProd :: forall f m a. (Applicative f, Foldable f, Applicative m) => Prod m a -> Prod m (f a)
Documentation
A product of a monad (as in WriterT
).
MkProd | |
|
Instances
Functor m => Invariant (Prod m) Source # | |
Defined in Control.Monad.Ology.Data.Prod | |
Applicative m => Productable (Prod m) Source # | |
prodListen_ :: Functor m => Prod m a -> m () -> m a Source #
foldProd :: forall f m a. (Applicative f, Foldable f, Applicative m) => Prod m a -> Prod m (f a) Source #