mask package:lifted-base

mask :: MonadBaseControl IO m => ((forall a . m a -> m a) -> m b) -> m b

Generalized version of mask.

mask_ :: MonadBaseControl IO m => m a -> m a

Generalized version of mask_.

forkOnWithUnmask :: MonadBaseControl IO m => Int -> ((forall a . m a -> m a) -> m ()) -> m ThreadId

Generalized version of forkOnWithUnmask. Note that, while the forked computation m () has access to the captured state, all its side-effects in m are discarded. It is run only for its side-effects in IO.

forkWithUnmask :: MonadBaseControl IO m => ((forall a . m a -> m a) -> m ()) -> m ThreadId

lifted-base Control.Concurrent.Lifted

Generalized version of forkIOWithUnmask. Note that, while the forked computation m () has access to the captured state, all its side-effects in m are discarded. It is run only for its side-effects in IO.

modifyMVarMasked :: (MonadBaseControl IO m) => MVar a -> (a -> m (a, b)) -> m b

lifted-base Control.Concurrent.MVar.Lifted

Generalized version of modifyMVarMasked.

modifyMVarMasked_ :: (MonadBaseControl IO m) => MVar a -> (a -> m a) -> m ()

lifted-base Control.Concurrent.MVar.Lifted

Generalized version of modifyMVarMasked_.

withMVarMasked :: MonadBaseControl IO m => MVar a -> (a -> m b) -> m b

lifted-base Control.Concurrent.MVar.Lifted

Generalized version of withMVarMasked.

getMaskingState :: MonadBase IO m => m MaskingState

lifted-base Control.Exception.Lifted

Generalized version of getMaskingState.

uninterruptibleMask :: MonadBaseControl IO m => ((forall a . m a -> m a) -> m b) -> m b

lifted-base Control.Exception.Lifted

Generalized version of uninterruptibleMask.

uninterruptibleMask_ :: MonadBaseControl IO m => m a -> m a

lifted-base Control.Exception.Lifted

Generalized version of uninterruptibleMask_.