wiring-0.5.1: Wiring, promotion and demotion of types.
Control.Monad.Writer.Lazy.Wiring
Contents
wiredTell :: (Monoid w2, Monad m, MonadWriter w2 m, Wirable w1 w2) => w1 -> m () Source #
Methods
wire :: WriterT w1 f a -> WriterT w2 f a Source #
wire :: WriterT w1 f a -> RWST r w2 s f a Source #