transformers-lift-0.2.0.1: Ad-hoc type classes for lifting

Safe HaskellSafe
LanguageHaskell2010

Control.Monad.Trans.Lift.Local

Description

Lifting the local operation.

Synopsis

Documentation

class MonadTrans t => LiftLocal t where #

The class of monad transformers capable of lifting local.

Minimal complete definition

liftLocal

Methods

liftLocal :: Monad m => m r -> (forall a. Local r m a) -> forall a. Local r (t m) a #

Lift the local operation.

Instances

LiftLocal MaybeT # 

Methods

liftLocal :: Monad m => m r -> (forall a. Local r m a) -> forall a. Local r (MaybeT m) a #

LiftLocal ListT # 

Methods

liftLocal :: Monad m => m r -> (forall a. Local r m a) -> forall a. Local r (ListT m) a #

Monoid w => LiftLocal (WriterT w) # 

Methods

liftLocal :: Monad m => m r -> (forall a. Local r m a) -> forall a. Local r (WriterT w m) a #

Monoid w => LiftLocal (WriterT w) # 

Methods

liftLocal :: Monad m => m r -> (forall a. Local r m a) -> forall a. Local r (WriterT w m) a #

LiftLocal (StateT s) # 

Methods

liftLocal :: Monad m => m r -> (forall a. Local r m a) -> forall a. Local r (StateT s m) a #

LiftLocal (StateT s) # 

Methods

liftLocal :: Monad m => m r -> (forall a. Local r m a) -> forall a. Local r (StateT s m) a #

LiftLocal (IdentityT *) # 

Methods

liftLocal :: Monad m => m r -> (forall a. Local r m a) -> forall a. Local r (IdentityT * m) a #

LiftLocal (ExceptT e) # 

Methods

liftLocal :: Monad m => m r -> (forall a. Local r m a) -> forall a. Local r (ExceptT e m) a #

Monoid w => LiftLocal (WriterT w) # 

Methods

liftLocal :: Monad m => m r -> (forall a. Local r m a) -> forall a. Local r (WriterT w m) a #

LiftLocal (ReaderT * r) # 

Methods

liftLocal :: Monad m => m r -> (forall a. Local r m a) -> forall a. Local r (ReaderT * r m) a #

LiftLocal (ContT * r) # 

Methods

liftLocal :: Monad m => m r -> (forall a. Local r m a) -> forall a. Local r (ContT * r m) a #

Monoid w => LiftLocal (RWST r w s) # 

Methods

liftLocal :: Monad m => m r -> (forall a. Local r m a) -> forall a. Local r (RWST r w s m) a #

Monoid w => LiftLocal (RWST r w s) # 

Methods

liftLocal :: Monad m => m r -> (forall a. Local r m a) -> forall a. Local r (RWST r w s m) a #

Monoid w => LiftLocal (RWST r w s) # 

Methods

liftLocal :: Monad m => m r -> (forall a. Local r m a) -> forall a. Local r (RWST r w s m) a #

type Local r m a = (r -> r) -> m a -> m a #

Signature of the local operation, introduced in Control.Monad.Trans.Reader.

defaultLiftLocal #

Arguments

:: (Monad m, LiftLocal n) 
=> (forall x. n m x -> t m x)

Monad constructor

-> (forall o x. t o x -> n o x)

Monad deconstructor

-> m r 
-> (forall a. Local r m a) 
-> forall a. Local r (t m) a 

Default definition for the liftLocal method.