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

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'

This implies that on entry to the continuation any outer monad transformer effect inside callCC will have been rolled back.

type Catch e (m :: k -> Type) (a :: k) = m a -> (e -> m a) -> m a Source

Signature of the catchE operation, introduced in Control.Monad.Trans.Except. Any lifting function liftCatch should satisfy

lift (cf m h) = liftCatch cf (lift m) (lift . h)

This implies that on entry to the handler function any outer monad transformer effect inside catchE will have been rolled back.

type Listen w (m :: Type -> Type) a = m a -> m (a, w) Source

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

lift . liftListen = liftListen . lift

type Pass w (m :: Type -> Type) a = m (a, w -> w) -> m a Source

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

lift . liftPass = liftPass . lift