readIO package:dejafu

readIORef :: MonadDejaFu n => ModelIORef n a -> ThreadId -> n a

dejafu Test.DejaFu.Conc.Internal.Memory

Read from a IORef, returning a newer thread-local non-committed write if there is one.

readIORefGlobal :: MonadDejaFu n => ModelIORef n a -> n a

dejafu Test.DejaFu.Conc.Internal.Memory

Read the global state of a IORef.

readIORefPrim :: MonadDejaFu n => ModelIORef n a -> ThreadId -> n (a, Integer)

dejafu Test.DejaFu.Conc.Internal.Memory

Read the local state of a IORef.

ReadIORef :: IORefId -> ThreadAction

dejafu Test.DejaFu.Conc Test.DejaFu.Types

Read from a IORef.

ReadIORefCas :: IORefId -> ThreadAction

dejafu Test.DejaFu.Conc Test.DejaFu.Types

Read from a IORef for a future compare-and-swap.

WillReadIORef :: IORefId -> Lookahead

dejafu Test.DejaFu.Conc Test.DejaFu.Types

Will read from a IORef.

WillReadIORefCas :: IORefId -> Lookahead

dejafu Test.DejaFu.Conc Test.DejaFu.Types

Will read from a IORef for a future compare-and-swap.

AReadIORef :: ModelIORef n a -> (a -> Action n) -> Action n

dejafu Test.DejaFu.Conc.Internal.Common

AReadIORefCas :: ModelIORef n a -> (ModelTicket a -> Action n) -> Action n

dejafu Test.DejaFu.Conc.Internal.Common