| 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.Weighted |
| RandSchedState | |
| 1 (Type/Class) | Test.DejaFu.SCT.Internal.Weighted |
| 2 (Data Constructor) | Test.DejaFu.SCT.Internal.Weighted |
| ReadCRef | Test.DejaFu.Types, Test.DejaFu.Conc |
| readCRef | Test.DejaFu.Conc.Internal.Memory |
| ReadCRefCas | Test.DejaFu.Types, Test.DejaFu.Conc |
| readCRefPrim | Test.DejaFu.Conc.Internal.Memory |
| readForTicket | Test.DejaFu.Conc.Internal.Memory |
| readFromMVar | Test.DejaFu.Conc.Internal.Memory |
| ReadMVar | Test.DejaFu.Types, Test.DejaFu.Conc |
| RefinementProperty | Test.DejaFu.Refinement, Test.DejaFu |
| refines | Test.DejaFu.Refinement, Test.DejaFu |
| representative | Test.DejaFu |
| ResetMasking | Test.DejaFu.Types, Test.DejaFu.Conc |
| Result | |
| 1 (Type/Class) | Test.DejaFu.Conc.Internal.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.Conc.Internal.STM |
| Return | Test.DejaFu.Types, Test.DejaFu.Conc |
| rewind | Test.DejaFu.Internal |
| 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 |
| runConcurrency' | Test.DejaFu.Conc.Internal |
| runConcurrency'' | Test.DejaFu.Conc.Internal |
| runConcurrencyWithSnapshot | Test.DejaFu.Conc.Internal |
| runConcurrent | Test.DejaFu.Conc |
| runCont | Test.DejaFu.Conc.Internal.Common |
| runForDCSnapshot | Test.DejaFu.Conc |
| runLiftedAct | Test.DejaFu.Conc.Internal.Threading |
| runM | Test.DejaFu.Conc.Internal.Common |
| runRefCont | Test.DejaFu.Internal |
| runSCT | Test.DejaFu.SCT |
| runSCT' | Test.DejaFu.SCT |
| runSCTDiscard | Test.DejaFu.SCT |
| runSCTDiscard' | Test.DejaFu.SCT |
| runSTM | Test.DejaFu.Conc.Internal.STM |
| runTest | Test.DejaFu |
| runTestWay | Test.DejaFu |
| runThreads | Test.DejaFu.Conc.Internal |
| runTransaction | Test.DejaFu.Conc.Internal.STM |
| runWithDCSnapshot | Test.DejaFu.Conc |