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

Safe HaskellNone
LanguageHaskell2010

Control.Monad.Trans.Reader.Wiring

Synopsis

Documentation

wiredAsk :: (Monad m, Functor m, Wirable r1 r2) => ReaderT r1 m r2 Source

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