Portability | non-portable (requires STM) |
---|---|
Stability | experimental |
Maintainer | Peter Robinson <robinson@ecs.tuwien.ac.at> |
- data TVar a
- newTVar :: MonadAdvSTM m => a -> m (TVar a)
- newTVarIO :: a -> IO (TVar a)
- readTVar :: MonadAdvSTM m => TVar a -> m a
- writeTVar :: MonadAdvSTM m => TVar a -> a -> m ()
TVars
newTVar :: MonadAdvSTM m => a -> m (TVar a)Source
See newTVar
readTVar :: MonadAdvSTM m => TVar a -> m aSource
Reads a value from a TVar. Blocks until the IO onCommit action(s) of
the corresponding transaction are complete.
See onCommit
for a more detailed description of this behaviour.