Control.Monad.Ology.Data.Prod

Documentation

data Prod m a

A product of a monad (as in WriterT).

Constructors

MkProd

Fields

• prodTell :: a -> m ()
• prodCollect :: 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

prodCollect_ :: Functor m => Prod m a -> m () -> m a

prodListen :: Monad m => Prod m a -> forall r. m r -> m (r, a)

prodListen_ :: Monad m => Prod m a -> m () -> m a

prodPass :: Monad m => Prod m a -> m (r, a -> a) -> m r

prodCensor :: Monad m => Prod m a -> (a -> a) -> m --> m

prodTellItem :: Applicative f => Prod m (f a) -> a -> m ()

prodCensorItems :: (Monad f, Monad m) => Prod m (f a) -> (a -> f a) -> m --> m

lensMapProd :: forall m a b. (Monad m, Monoid a, Monoid b) => Lens' a b -> Prod m a -> Prod m b

liftProd :: (MonadTransTunnel t, Monad m) => Prod m --> Prod (t m)

writerProd :: (Monad m, Monoid w) => Prod (WriterT w m) w

foldProd :: forall f m a. (Applicative f, Foldable f, Applicative m) => Prod m a -> Prod m (f a)