| dcSched | Test.DejaFu.Conc.Internal |
| dcsContext | Test.DejaFu.Conc.Internal |
| DCSnapshot | |
| 1 (Type/Class) | Test.DejaFu.Conc.Internal, Test.DejaFu.Conc |
| 2 (Data Constructor) | Test.DejaFu.Conc.Internal |
| dcsRef | Test.DejaFu.Conc.Internal |
| dcsRestore | Test.DejaFu.Conc.Internal |
| Deadlock | Test.DejaFu.Types, Test.DejaFu.Conc, Test.DejaFu |
| deadlocksAlways | Test.DejaFu |
| deadlocksNever | Test.DejaFu |
| deadlocksSometimes | Test.DejaFu |
| Decision | Test.DejaFu.Types, Test.DejaFu.Conc |
| decisionOf | Test.DejaFu.Utils |
| defaultBounds | Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
| defaultFairBound | Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
| defaultLengthBound | Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
| defaultMemType | Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
| defaultPreemptionBound | Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
| defaultSettings | Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
| defaultWay | Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
| dejafu | Test.DejaFu |
| dejafuDiscard | Test.DejaFu |
| dejafus | Test.DejaFu |
| dejafusWay | Test.DejaFu |
| dejafusWithSettings | Test.DejaFu |
| dejafuWay | Test.DejaFu |
| dejafuWithSettings | Test.DejaFu |
| delCommitThreads | Test.DejaFu.Conc.Internal.Memory |
| dependent | Test.DejaFu.SCT.Internal.DPOR |
| dependent' | Test.DejaFu.SCT.Internal.DPOR |
| dependentActions | Test.DejaFu.SCT.Internal.DPOR |
| depIOState | Test.DejaFu.SCT.Internal.DPOR |
| depMaskState | Test.DejaFu.SCT.Internal.DPOR |
| depMVState | Test.DejaFu.SCT.Internal.DPOR |
| DepState | |
| 1 (Type/Class) | Test.DejaFu.SCT.Internal.DPOR |
| 2 (Data Constructor) | Test.DejaFu.SCT.Internal.DPOR |
| didYield | Test.DejaFu.SCT.Internal.DPOR |
| Discard | Test.DejaFu.Types, Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
| DiscardResultAndTrace | Test.DejaFu.Types, Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
| DiscardTrace | Test.DejaFu.Types, Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
| DontCheck | Test.DejaFu.Types, Test.DejaFu.Conc |
| dontCheck | Test.DejaFu.Conc |
| doTransaction | Test.DejaFu.Conc.Internal.STM |
| DPOR | |
| 1 (Type/Class) | Test.DejaFu.SCT.Internal.DPOR |
| 2 (Data Constructor) | Test.DejaFu.SCT.Internal.DPOR |
| dporDone | Test.DejaFu.SCT.Internal.DPOR |
| dporNext | Test.DejaFu.SCT.Internal.DPOR |
| dporRunnable | Test.DejaFu.SCT.Internal.DPOR |
| dporSched | Test.DejaFu.SCT.Internal.DPOR |
| DPORSchedState | |
| 1 (Type/Class) | Test.DejaFu.SCT.Internal.DPOR |
| 2 (Data Constructor) | Test.DejaFu.SCT.Internal.DPOR |
| dporSleep | Test.DejaFu.SCT.Internal.DPOR |
| dporTaken | Test.DejaFu.SCT.Internal.DPOR |
| dporTodo | Test.DejaFu.SCT.Internal.DPOR |
| dropCommits | Test.DejaFu.SCT.Internal |