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

Safe HaskellNone
LanguageHaskell2010

Control.Monad.Reader.Wiring

Contents

Synopsis

Documentation

wiredAsk :: (Functor m, MonadReader r1 m, Wirable r1 r2) => m r2 Source #

Retrieves the monad environment like ask, but uses wire to transform the environment to the required type.

Orphan instances

Wirable r1 r2 => Wirable (ReaderT r2 f a) (ReaderT r1 f a) Source # 
Instance details

Methods

wire :: ReaderT r2 f a -> ReaderT r1 f a Source #

(Monoid w, Functor f, Wirable r1 r2) => Wirable (ReaderT r2 f a) (RWST r1 w s f a) Source # 
Instance details

Methods

wire :: ReaderT r2 f a -> RWST r1 w s f a Source #

(Monoid w, Functor f, Wirable r1 r2) => Wirable (ReaderT r2 f a) (RWST r1 w s f a) Source # 
Instance details

Methods

wire :: ReaderT r2 f a -> RWST r1 w s f a Source #