Skip to content

HORIZON HASKELL Docs lts/ghc-10.0.x8fef28d2026-11-02Search packagesCtrl K

Theme: |

GHC 10.0.0.20260917 · lts/ghc-10.0.x · 8fef28d · 2026-11-02

Moduleunliftio-0.2.25.1Haskell2010

UnliftIO.MVar

Unlifted Control.Concurrent.MVar.

Synopsis

data MVar
value newEmptyMVar
value newMVar
value takeMVar
value putMVar
value readMVar
value swapMVar
value tryTakeMVar
value tryPutMVar
value isEmptyMVar
value withMVar
value withMVarMasked
value modifyMVar
value modifyMVar_
value modifyMVarMasked
value modifyMVarMasked_
value tryReadMVar
value mkWeakMVar

Packageunliftio-0.2.25.1
Exports18
LanguageHaskell2010
LicenceMIT
SourceMVar.hs

datadata MVar a

An MVar (pronounced "em-var") is a synchronising variable, used for communication between concurrent threads. It can be thought of as a box, which may be empty or full.

Instances3NFData1, Eq, NFData

NFData1 MVarDefined in deepseq-1.5.2.0 · Control.DeepSeq
Eq (MVar a)Defined in ghc-internal-10.0.0 · GHC.Internal.MVar
Compares the underlying pointers.
NFData (MVar a)Defined in deepseq-1.5.2.0 · Control.DeepSeq
NOTE: Only strict in the reference and not the referenced value.

valuenewEmptyMVar :: MonadIO m => m (MVar a)

Lifted newEmptyMVar.

valuenewMVar :: MonadIO m => a -> m (MVar a)

Lifted newMVar.

valuetakeMVar :: MonadIO m => MVar a -> m a

Lifted takeMVar.

valueputMVar :: MonadIO m => MVar a -> a -> m ()

Lifted putMVar.

valuereadMVar :: MonadIO m => MVar a -> m a

Lifted readMVar.

valueswapMVar :: MonadIO m => MVar a -> a -> m a

Lifted swapMVar.

valuetryTakeMVar :: MonadIO m => MVar a -> m (Maybe a)

Lifted tryTakeMVar.

valuetryPutMVar :: MonadIO m => MVar a -> a -> m Bool

Lifted tryPutMVar.

valueisEmptyMVar :: MonadIO m => MVar a -> m Bool

Lifted isEmptyMVar.

valuewithMVar :: MonadUnliftIO m => MVar a -> (a -> m b) -> m b

Unlifted withMVar.

valuewithMVarMasked :: MonadUnliftIO m => MVar a -> (a -> m b) -> m b

Unlifted withMVarMasked.

valuemodifyMVar :: MonadUnliftIO m => MVar a -> (a -> m (a, b)) -> m b

Unlifted modifyMVar.

valuemodifyMVar_ :: MonadUnliftIO m => MVar a -> (a -> m a) -> m ()

Unlifted modifyMVar_.

valuemodifyMVarMasked :: MonadUnliftIO m => MVar a -> (a -> m (a, b)) -> m b

Unlifted modifyMVarMasked.

valuemodifyMVarMasked_ :: MonadUnliftIO m => MVar a -> (a -> m a) -> m ()

Unlifted modifyMVarMasked_.

valuetryReadMVar :: MonadIO m => MVar a -> m (Maybe a)

Lifted tryReadMVar.

valuemkWeakMVar :: MonadUnliftIO m => MVar a -> m () -> m (Weak (MVar a))

Unlifted mkWeakMVar.