Control.Monad.Trans.Lift.Local

Lifting the local operation.

Documentation

class MonadTrans t => LiftLocal t where

The class of monad transformers capable of lifting local.

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

Defined in Control.Monad.Trans.Lift.Local

Methods

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

LiftLocal ListT

Defined in Control.Monad.Trans.Lift.Local

Methods

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

Monoid w => LiftLocal (WriterT w)

Defined in Control.Monad.Trans.Lift.Local

Methods

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

Monoid w => LiftLocal (AccumT w)

Defined in Control.Monad.Trans.Lift.Local

Methods

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

Monoid w => LiftLocal (WriterT w)

Defined in Control.Monad.Trans.Lift.Local

Methods

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

LiftLocal (StateT s)

Defined in Control.Monad.Trans.Lift.Local

Methods

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

LiftLocal (StateT s)

Defined in Control.Monad.Trans.Lift.Local

Methods

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

LiftLocal (IdentityT :: (Type -> Type) -> Type -> Type)

Defined in Control.Monad.Trans.Lift.Local

Methods

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

LiftLocal (ExceptT e)

Defined in Control.Monad.Trans.Lift.Local

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)

Defined in Control.Monad.Trans.Lift.Local

Methods

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

LiftLocal (ReaderT r :: (Type -> Type) -> Type -> Type)

Defined in Control.Monad.Trans.Lift.Local

Methods

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

LiftLocal (ContT r)

Defined in Control.Monad.Trans.Lift.Local

Methods

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

Monoid w => LiftLocal (RWST r w s)

Defined in Control.Monad.Trans.Lift.Local

Methods

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

Monoid w => LiftLocal (RWST r w s)

Defined in Control.Monad.Trans.Lift.Local

Methods

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

Monoid w => LiftLocal (RWST r w s)

Defined in Control.Monad.Trans.Lift.Local

Methods

liftLocal :: Monad m => m r0 -> (forall a. Local r0 m a) -> forall a. Local r0 (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.

module Control.Monad.Trans.Class