Index - D
| Deadlock | Test.DejaFu.Deterministic.Internal.Common, Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic, Test.DejaFu |
| deadlocksAlways | Test.DejaFu |
| deadlocksNever | Test.DejaFu |
| deadlocksSometimes | Test.DejaFu |
| Decision | Test.DejaFu.Deterministic.Internal, Test.DejaFu.Deterministic |
| decisionOf | Test.DejaFu.Deterministic |
| defaultBounds | Test.DejaFu.SCT, Test.DejaFu |
| defaultFairBound | Test.DejaFu.SCT, Test.DejaFu |
| defaultLengthBound | Test.DejaFu.SCT, Test.DejaFu |
| defaultMemType | Test.DejaFu |
| defaultPreemptionBound | Test.DejaFu.SCT, Test.DejaFu |
| dejafu | Test.DejaFu |
| dejafu' | Test.DejaFu |
| dejafuIO | Test.DejaFu |
| dejafuIO' | Test.DejaFu |
| dejafus | Test.DejaFu |
| dejafus' | Test.DejaFu |
| dejafusIO | Test.DejaFu |
| dejafusIO' | Test.DejaFu |
| delCommitThreads | Test.DejaFu.Deterministic.Internal.Memory |
| doTransaction | Test.DejaFu.STM.Internal |
| dupChan | Control.Concurrent.Classy.Chan, Control.Concurrent.Classy |
| dupTChan | Control.Concurrent.Classy.STM.TChan, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |