DeepControl.Monad.Trans.Writer

This module extended Writer Monad in mtl(monad-transformer-library).

Documentation

module Control.Monad.Writer

Level-2

newtype WriterT2 w m1 m2 a

Constructors

WriterT2

Fields

runWriterT2 :: m1 (m2 (a, w))

Instances

(Monoid w, Monad m1, Monad2 m2) => MonadWriter w (WriterT2 w m1 m2)

Monoid w => MonadTransCover2 (WriterT2 w)

Monoid w => MonadTransFold2 (WriterT2 w)

Monoid w => MonadTrans2Down (WriterT2 w)

Monoid w => MonadTrans2 (WriterT2 w)

(Monoid w, Monad m1, Monad2 m2) => Monad (WriterT2 w m1 m2)

(Monad m1, Monad2 m2) => Functor (WriterT2 w m1 m2)

(Monoid w, Monad m1, Monad2 m2) => Applicative (WriterT2 w m1 m2)

(Monoid w, MonadIO m1, Monad m1, Monad2 m2) => MonadIO (WriterT2 w m1 m2)

type Trans2Down (WriterT2 w) = WriterT w

execWriterT2 :: (Monad m1, Monad2 m2) => WriterT2 w m1 m2 a -> m1 (m2 w)

mapWriterT2 :: (m1 (m2 (a, w)) -> n1 (n2 (b, w'))) -> WriterT2 w m1 m2 a -> WriterT2 w' n1 n2 b

Level-3

newtype WriterT3 w m1 m2 m3 a

Constructors

WriterT3

Fields

runWriterT3 :: m1 (m2 (m3 (a, w)))

Instances

(Monoid w, Monad m1, Monad2 m2, Monad3 m3) => MonadWriter w (WriterT3 w m1 m2 m3)

Monoid w => MonadTransCover3 (WriterT3 w)

Monoid w => MonadTransFold3 (WriterT3 w)

Monoid w => MonadTrans3Down (WriterT3 w)

Monoid w => MonadTrans3 (WriterT3 w)

(Monoid w, Monad m1, Monad2 m2, Monad3 m3) => Monad (WriterT3 w m1 m2 m3)

(Monad m1, Monad2 m2, Monad3 m3) => Functor (WriterT3 w m1 m2 m3)

(Monoid w, Monad m1, Monad2 m2, Monad3 m3) => Applicative (WriterT3 w m1 m2 m3)

(Monoid w, MonadIO m1, Monad m1, Monad2 m2, Monad3 m3) => MonadIO (WriterT3 w m1 m2 m3)

type Trans3Down (WriterT3 w) = WriterT2 w

execWriterT3 :: (Monad m1, Monad2 m2, Monad3 m3) => WriterT3 w m1 m2 m3 a -> m1 (m2 (m3 w))

mapWriterT3 :: (m1 (m2 (m3 (a, w))) -> n1 (n2 (n3 (b, w')))) -> WriterT3 w m1 m2 m3 a -> WriterT3 w' n1 n2 n3 b