| IAction | Test.DejaFu.Conc.Internal.Common |
| icActive | Test.DejaFu.Conc.Internal |
| ICatch | Test.DejaFu.Conc.Internal.Common |
| icBlocked | Test.DejaFu.Conc.Internal |
| Id | |
| 1 (Data Constructor) | Test.DejaFu.Types |
| 2 (Type/Class) | Test.DejaFu.Types |
| IdSource | |
| 1 (Data Constructor) | Test.DejaFu.Internal |
| 2 (Type/Class) | Test.DejaFu.Internal |
| IInspectIORef | Test.DejaFu.Conc.Internal.Common |
| IInspectMVar | Test.DejaFu.Conc.Internal.Common |
| IInspectTVar | Test.DejaFu.Conc.Internal.Common |
| incorporateBacktrackSteps | Test.DejaFu.SCT.Internal.DPOR |
| incorporateTrace | Test.DejaFu.SCT.Internal.DPOR |
| IncrementalBoundFunc | Test.DejaFu.SCT.Internal.DPOR |
| independent | Test.DejaFu.SCT.Internal.DPOR |
| initialCState | Test.DejaFu.Internal |
| initialDPORSchedState | Test.DejaFu.SCT.Internal.DPOR |
| initialIdSource | Test.DejaFu.Internal |
| initialise | |
| 1 (Function) | Test.DejaFu.Refinement, Test.DejaFu |
| 2 (Function) | Test.HUnit.DejaFu |
| 3 (Function) | Test.Tasty.DejaFu |
| initialRandSchedState | Test.DejaFu.SCT.Internal.Weighted |
| initialState | Test.DejaFu.SCT.Internal.DPOR |
| initialThread | Test.DejaFu.Types |
| inspectIORef | |
| 1 (Function) | Test.DejaFu.Conc, Test.DejaFu |
| 2 (Function) | Test.HUnit.DejaFu |
| 3 (Function) | Test.Tasty.DejaFu |
| inspectMVar | |
| 1 (Function) | Test.DejaFu.Conc, Test.DejaFu |
| 2 (Function) | Test.HUnit.DejaFu |
| 3 (Function) | Test.Tasty.DejaFu |
| inspectTVar | |
| 1 (Function) | Test.DejaFu.Conc, Test.DejaFu |
| 2 (Function) | Test.HUnit.DejaFu |
| 3 (Function) | Test.Tasty.DejaFu |
| interfere | |
| 1 (Function) | Test.DejaFu.Refinement, Test.DejaFu |
| 2 (Function) | Test.HUnit.DejaFu |
| 3 (Function) | Test.Tasty.DejaFu |
| interruptible | |
| 1 (Function) | Control.Monad.Conc.Class, Control.Concurrent.Classy |
| 2 (Function) | Test.DejaFu.Conc.Internal.Threading |
| Invariant | |
| 1 (Data Constructor) | Test.DejaFu.Conc.Internal.Common |
| 2 (Type/Class) | Test.DejaFu.Conc.Internal.Common, Test.DejaFu.Conc, Test.DejaFu |
| 3 (Type/Class) | Test.HUnit.DejaFu |
| 4 (Type/Class) | Test.Tasty.DejaFu |
| InvariantContext | |
| 1 (Data Constructor) | Test.DejaFu.Conc.Internal |
| 2 (Type/Class) | Test.DejaFu.Conc.Internal |
| InvariantFailure | Test.DejaFu.Types, Test.DejaFu.Conc, Test.DejaFu |
| IOBoundThread | |
| 1 (Data Constructor) | Test.DejaFu.Types |
| 2 (Type/Class) | Test.DejaFu.Types |
| iobtKillBoundThread | Test.DejaFu.Types |
| iobtRunInBoundThread | Test.DejaFu.Types |
| IORef | Control.Monad.Conc.Class, Control.Concurrent.Classy, Control.Concurrent.Classy |
| IORefId | |
| 1 (Data Constructor) | Test.DejaFu.Types |
| 2 (Type/Class) | Test.DejaFu.Types, Test.DejaFu.Conc |
| iorefId | Test.DejaFu.Conc.Internal.Common |
| iorefOf | Test.DejaFu.Internal |
| iorefRef | Test.DejaFu.Conc.Internal.Common |
| isAbort | Test.DejaFu.Types, Test.DejaFu |
| isBarrier | Test.DejaFu.Internal |
| isBlock | Test.DejaFu.Internal |
| isBuffered | Test.DejaFu.Types |
| isCommit | Test.DejaFu.Internal |
| IsConc | Control.Monad.Conc.Class, Control.Concurrent.Classy |
| IsCurrentThreadBound | Test.DejaFu.Types, Test.DejaFu.Conc |
| isCurrentThreadBound | Control.Monad.Conc.Class, Control.Concurrent.Classy |
| isDeadlock | Test.DejaFu.Types, Test.DejaFu |
| isEmptyBoundedChan | Control.Concurrent.Classy.BoundedChan, 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 |
| isFull | Test.DejaFu.Types |
| isFullTBQueue | Control.Concurrent.Classy.STM.TBQueue, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| isInvariantFailure | Test.DejaFu.Types, Test.DejaFu |
| isMaskedInterruptible | Test.DejaFu.Types |
| isMaskedUninterruptible | Test.DejaFu.Types |
| isSchedulerError | Test.DejaFu.Types |
| IsSTM | Control.Monad.STM.Class, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| IStop | Test.DejaFu.Conc.Internal.Common |
| isUncaughtException | Test.DejaFu.Types, Test.DejaFu |
| IThrow | Test.DejaFu.Conc.Internal.Common |