wiring-0.5.1: Wiring, promotion and demotion of types.

Safe HaskellNone
LanguageHaskell2010

Control.Monad.Writer.Lazy.Wiring

Contents

Documentation

wiredTell :: (Monoid w2, Monad m, MonadWriter w2 m, Wirable w1 w2) => w1 -> m () Source #

Orphan instances

(Wirable w1 w2, Functor f) => Wirable (WriterT w1 f a) (WriterT w2 f a) Source # 
Instance details

Methods

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

(Wirable w1 w2, Functor f) => Wirable (WriterT w1 f a) (RWST r w2 s f a) Source # 
Instance details

Methods

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

(Wirable w1 w2, Functor f) => Wirable (WriterT w1 f a) (RWST r w2 s f a) Source # 
Instance details

Methods

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