Control.Monad.Trans.Writer.Lazy.Wiring

Documentation

wiredTell :: (Monoid w2, Monad m, Wirable w1 w2) => w1 -> WriterT w2 m ()

Orphan instances

(Wirable w1 w2, Functor f) => Wirable (WriterT w1 f a) (WriterT w2 f a)

Methods

wire :: WriterT w1 f a -> WriterT w2 f a

(Wirable w1 w2, Functor f) => Wirable (WriterT w1 f a) (RWST r w2 s f a)

Methods

wire :: WriterT w1 f a -> RWST r w2 s f a

(Wirable w1 w2, Functor f) => Wirable (WriterT w1 f a) (RWST r w2 s f a)

Methods

wire :: WriterT w1 f a -> RWST r w2 s f a