TVar package:universum

data () => TVar a
universum Universum.Lifted.Concurrent
Shared memory locations that support atomic memory transactions.
modifyTVar' :: TVar a -> (a -> a) -> STM ()
universum Universum.Lifted.Concurrent
Strict version of modifyTVar.
newTVar :: a -> STM (TVar a)
universum Universum.Lifted.Concurrent
Create a new TVar holding a value supplied
newTVarIO :: MonadIO m => a -> m (TVar a)
universum Universum.Lifted.Concurrent
Lifted to MonadIO version of newTVarIO.
readTVar :: TVar a -> STM a
universum Universum.Lifted.Concurrent
Return the current value stored in a TVar.
readTVarIO :: MonadIO m => TVar a -> m a
universum Universum.Lifted.Concurrent
Lifted to MonadIO version of readTVarIO.
updateTVar' :: TVar s -> StateT s STM a -> STM a
universum Universum.Lifted.Concurrent
Like 'modifyTVar'', but modification is specified as a State monad.
writeTVar :: TVar a -> a -> STM ()
universum Universum.Lifted.Concurrent
Write the supplied value into a TVar.