mtl-extras-0.1: Higher order versions of MTL classes

Safe HaskellSafe
LanguageHaskell98

Control.Monad.Reader.Extras

Description

Lifted MonadReader.

Synopsis

Documentation

class MonadTrans t => MonadReader1 t where Source #

Lifted MonadReader.

Minimal complete definition

local1

Methods

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

Lifted local.

Instances

MonadReader1 ListT Source # 

Methods

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

MonadReader1 MaybeT Source # 

Methods

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

MonadReader1 (ExceptT e) Source # 

Methods

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

MonadReader1 (StateT s) Source # 

Methods

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

MonadReader1 (StateT s) Source # 

Methods

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

Monoid w => MonadReader1 (WriterT w) Source # 

Methods

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

Monoid w => MonadReader1 (WriterT w) Source # 

Methods

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

MonadReader1 (IdentityT *) Source # 

Methods

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

MonadReader1 (ContT * r) Source # 

Methods

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

MonadReader1 (ReaderT * r) Source # 

Methods

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

Monoid w => MonadReader1 (RWST r w s) Source # 

Methods

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

Monoid w => MonadReader1 (RWST r w s) Source # 

Methods

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