Control.Concurrent.TBox.Internal.Operations

Operations on instances of TBox.

Documentation

clear :: TBox t k a => t k a -> AdvSTM ()

Deletes the content.

write :: TBox t k a => t k a -> a -> AdvSTM ()

Writes the new content.

read :: TBox t k a => t k a -> AdvSTM (Maybe a)

If the TBox is dirty, this retries the transaction and rereads the content using readIO in a separate thread. Otherwise it simply returns the result of readSTM.

Note: Depending on the instance implementation, careless use of setDirty and read in the same transaction might lead to nonterminating retry loops.

isEmpty :: TBox t k a => t k a -> AdvSTM Bool

Returns True iff the TBox is empty.

isEmptyNotDirty :: TBox t k a => t k a -> AdvSTM Bool

Returns True iff the TBox is empty and not dirty.