| IAction | Test.DejaFu.Conc.Internal.Common |
| icActive | Test.DejaFu.Conc.Internal |
| ICatch | Test.DejaFu.Conc.Internal.Common |
| icBlocked | Test.DejaFu.Conc.Internal |
| Id | |
| 1 (Type/Class) | Test.DejaFu.Types |
| 2 (Data Constructor) | Test.DejaFu.Types |
| IdSource | |
| 1 (Type/Class) | Test.DejaFu.Internal |
| 2 (Data Constructor) | 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 |
| initialDPORThread | Test.DejaFu.SCT.Internal.DPOR |
| initialIdSource | Test.DejaFu.Internal |
| initialise | Test.DejaFu.Refinement, Test.DejaFu |
| initialRandSchedState | Test.DejaFu.SCT.Internal.Weighted |
| initialState | Test.DejaFu.SCT.Internal.DPOR |
| initialThread | Test.DejaFu.Types |
| inspectIORef | Test.DejaFu.Conc, Test.DejaFu |
| inspectMVar | Test.DejaFu.Conc, Test.DejaFu |
| inspectTVar | Test.DejaFu.Conc, Test.DejaFu |
| interfere | Test.DejaFu.Refinement, Test.DejaFu |
| interruptible | Test.DejaFu.Conc.Internal.Threading |
| Invariant | |
| 1 (Type/Class) | Test.DejaFu.Conc.Internal.Common, Test.DejaFu.Conc, Test.DejaFu |
| 2 (Data Constructor) | Test.DejaFu.Conc.Internal.Common |
| InvariantContext | |
| 1 (Type/Class) | Test.DejaFu.Conc.Internal |
| 2 (Data Constructor) | Test.DejaFu.Conc.Internal |
| InvariantFailure | Test.DejaFu.Types, Test.DejaFu.Conc, Test.DejaFu |
| IORefId | |
| 1 (Type/Class) | Test.DejaFu.Types, Test.DejaFu.Conc |
| 2 (Data Constructor) | Test.DejaFu.Types |
| 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 |
| IsCurrentThreadBound | Test.DejaFu.Types, Test.DejaFu.Conc |
| isDeadlock | Test.DejaFu.Types, Test.DejaFu |
| isFull | Test.DejaFu.Types |
| isInvariantFailure | Test.DejaFu.Types, Test.DejaFu |
| isMaskedInterruptible | Test.DejaFu.Types |
| isMaskedUninterruptible | Test.DejaFu.Types |
| isSchedulerError | Test.DejaFu.Types |
| IStop | Test.DejaFu.Conc.Internal.Common |
| isUncaughtException | Test.DejaFu.Types, Test.DejaFu |
| IThrow | Test.DejaFu.Conc.Internal.Common |