wiring-0.5.1: Wiring, promotion and demotion of types.
Control.Monad.Trans.Reader.Wiring
Contents
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.
ask
wire
Methods
wire :: ReaderT r2 f a -> ReaderT r1 f a Source #
wire :: ReaderT r2 f a -> RWST r1 w s f a Source #