| Id | Test.DejaFu.Deterministic.Internal.Common |
| IdSource | Test.DejaFu.Deterministic.Internal.Common |
| initialIdSource | Test.DejaFu.Deterministic.Internal.Common |
| initialThread | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal |
| InternalError | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic, Test.DejaFu |
| interruptible | Test.DejaFu.Deterministic.Internal.Threading |
| isBarrier | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal |
| isBlock | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal |
| isCommit | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal |
| isCurrentThreadBound | Control.Monad.Conc.Class, Control.Concurrent.Classy |
| isEmptyMVar | Control.Concurrent.Classy.MVar, Control.Concurrent.Classy |
| isEmptyTBQueue | Control.Concurrent.Classy.STM.TBQueue, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| isEmptyTChan | Control.Concurrent.Classy.STM.TChan, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| isEmptyTMVar | Control.Concurrent.Classy.STM.TMVar, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| isEmptyTQueue | Control.Concurrent.Classy.STM.TQueue, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| isFullTBQueue | Control.Concurrent.Classy.STM.TBQueue, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| isLocked | Test.DejaFu.Deterministic.Internal.Threading |