Control.Monad.Reader.Extras

Lifted MonadReader.

Documentation

class MonadTrans t => MonadReader1 t where

Lifted MonadReader.

Minimal complete definition

local1

Methods

local1 :: MonadReader r m => (r -> r) -> t m a -> t m a

Lifted local.

Instances

MonadReader1 ListT

Methods

local1 :: MonadReader r m => (r -> r) -> ListT m a -> ListT m a

MonadReader1 MaybeT

Methods

local1 :: MonadReader r m => (r -> r) -> MaybeT m a -> MaybeT m a

MonadReader1 (ExceptT e)

Methods

local1 :: MonadReader r m => (r -> r) -> ExceptT e m a -> ExceptT e m a

MonadReader1 (StateT s)

Methods

local1 :: MonadReader r m => (r -> r) -> StateT s m a -> StateT s m a

MonadReader1 (StateT s)

Methods

local1 :: MonadReader r m => (r -> r) -> StateT s m a -> StateT s m a

Monoid w => MonadReader1 (WriterT w)

Methods

local1 :: MonadReader r m => (r -> r) -> WriterT w m a -> WriterT w m a

Monoid w => MonadReader1 (WriterT w)

Methods

local1 :: MonadReader r m => (r -> r) -> WriterT w m a -> WriterT w m a

MonadReader1 (IdentityT *)

Methods

local1 :: MonadReader r m => (r -> r) -> IdentityT * m a -> IdentityT * m a

MonadReader1 (ContT * r)

Methods

local1 :: MonadReader r m => (r -> r) -> ContT * r m a -> ContT * r m a

MonadReader1 (ReaderT * r)

Methods

local1 :: MonadReader r m => (r -> r) -> ReaderT * r m a -> ReaderT * r m a

Monoid w => MonadReader1 (RWST r w s)

Methods

local1 :: MonadReader r m => (r -> r) -> RWST r w s m a -> RWST r w s m a

Monoid w => MonadReader1 (RWST r w s)

Methods

local1 :: MonadReader r m => (r -> r) -> RWST r w s m a -> RWST r w s m a