Polysemy.Conc.Effect.Mask

Documentation

data RestoreMask :: Effect where

Part of an effect abstracting mask.

Constructors

Restore :: m a -> RestoreMask m a

restore :: forall r a. Member RestoreMask r => Sem r a -> Sem r a

Restore the previous masking state. Can only be called inside of an action passed to mask or uninterruptibleMask.

newtype Restoration

Resource type for the scoped Mask effect, wrapping the restore callback passed in by mask.

Constructors

Restoration

Fields

• unRestoration :: forall a. IO a -> IO a

type Mask = Scoped_ RestoreMask

The scoped masking effect.

type UninterruptibleMask = Scoped_ RestoreMask

The scoped uninterruptible masking effect.

mask :: Member Mask r => InterpreterFor RestoreMask r

Mark a region as masked. Uses the Scoped_ pattern.

uninterruptibleMask :: Member UninterruptibleMask r => InterpreterFor RestoreMask r

Mark a region as uninterruptibly masked. Uses the Scoped_ pattern.