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 |