| 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 |
| readForTicket | Test.DejaFu.Conc.Internal.Memory |
| readFromMVar | Test.DejaFu.Conc.Internal.Memory |
| ReadIORef | Test.DejaFu.Types, Test.DejaFu.Conc |
| readIORef | Test.DejaFu.Conc.Internal.Memory |
| ReadIORefCas | Test.DejaFu.Types, Test.DejaFu.Conc |
| readIORefGlobal | Test.DejaFu.Conc.Internal.Memory |
| readIORefPrim | Test.DejaFu.Conc.Internal.Memory |
| ReadMVar | Test.DejaFu.Types, Test.DejaFu.Conc |
| readRef | Test.DejaFu.Types |
| recordSnapshot | Test.DejaFu.Conc.Internal.Program, Test.DejaFu.Conc |
| Ref | Test.DejaFu.Types |
| RefinementProperty | Test.DejaFu.Refinement, Test.DejaFu |
| refines | Test.DejaFu.Refinement, Test.DejaFu |
| RegisterInvariant | Test.DejaFu.Types, Test.DejaFu.Conc |
| registerInvariant | Test.DejaFu.Conc, 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 |
| 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 |
| runConcurrencyWithSnapshot | Test.DejaFu.Conc.Internal |
| runConcurrent | Test.DejaFu.Conc.Internal.Program, Test.DejaFu.Conc |
| runInBoundThread | Test.DejaFu.Types |
| runInvariant | Test.DejaFu.Conc.Internal.Common |
| 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 |
| runSCTWithSettings | Test.DejaFu.SCT |
| runSCTWithSettings' | Test.DejaFu.SCT |
| runSnapshot | Test.DejaFu.Conc.Internal.Program, Test.DejaFu.Conc |
| runTest | Test.DejaFu |
| runTestWay | Test.DejaFu |
| runTestWithSettings | Test.DejaFu |
| runThreads | Test.DejaFu.Conc.Internal |
| runTransaction | Test.DejaFu.Conc.Internal.STM |