Modulelifted-base-0.2.3.12Haskell98

Control.Concurrent.MVar.Lifted

This is a wrapped version of Control.Concurrent.MVar with types generalized from IO to all monads in either MonadBase or MonadBaseControl.

1 type
17 values

Packagelifted-base-0.2.3.12
Exports18
LanguageHaskell98
LicenceBSD-3-Clause
SourceLifted.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.

Instances1Eq

Eq (MVar a)Defined in ghc-internal-9.1003.0 · GHC.Internal.MVar
Compares the underlying pointers.

valuenewEmptyMVar :: MonadBase IO m => m (MVar a)

Generalized version of newEmptyMVar.

valuenewMVar :: MonadBase IO m => a -> m (MVar a)

Generalized version of newMVar.

valuetakeMVar :: MonadBase IO m => MVar a -> m a

Generalized version of takeMVar.

valueputMVar :: MonadBase IO m => MVar a -> a -> m ()

Generalized version of putMVar.

valuereadMVar :: MonadBase IO m => MVar a -> m a

Generalized version of readMVar.

valueswapMVar :: MonadBase IO m => MVar a -> a -> m a

Generalized version of swapMVar.

valuetryTakeMVar :: MonadBase IO m => MVar a -> m (Maybe a)

Generalized version of tryTakeMVar.

valuetryPutMVar :: MonadBase IO m => MVar a -> a -> m Bool

Generalized version of tryPutMVar.

valueisEmptyMVar :: MonadBase IO m => MVar a -> m Bool

Generalized version of isEmptyMVar.

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

Generalized version of withMVar.

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

Generalized version of modifyMVar_.

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

Generalized version of modifyMVar.

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

Generalized version of modifyMVarMasked_.

valuemodifyMVarMasked

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

Generalized version of modifyMVarMasked.

valuemkWeakMVar :: MonadBaseControl IO m => MVar a -> m () -> m (Weak (MVar a))

Generalized version of mkWeakMVar.

Note any monadic side effects in m of the "finalizer" computation are discarded.

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

Generalized version of withMVarMasked.

valuetryReadMVar :: MonadBase IO m => MVar a -> m (Maybe a)

Generalized version of tryReadMVar.