lifted-stm-0.2: STM operations lifted through monad transformer stacks

Safe Haskell	Safe
Language	Haskell2010

Control.Concurrent.STM.TMVar.Lifted

Description

Lifted TMVar operations.

Synopsis

data TMVar a
newTMVar :: MonadBase STM μ => α -> μ (TMVar α)
newEmptyTMVar :: MonadBase STM μ => μ (TMVar α)
newTMVarIO :: MonadBase IO μ => α -> μ (TMVar α)
newEmptyTMVarIO :: MonadBase IO μ => μ (TMVar α)
takeTMVar :: MonadBase STM μ => TMVar α -> μ α
tryTakeTMVar :: MonadBase STM μ => TMVar α -> μ (Maybe α)
putTMVar :: MonadBase STM μ => TMVar α -> α -> μ ()
tryPutTMVar :: MonadBase STM μ => TMVar α -> α -> μ Bool
readTMVar :: MonadBase STM μ => TMVar α -> μ α
tryReadTMVar :: MonadBase STM μ => TMVar α -> μ (Maybe α)
swapTMVar :: MonadBase STM μ => TMVar α -> α -> μ α
isEmptyTMVar :: MonadBase STM μ => TMVar α -> μ Bool
mkWeakTMVar :: MonadBase IO μ => TMVar α -> IO () -> μ (Weak (TMVar α))

Documentation

data TMVar a #

A TMVar is a synchronising variable, used for communication between concurrent threads. It can be thought of as a box, which may be empty or full.

Instances

Eq (TMVar a)
Instance details Defined in Control.Concurrent.STM.TMVar Methods (==) :: TMVar a -> TMVar a -> Bool # (/=) :: TMVar a -> TMVar a -> Bool #

newTMVar :: MonadBase STM μ => α -> μ (TMVar α) Source #

A lifted version of newTMVar.

newEmptyTMVar :: MonadBase STM μ => μ (TMVar α) Source #

A lifted version of newEmptyTMVar.

newTMVarIO :: MonadBase IO μ => α -> μ (TMVar α) Source #

A lifted version of newTMVarIO.

newEmptyTMVarIO :: MonadBase IO μ => μ (TMVar α) Source #

A lifted version of newEmptyTMVarIO.

takeTMVar :: MonadBase STM μ => TMVar α -> μ α Source #

A lifted version of takeTMVar.

tryTakeTMVar :: MonadBase STM μ => TMVar α -> μ (Maybe α) Source #

A lifted version of tryTakeTMVar.

putTMVar :: MonadBase STM μ => TMVar α -> α -> μ () Source #

A lifted version of putTMVar.

tryPutTMVar :: MonadBase STM μ => TMVar α -> α -> μ Bool Source #

A lifted version of tryPutTMVar.

readTMVar :: MonadBase STM μ => TMVar α -> μ α Source #

A lifted version of readTMVar.

tryReadTMVar :: MonadBase STM μ => TMVar α -> μ (Maybe α) Source #

A lifted version of tryReadTMVar.

swapTMVar :: MonadBase STM μ => TMVar α -> α -> μ α Source #

A lifted version of swapTMVar.

isEmptyTMVar :: MonadBase STM μ => TMVar α -> μ Bool Source #

A lifted version of isEmptyTMVar.

mkWeakTMVar :: MonadBase IO μ => TMVar α -> IO () -> μ (Weak (TMVar α)) Source #

A lifted version of mkWeakTMVar.