Control.Monad.Ology.Data.Prod

Documentation

data Prod m a

A product of a monad (as in WriterT).

Constructors

MkProd

Fields

• prodTell :: a -> m ()
• prodListen :: forall r. m r -> m (r, a)

Instances

Functor m => Invariant (Prod m)

Defined in Control.Monad.Ology.Data.Prod

Methods

invmap :: (a -> b) -> (b -> a) -> Prod m a -> Prod m b

Applicative m => Productable (Prod m)

Defined in Control.Monad.Ology.Data.Prod

Methods

rUnit :: Prod m ()

(<***>) :: Prod m a -> Prod m b -> Prod m (a, b)

(***>) :: Prod m () -> Prod m a -> Prod m a

(<***) :: Prod m a -> Prod m () -> Prod m 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)