| Randomly | Test.DejaFu.Internal |
| randomly | Test.DejaFu.Settings, 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 |
| renumber | Test.DejaFu.SCT.Internal |
| replay | Test.DejaFu.SCT.Internal |
| 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 |
| resultsSetWithSettings | Test.DejaFu.SCT |
| resultsSetWithSettings' | 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 |
| runConcurrencyWithSnapshot | Test.DejaFu.Conc.Internal |
| runConcurrent | Test.DejaFu.Conc |
| runForDCSnapshot | Test.DejaFu.Conc |
| runLiftedAct | Test.DejaFu.Conc.Internal.Threading |
| runModelConc | Test.DejaFu.Conc.Internal.Common |
| runModelSTM | Test.DejaFu.Conc.Internal.STM |
| runRefCont | Test.DejaFu.Internal |
| runSCT | Test.DejaFu.SCT |
| runSCT' | Test.DejaFu.SCT |
| runSCTDiscard | Test.DejaFu.SCT |
| runSCTDiscard' | Test.DejaFu.SCT |
| runSCTWithSettings | Test.DejaFu.SCT |
| runSCTWithSettings' | Test.DejaFu.SCT |
| runTest | Test.DejaFu |
| runTestWay | Test.DejaFu |
| runThreads | Test.DejaFu.Conc.Internal |
| runTransaction | Test.DejaFu.Conc.Internal.STM |
| runWithDCSnapshot | Test.DejaFu.Conc |