withReaderT

withReaderT :: (r' -> r) -> ReaderT r m a -> ReaderT r' m a
transformers Control.Monad.Trans.Reader, mtl Control.Monad.Reader
Execute a computation in a modified environment (a more general version of local). *  (withReaderT f m) = > runReaderT m .