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

Safe HaskellNone
LanguageHaskell2010

Control.Monad.RWS.Lazy.Wiring

Contents

Orphan instances

(Wirable w1 w2, Wirable r1 r2, Functor f) => Wirable (RWST r2 w1 s f a) (RWST r1 w2 s f a) Source # 

Methods

wire :: RWST r2 w1 s f a -> RWST r1 w2 s f a Source #