TVar package:dejafu

newtype TVarId
dejafu Test.DejaFu.Types
Every TVar has a unique identifier.
TVarId :: Id -> TVarId
dejafu Test.DejaFu.Types
tvarId :: ModelTVar n a -> TVarId
dejafu Test.DejaFu.Conc.Internal.STM
tvarRef :: ModelTVar n a -> Ref n a
dejafu Test.DejaFu.Conc.Internal.STM
tvarsOf :: ThreadAction -> Set TVarId
dejafu Test.DejaFu.Internal
Get the TVars affected by a ThreadAction.
tvarsRead :: ThreadAction -> Set TVarId
dejafu Test.DejaFu.Internal
Get the TVars a transaction read from.
tvarsWritten :: ThreadAction -> Set TVarId
dejafu Test.DejaFu.Internal
Get the TVars a transaction wrote to (or would have, if it didn't retry).
inspectTVar :: ModelTVar n a -> Invariant n a
dejafu Test.DejaFu Test.DejaFu.Conc
Read the content of a TVar. This is essentially readTVar.
IInspectTVar :: ModelTVar n a -> (a -> IAction n) -> IAction n
dejafu Test.DejaFu.Conc.Internal.Common
data ModelTVar n a
dejafu Test.DejaFu.Conc.Internal.STM
A TVar is modelled as a unique ID and a reference holding a value.
ModelTVar :: TVarId -> Ref n a -> ModelTVar n a
dejafu Test.DejaFu.Conc.Internal.STM
OnTVar :: [TVarId] -> BlockedOn
dejafu Test.DejaFu.Conc.Internal.Threading