Safe Haskell	Safe
Language	Haskell2010

Control.Monad.Trans.Lift.CallCC

Description

Lifting the callCC operation.

Synopsis

class MonadTrans t => LiftCallCC t where
- liftCallCC :: Monad m => CallCC m (StT t a) (StT t b) -> CallCC (t m) a b
- liftCallCC' :: Monad m => CallCC m (StT t a) (StT t b) -> CallCC (t m) a b
type CallCC (m :: Type -> Type) a b = ((a -> m b) -> m a) -> m a
defaultLiftCallCC :: (Monad m, LiftCallCC n) => (forall x. n m x -> t m x) -> (forall o x. t o x -> n o x) -> CallCC m (StT n a) (StT n b) -> CallCC (t m) a b
defaultLiftCallCC' :: (Monad m, LiftCallCC n) => (forall x. n m x -> t m x) -> (forall o x. t o x -> n o x) -> CallCC m (StT n a) (StT n b) -> CallCC (t m) a b
module Control.Monad.Trans.Class

Documentation

class MonadTrans t => LiftCallCC t where Source #

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 Source #

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 Source #

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 Source #
Instance details Defined in Control.Monad.Trans.Lift.CallCC Methods liftCallCC :: Monad m => CallCC m (StT MaybeT a) (StT MaybeT b) -> CallCC (MaybeT m) a b Source # liftCallCC' :: Monad m => CallCC m (StT MaybeT a) (StT MaybeT b) -> CallCC (MaybeT m) a b Source #
LiftCallCC ListT Source #
Instance details Defined in Control.Monad.Trans.Lift.CallCC Methods liftCallCC :: Monad m => CallCC m (StT ListT a) (StT ListT b) -> CallCC (ListT m) a b Source # liftCallCC' :: Monad m => CallCC m (StT ListT a) (StT ListT b) -> CallCC (ListT m) a b Source #
Monoid w => LiftCallCC (WriterT w) Source #
Instance details Defined in Control.Monad.Trans.Lift.CallCC Methods liftCallCC :: Monad m => CallCC m (StT (WriterT w) a) (StT (WriterT w) b) -> CallCC (WriterT w m) a b Source # liftCallCC' :: Monad m => CallCC m (StT (WriterT w) a) (StT (WriterT w) b) -> CallCC (WriterT w m) a b Source #
Monoid w => LiftCallCC (AccumT w) Source #
Instance details Defined in Control.Monad.Trans.Lift.CallCC Methods liftCallCC :: Monad m => CallCC m (StT (AccumT w) a) (StT (AccumT w) b) -> CallCC (AccumT w m) a b Source # liftCallCC' :: Monad m => CallCC m (StT (AccumT w) a) (StT (AccumT w) b) -> CallCC (AccumT w m) a b Source #
Monoid w => LiftCallCC (WriterT w) Source #
Instance details Defined in Control.Monad.Trans.Lift.CallCC Methods liftCallCC :: Monad m => CallCC m (StT (WriterT w) a) (StT (WriterT w) b) -> CallCC (WriterT w m) a b Source # liftCallCC' :: Monad m => CallCC m (StT (WriterT w) a) (StT (WriterT w) b) -> CallCC (WriterT w m) a b Source #
LiftCallCC (StateT s) Source #
Instance details Defined in Control.Monad.Trans.Lift.CallCC Methods liftCallCC :: Monad m => CallCC m (StT (StateT s) a) (StT (StateT s) b) -> CallCC (StateT s m) a b Source # liftCallCC' :: Monad m => CallCC m (StT (StateT s) a) (StT (StateT s) b) -> CallCC (StateT s m) a b Source #
LiftCallCC (StateT s) Source #
Instance details Defined in Control.Monad.Trans.Lift.CallCC Methods liftCallCC :: Monad m => CallCC m (StT (StateT s) a) (StT (StateT s) b) -> CallCC (StateT s m) a b Source # liftCallCC' :: Monad m => CallCC m (StT (StateT s) a) (StT (StateT s) b) -> CallCC (StateT s m) a b Source #
LiftCallCC (IdentityT :: (Type -> Type) -> Type -> Type) Source #
Instance details Defined in Control.Monad.Trans.Lift.CallCC Methods liftCallCC :: Monad m => CallCC m (StT IdentityT a) (StT IdentityT b) -> CallCC (IdentityT m) a b Source # liftCallCC' :: Monad m => CallCC m (StT IdentityT a) (StT IdentityT b) -> CallCC (IdentityT m) a b Source #
LiftCallCC (ExceptT e) Source #
Instance details Defined in Control.Monad.Trans.Lift.CallCC Methods liftCallCC :: Monad m => CallCC m (StT (ExceptT e) a) (StT (ExceptT e) b) -> CallCC (ExceptT e m) a b Source # liftCallCC' :: Monad m => CallCC m (StT (ExceptT e) a) (StT (ExceptT e) b) -> CallCC (ExceptT e m) a b Source #
Monoid w => LiftCallCC (WriterT w) Source #
Instance details Defined in Control.Monad.Trans.Lift.CallCC Methods liftCallCC :: Monad m => CallCC m (StT (WriterT w) a) (StT (WriterT w) b) -> CallCC (WriterT w m) a b Source # liftCallCC' :: Monad m => CallCC m (StT (WriterT w) a) (StT (WriterT w) b) -> CallCC (WriterT w m) a b Source #
LiftCallCC (ReaderT r :: (Type -> Type) -> Type -> Type) Source #
Instance details Defined in Control.Monad.Trans.Lift.CallCC Methods liftCallCC :: Monad m => CallCC m (StT (ReaderT r) a) (StT (ReaderT r) b) -> CallCC (ReaderT r m) a b Source # liftCallCC' :: Monad m => CallCC m (StT (ReaderT r) a) (StT (ReaderT r) b) -> CallCC (ReaderT r m) a b Source #
Monoid w => LiftCallCC (RWST r w s) Source #
Instance details Defined in Control.Monad.Trans.Lift.CallCC Methods liftCallCC :: Monad m => CallCC m (StT (RWST r w s) a) (StT (RWST r w s) b) -> CallCC (RWST r w s m) a b Source # liftCallCC' :: Monad m => CallCC m (StT (RWST r w s) a) (StT (RWST r w s) b) -> CallCC (RWST r w s m) a b Source #
Monoid w => LiftCallCC (RWST r w s) Source #
Instance details Defined in Control.Monad.Trans.Lift.CallCC Methods liftCallCC :: Monad m => CallCC m (StT (RWST r w s) a) (StT (RWST r w s) b) -> CallCC (RWST r w s m) a b Source # liftCallCC' :: Monad m => CallCC m (StT (RWST r w s) a) (StT (RWST r w s) b) -> CallCC (RWST r w s m) a b Source #
Monoid w => LiftCallCC (RWST r w s) Source #
Instance details Defined in Control.Monad.Trans.Lift.CallCC Methods liftCallCC :: Monad m => CallCC m (StT (RWST r w s) a) (StT (RWST r w s) b) -> CallCC (RWST r w s m) a b Source # liftCallCC' :: Monad m => CallCC m (StT (RWST r w s) a) (StT (RWST r w s) b) -> CallCC (RWST r w s m) a b Source #

type CallCC (m :: Type -> Type) a b = ((a -> m b) -> m a) -> m a #

Signature of the callCC operation, introduced in Control.Monad.Trans.Cont. Any lifting function liftCallCC should satisfy

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

defaultLiftCallCC Source #

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' Source #

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