Rebase.Control.Monad.Writer.Class · rebase-1.21.2

classclass (Monoid w, Monad m) => MonadWriter w (m :: Type -> Type) | m -> w where

Methods

writer :: (a, w) -> m a
writer (a,w) embeds a simple writer action.
tell :: w -> m ()
tell w is an action that produces the output w.
listen :: m a -> m (a, w)
listen m is an action that executes the action m and adds its output to the value of the computation.
pass :: m (a, w -> w) -> m a
pass m is an action that executes the action m, which returns a value and a function, and returns the value, applying the function to the output.

Instances25MonadWriter, …

Monoid w => MonadWriter w (Tuple2 w)Defined in mtl-2.3.1 · Control.Monad.Writer.Class
MonadWriter e m => MonadWriter e (Free m)Defined in free-5.2 · Control.Monad.Free
MonadWriter e m => MonadWriter e (Free m)Defined in free-5.2 · Control.Monad.Free.Ap
MonadWriter w m => MonadWriter w (CatchT m)Defined in exceptions-0.10.9 · Control.Monad.Catch.Pure
MonadWriter w m => MonadWriter w (F m)Defined in free-5.2 · Control.Monad.Free.Church
MonadWriter w m => MonadWriter w (IterT m)Defined in free-5.2 · Control.Monad.Trans.Iter
MonadWriter w m => MonadWriter w (MaybeT m)Defined in mtl-2.3.1 · Control.Monad.Writer.Class
MonadWriter w m => MonadWriter w (ExceptT e m)Defined in mtl-2.3.1 · Control.Monad.Writer.Class
MonadWriter w m => MonadWriter w (IdentityT m)Defined in mtl-2.3.1 · Control.Monad.Writer.Class
MonadWriter w m => MonadWriter w (ReaderT r m)Defined in mtl-2.3.1 · Control.Monad.Writer.Class
MonadWriter w m => MonadWriter w (StateT s m)Defined in mtl-2.3.1 · Control.Monad.Writer.Class
MonadWriter w m => MonadWriter w (StateT s m)Defined in mtl-2.3.1 · Control.Monad.Writer.Class
(Representable f, MonadWriter w m) => MonadWriter w (ReaderT f m)Defined in adjunctions-4.4.3 · Control.Monad.Representable.Reader
(Representable g, MonadWriter w m) => MonadWriter w (StateT g m)Defined in adjunctions-4.4.3 · Control.Monad.Representable.State
(Applicative f, MonadWriter w m) => MonadWriter w (FreeT f m)Defined in free-5.2 · Control.Monad.Trans.Free.Ap
(Functor f, MonadWriter w m) => MonadWriter w (FreeT f m)Defined in free-5.2 · Control.Monad.Trans.Free
(Functor f, MonadWriter w m) => MonadWriter w (FT f m)Defined in free-5.2 · Control.Monad.Trans.Free.Church
(Monoid w, Monad m) => MonadWriter w (WriterT w m)Defined in mtl-2.3.1 · Control.Monad.Writer.Class
(Monoid w, Monad m) => MonadWriter w (WriterT w m)Defined in mtl-2.3.1 · Control.Monad.Writer.Class
(Monoid w, Monad m) => MonadWriter w (WriterT w m)Defined in mtl-2.3.1 · Control.Monad.Writer.Class
(Monoid w', MonadWriter w m) => MonadWriter w (AccumT w' m)Defined in mtl-2.3.1 · Control.Monad.Writer.Class
There are two valid instances for AccumT. It could either:
1. Lift the operations to the inner MonadWriter
2. Handle the operations itself, à la a WriterT.
This instance chooses (1), reflecting that the intent of AccumT as a type is different than that of WriterT.
(Comonad w, MonadWriter e m) => MonadWriter e (CoT w m)Defined in kan-extensions-5.2.7 · Control.Monad.Co
(Monoid w, Monad m) => MonadWriter w (RWST r w s m)Defined in mtl-2.3.1 · Control.Monad.Writer.Class
(Monoid w, Monad m) => MonadWriter w (RWST r w s m)Defined in mtl-2.3.1 · Control.Monad.Writer.Class
(Monoid w, Monad m) => MonadWriter w (RWST r w s m)Defined in mtl-2.3.1 · Control.Monad.Writer.Class

valuecensor :: MonadWriter w m => (w -> w) -> m a -> m a

censor f m is an action that executes the action m and applies the function f to its output, leaving the return value unchanged.

censor f m = pass (liftM (\x -> (x,f)) m)

valuelistens :: MonadWriter w m => (w -> b) -> m a -> m (a, b)

#

listens f m is an action that executes the action m and adds the result of applying f to the output to the value of the computation.

listens f m = liftM (id *** f) (listen m)