Safe Haskell	Safe
Language	Haskell2010

Control.Monad.Trans.Lift.Pass

Description

Lifting the pass operation.

Synopsis

Documentation

class MonadTrans t => LiftPass t where Source #

The class of monad transformers capable of lifting pass.

Minimal complete definition

liftPass

Methods

liftPass :: Monad m => Pass w m (StT t a) -> Pass w (t m) a Source #

Lift the pass operation. Should satisfy the uniformity property

```
lift . liftPass = liftPass . lift
```

Instances

LiftPass MaybeT Source #
Methods liftPass :: Monad m => Pass w m (StT MaybeT a) -> Pass w (MaybeT m) a Source #
Monoid w' => LiftPass (WriterT w') Source #
Methods liftPass :: Monad m => Pass w m (StT (WriterT w') a) -> Pass w (WriterT w' m) a Source #
Monoid w' => LiftPass (WriterT w') Source #
Methods liftPass :: Monad m => Pass w m (StT (WriterT w') a) -> Pass w (WriterT w' m) a Source #
LiftPass (StateT s) Source #
Methods liftPass :: Monad m => Pass w m (StT (StateT s) a) -> Pass w (StateT s m) a Source #
LiftPass (StateT s) Source #
Methods liftPass :: Monad m => Pass w m (StT (StateT s) a) -> Pass w (StateT s m) a Source #
LiftPass (IdentityT *) Source #
Methods liftPass :: Monad m => Pass w m (StT (IdentityT ) a) -> Pass w (IdentityT m) a Source #
LiftPass (ExceptT e) Source #
Methods liftPass :: Monad m => Pass w m (StT (ExceptT e) a) -> Pass w (ExceptT e m) a Source #
Monoid w' => LiftPass (WriterT w') Source #
Methods liftPass :: Monad m => Pass w m (StT (WriterT w') a) -> Pass w (WriterT w' m) a Source #
LiftPass (ReaderT * r) Source #
Methods liftPass :: Monad m => Pass w m (StT (ReaderT * r) a) -> Pass w (ReaderT * r m) a Source #
Monoid w' => LiftPass (RWST r w' s) Source #
Methods liftPass :: Monad m => Pass w m (StT (RWST r w' s) a) -> Pass w (RWST r w' s m) a Source #
Monoid w' => LiftPass (RWST r w' s) Source #
Methods liftPass :: Monad m => Pass w m (StT (RWST r w' s) a) -> Pass w (RWST r w' s m) a Source #
Monoid w' => LiftPass (RWST r w' s) Source #
Methods liftPass :: Monad m => Pass w m (StT (RWST r w' s) a) -> Pass w (RWST r w' s m) a Source #

type Pass w m a = m (a, w -> w) -> m a #

Signature of the pass operation, introduced in Control.Monad.Trans.Writer. Any lifting function liftPass should satisfy

```
lift . liftPass = liftPass . lift
```

defaultLiftPass Source #

Arguments

:: (Monad m, LiftPass n)
=> (forall x. n m x -> t m x)	Monad constructor
-> (forall o x. t o x -> n o x)	Monad deconstructor
-> Pass w m (StT n a)
-> Pass w (t m) a

Default definition for the liftPass method.

module Control.Monad.Trans.Class