Control.Concurrent.STM.TVar.Lifted

Lifted TVar operations.

Documentation

data TVar a

Shared memory locations that support atomic memory transactions.

Instances

Eq (TVar a)

Since: base-4.8.0.0

Defined in GHC.Conc.Sync

Methods

(==) :: TVar a -> TVar a -> Bool

(/=) :: TVar a -> TVar a -> Bool

newTVar :: MonadBase STM μ => α -> μ (TVar α)

A lifted version of newTVar.

newTVarIO :: MonadBase IO μ => α -> μ (TVar α)

A lifted version of newTVarIO.

readTVar :: MonadBase STM μ => TVar α -> μ α

A lifted version of readTVar.

readTVarIO :: MonadBase IO μ => TVar α -> μ α

A lifted version of readTVarIO.

writeTVar :: MonadBase STM μ => TVar α -> α -> μ ()

A lifted version of writeTVar.

modifyTVar :: MonadBase STM μ => TVar α -> (α -> α) -> μ ()

A lifted version of modifyTVar.

modifyTVar' :: MonadBase STM μ => TVar α -> (α -> α) -> μ ()

A lifted version of modifyTVar'.

swapTVar :: MonadBase STM μ => TVar α -> α -> μ α

A lifted version of swapTVar.

registerDelay :: MonadBase IO μ => Int -> μ (TVar Bool)

A lifted version of registerDelay.

mkWeakTVar :: MonadBase IO μ => TVar α -> IO () -> μ (Weak (TVar α))

A lifted version of mkWeakTVar.