strict-mutable-base-1.1.0.0: Strict variants of mutable data types from base.

Safe Haskell	Safe-Inferred
Language	Haskell2010

Control.Concurrent.MVar.Strict

Contents

Operations

Description

For full documentation please refer to Control.Concurrent.MVar.

Synopsis

data MVar' a
newEmptyMVar' :: IO (MVar' a)
newMVar' :: a -> IO (MVar' a)
takeMVar' :: MVar' a -> IO a
putMVar' :: MVar' a -> a -> IO ()
readMVar' :: MVar' a -> IO a
swapMVar' :: MVar' a -> a -> IO a
tryTakeMVar' :: MVar' a -> IO (Maybe a)
tryPutMVar' :: MVar' a -> a -> IO Bool
tryReadMVar' :: MVar' a -> IO (Maybe a)
isEmptyMVar' :: MVar' a -> IO Bool
withMVar' :: MVar' a -> (a -> IO b) -> IO b
withMVar'Masked :: MVar' a -> (a -> IO b) -> IO b
modifyMVar'_ :: MVar' a -> (a -> IO a) -> IO ()
modifyMVar' :: MVar' a -> (a -> IO (a, b)) -> IO b
modifyMVar'Masked_ :: MVar' a -> (a -> IO a) -> IO ()
modifyMVar'Masked :: MVar' a -> (a -> IO (a, b)) -> IO b
mkWeakMVar' :: MVar' a -> IO () -> IO (Weak (MVar' a))

Documentation

data MVar' a Source #

Strict (WHNF) version of MVar.

Instances

Instances details

NFData1 MVar' Source #
Instance details Defined in Control.Concurrent.MVar.Strict Methods liftRnf :: (a -> ()) -> MVar' a -> () #
NFData (MVar' a) Source #
Instance details Defined in Control.Concurrent.MVar.Strict Methods rnf :: MVar' a -> () #
Eq (MVar' a) Source #
Instance details Defined in Control.Concurrent.MVar.Strict Methods (==) :: MVar' a -> MVar' a -> Bool # (/=) :: MVar' a -> MVar' a -> Bool #

Operations

newEmptyMVar' :: IO (MVar' a) Source #

newEmptyMVar for an MVar'.

newMVar' :: a -> IO (MVar' a) Source #

newMVar for an MVar'.

Evaluates the initial value to WHNF.

takeMVar' :: MVar' a -> IO a Source #

takeMVar for an MVar'.

putMVar' :: MVar' a -> a -> IO () Source #

putMVar for an MVar'.

Evaluates the new value to WHNF.

readMVar' :: MVar' a -> IO a Source #

readMVar for an MVar'.

swapMVar' :: MVar' a -> a -> IO a Source #

swapMVar for an MVar'.

Evaluates the new value to WHNF.

tryTakeMVar' :: MVar' a -> IO (Maybe a) Source #

tryTakeMVar for an MVar'.

tryPutMVar' :: MVar' a -> a -> IO Bool Source #

tryPutMVar for an MVar'.

Evaluates the new value to WHNF.

tryReadMVar' :: MVar' a -> IO (Maybe a) Source #

tryReadMVar for an MVar'.

isEmptyMVar' :: MVar' a -> IO Bool Source #

isEmptyMVar for an MVar'.

withMVar' :: MVar' a -> (a -> IO b) -> IO b Source #

withMVar for an MVar'.

withMVar'Masked :: MVar' a -> (a -> IO b) -> IO b Source #

withMVarMasked for an MVar'.

modifyMVar'_ :: MVar' a -> (a -> IO a) -> IO () Source #

modifyMVar_ for an MVar'.

Evaluates the new value to WHNF.

modifyMVar' :: MVar' a -> (a -> IO (a, b)) -> IO b Source #

modifyMVar for an MVar'.

Evaluates the new value to WHNF.

modifyMVar'Masked_ :: MVar' a -> (a -> IO a) -> IO () Source #

modifyMVarMasked_ for an MVar'.

Evaluates the new value to WHNF.

modifyMVar'Masked :: MVar' a -> (a -> IO (a, b)) -> IO b Source #

modifyMVarMasked for an MVar'.

Evaluates the new value to WHNF.

mkWeakMVar' :: MVar' a -> IO () -> IO (Weak (MVar' a)) Source #

mkWeakMVar for an MVar'.