Index - D
| 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 | |
| 1 (Function) | Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
| 2 (Function) | Test.HUnit.DejaFu |
| 3 (Function) | Test.Tasty.DejaFu |
| defaultFairBound | |
| 1 (Function) | Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
| 2 (Function) | Test.HUnit.DejaFu |
| 3 (Function) | Test.Tasty.DejaFu |
| defaultMemType | |
| 1 (Function) | Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
| 2 (Function) | Test.HUnit.DejaFu |
| 3 (Function) | Test.Tasty.DejaFu |
| defaultPreemptionBound | |
| 1 (Function) | Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
| 2 (Function) | Test.HUnit.DejaFu |
| 3 (Function) | Test.Tasty.DejaFu |
| defaultRecordSnapshot | Test.DejaFu.Conc.Internal.Program |
| defaultSettings | |
| 1 (Function) | Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
| 2 (Function) | Test.HUnit.DejaFu |
| 3 (Function) | Test.Tasty.DejaFu |
| defaultWay | |
| 1 (Function) | Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
| 2 (Function) | Test.HUnit.DejaFu |
| 3 (Function) | Test.Tasty.DejaFu |
| dejafu | 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 |
| didYield | Test.DejaFu.SCT.Internal.DPOR |
| Discard | |
| 1 (Type/Class) | Test.DejaFu.Types, Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
| 2 (Type/Class) | Test.HUnit.DejaFu |
| 3 (Type/Class) | Test.Tasty.DejaFu |
| DiscardResultAndTrace | |
| 1 (Data Constructor) | Test.DejaFu.Types, Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
| 2 (Data Constructor) | Test.HUnit.DejaFu |
| 3 (Data Constructor) | Test.Tasty.DejaFu |
| DiscardTrace | |
| 1 (Data Constructor) | Test.DejaFu.Types, Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
| 2 (Data Constructor) | Test.HUnit.DejaFu |
| 3 (Data Constructor) | Test.Tasty.DejaFu |
| doInvariant | Test.DejaFu.Conc.Internal |
| doTransaction | Test.DejaFu.Conc.Internal.STM |
| DPOR | |
| 1 (Data Constructor) | Test.DejaFu.SCT.Internal.DPOR |
| 2 (Type/Class) | 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 (Data Constructor) | Test.DejaFu.SCT.Internal.DPOR |
| 2 (Type/Class) | 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 |
| dupChan | Control.Concurrent.Classy.Chan, Control.Concurrent.Classy |
| dupTChan | Control.Concurrent.Classy.STM.TChan, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |