randomly | Test.DejaFu.SCT, Test.DejaFu |
randomSched | Test.DejaFu.Schedule, Test.DejaFu.Conc |
randomSchedNP | Test.DejaFu.Schedule, Test.DejaFu.Conc |
randSched | Test.DejaFu.SCT.Internal |
RandSchedState | |
1 (Type/Class) | Test.DejaFu.SCT.Internal |
2 (Data Constructor) | Test.DejaFu.SCT.Internal |
ReadCRef | Test.DejaFu.Common, Test.DejaFu.Conc |
readCRef | Test.DejaFu.Conc.Internal.Memory |
ReadCRefCas | Test.DejaFu.Common, Test.DejaFu.Conc |
readCRefPrim | Test.DejaFu.Conc.Internal.Memory |
readForTicket | Test.DejaFu.Conc.Internal.Memory |
readFromMVar | Test.DejaFu.Conc.Internal.Memory |
ReadMVar | Test.DejaFu.Common, Test.DejaFu.Conc |
RefinementProperty | Test.DejaFu.Refinement, Test.DejaFu |
refines | Test.DejaFu.Refinement, Test.DejaFu |
representative | Test.DejaFu |
ResetMasking | Test.DejaFu.Common, Test.DejaFu.Conc |
Result | |
1 (Type/Class) | Test.DejaFu.STM.Internal, Test.DejaFu.STM |
2 (Type/Class) | Test.DejaFu |
3 (Data Constructor) | Test.DejaFu |
resultsSet | Test.DejaFu.SCT |
resultsSet' | Test.DejaFu.SCT |
resultsSetDiscard | Test.DejaFu.SCT |
resultsSetDiscard' | Test.DejaFu.SCT |
Retry | Test.DejaFu.STM.Internal, Test.DejaFu.STM |
Return | Test.DejaFu.Common, Test.DejaFu.Conc |
rewind | Test.DejaFu.Common |
rightResults | Test.DejaFu.Refinement, Test.DejaFu |
roundRobinSched | Test.DejaFu.Schedule, Test.DejaFu.Conc |
roundRobinSchedNP | Test.DejaFu.Schedule, Test.DejaFu.Conc |
runConcurrency | Test.DejaFu.Conc.Internal |
runConcurrent | Test.DejaFu.Conc |
runCont | Test.DejaFu.Conc.Internal.Common |
runM | Test.DejaFu.Conc.Internal.Common |
runRefCont | Test.DejaFu.Common |
runSCT | Test.DejaFu.SCT |
runSCT' | Test.DejaFu.SCT |
runSCTDiscard | Test.DejaFu.SCT |
runSCTDiscard' | Test.DejaFu.SCT |
runTest | Test.DejaFu |
runTestM | Test.DejaFu |
runTestWay | Test.DejaFu |
runTestWayM | Test.DejaFu |
runThreads | Test.DejaFu.Conc.Internal |
runTransaction | Test.DejaFu.STM |