wiring-0.4.0: Wiring, promotion and demotion of types.
Control.Monad.Reader.Wiring
Synopsis
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.
ask
wire