Control.Monad.Trans.Lift.CallCC

Lifting the callCC operation.

Documentation

class MonadTrans t => LiftCallCC t where

The class of monad transformers capable of lifting callCC.

Minimal complete definition

liftCallCC

Methods

liftCallCC :: Monad m => CallCC m (StT t a) (StT t b) -> CallCC (t m) a b

Lift the callCC operation. Should satisfy the uniformity property

• lift (f k) = f' (lift . k) => lift (cf f) = liftCallCC cf f'

liftCallCC' :: Monad m => CallCC m (StT t a) (StT t b) -> CallCC (t m) a b

Lift the callCC operation. This is an alternative version of liftCallCC included for historical reasons. It has a different lifting behavior for the StateT and RWST monad transformers. Matches what mtl does but doesn't satisfy the uniformity property.

Instances

LiftCallCC MaybeT

LiftCallCC ListT

LiftCallCC IdentityT

Monoid w => LiftCallCC (WriterT w)

Monoid w => LiftCallCC (WriterT w)

LiftCallCC (ExceptT e)

LiftCallCC (StateT s)

LiftCallCC (StateT s)

LiftCallCC (ReaderT r)

Monoid w => LiftCallCC (RWST r w s)

Monoid w => LiftCallCC (RWST r w s)

type CallCC m a b = ((a -> m b) -> m a) -> m a

Signature of the callCC operation, introduced in Control.Monad.Trans.Cont.

defaultLiftCallCC

Arguments

:: (Monad m, LiftCallCC n)

=> (forall x. n m x -> t m x)

Monad constructor

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

Monad deconstructor

-> CallCC m (StT n a) (StT n b)

-> CallCC (t m) a b

Default definition for the liftCallCC method.

defaultLiftCallCC'

Arguments

:: (Monad m, LiftCallCC n)

=> (forall x. n m x -> t m x)

Monad constructor

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

Monad deconstructor

-> CallCC m (StT n a) (StT n b)

-> CallCC (t m) a b

Default definition for the liftCallCC' method.

module Control.Monad.Trans.Class