| race | Control.Concurrent.Classy.Async |
| race_ | Control.Concurrent.Classy.Async |
| Randomly | Test.DejaFu.Internal |
| randomly | |
| 1 (Function) | Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
| 2 (Function) | Test.HUnit.DejaFu |
| 3 (Function) | Test.Tasty.DejaFu |
| randomSched | Test.DejaFu.Schedule, Test.DejaFu.Conc |
| randomSchedNP | Test.DejaFu.Schedule, Test.DejaFu.Conc |
| randSched | Test.DejaFu.SCT.Internal.Weighted |
| RandSchedState | |
| 1 (Data Constructor) | Test.DejaFu.SCT.Internal.Weighted |
| 2 (Type/Class) | Test.DejaFu.SCT.Internal.Weighted |
| readBoundedChan | Control.Concurrent.Classy.BoundedChan, Control.Concurrent.Classy |
| readChan | Control.Concurrent.Classy.Chan, Control.Concurrent.Classy |
| readCRef | Control.Concurrent.Classy.CRef, Control.Concurrent.Classy |
| readForCAS | Control.Monad.Conc.Class, Control.Concurrent.Classy |
| readForTicket | Test.DejaFu.Conc.Internal.Memory |
| readFromMVar | Test.DejaFu.Conc.Internal.Memory |
| ReadIORef | Test.DejaFu.Types, Test.DejaFu.Conc |
| readIORef | |
| 1 (Function) | Control.Monad.Conc.Class, Control.Concurrent.Classy.IORef, Control.Concurrent.Classy |
| 2 (Function) | 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 |
| readMVar | Control.Monad.Conc.Class, Control.Concurrent.Classy.MVar, Control.Concurrent.Classy |
| readRef | Test.DejaFu.Types |
| readTBQueue | Control.Concurrent.Classy.STM.TBQueue, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| readTChan | Control.Concurrent.Classy.STM.TChan, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| readTMVar | Control.Concurrent.Classy.STM.TMVar, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| readTQueue | Control.Concurrent.Classy.STM.TQueue, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| readTVar | Control.Monad.STM.Class, Control.Concurrent.Classy.STM.TVar, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| readTVarConc | Control.Monad.Conc.Class, Control.Concurrent.Classy.STM.TVar, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| recordSnapshot | Test.DejaFu.Conc.Internal.Program, Test.DejaFu.Conc |
| Ref | Test.DejaFu.Types |
| RefinementProperty | |
| 1 (Type/Class) | Test.DejaFu.Refinement, Test.DejaFu |
| 2 (Type/Class) | Test.HUnit.DejaFu |
| 3 (Type/Class) | Test.Tasty.DejaFu |
| refines | |
| 1 (Function) | Test.DejaFu.Refinement, Test.DejaFu |
| 2 (Function) | Test.HUnit.DejaFu |
| 3 (Function) | Test.Tasty.DejaFu |
| registerDelay | Control.Concurrent.Classy.STM.TVar, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| RegisterInvariant | Test.DejaFu.Types, Test.DejaFu.Conc |
| registerInvariant | |
| 1 (Function) | Test.DejaFu.Conc, Test.DejaFu |
| 2 (Function) | Test.HUnit.DejaFu |
| 3 (Function) | Test.Tasty.DejaFu |
| release | Control.Concurrent.Classy.Lock, Control.Concurrent.Classy |
| releaseRead | Control.Concurrent.Classy.RWLock, Control.Concurrent.Classy |
| releaseWrite | Control.Concurrent.Classy.RWLock, Control.Concurrent.Classy |
| renumber | Test.DejaFu.SCT.Internal |
| replay | Test.DejaFu.SCT.Internal |
| replicateConcurrently | Control.Concurrent.Classy.Async |
| replicateConcurrently_ | Control.Concurrent.Classy.Async |
| representative | Test.DejaFu |
| ResetMasking | Test.DejaFu.Types, Test.DejaFu.Conc |
| Result | |
| 1 (Data Constructor) | Test.DejaFu |
| 2 (Type/Class) | Test.DejaFu |
| 3 (Type/Class) | Test.DejaFu.Conc.Internal.STM |
| resultsSet | Test.DejaFu.SCT |
| resultsSet' | Test.DejaFu.SCT |
| resultsSetWithSettings | Test.DejaFu.SCT |
| resultsSetWithSettings' | Test.DejaFu.SCT |
| Retry | Test.DejaFu.Conc.Internal.STM |
| retry | Control.Monad.STM.Class, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| 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 |
| rtsSupportsBoundThreads | Control.Monad.Conc.Class, Control.Concurrent.Classy |
| runConcurrency | Test.DejaFu.Conc.Internal |
| runConcurrencyWithSnapshot | Test.DejaFu.Conc.Internal |
| runConcurrent | Test.DejaFu.Conc.Internal.Program, Test.DejaFu.Conc |
| runConcurrently | Control.Concurrent.Classy.Async |
| runInBoundThread | |
| 1 (Function) | Control.Monad.Conc.Class, Control.Concurrent.Classy |
| 2 (Function) | Test.DejaFu.Types |
| runInUnboundThread | Control.Monad.Conc.Class, Control.Concurrent.Classy |
| 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 |
| RWLock | Control.Concurrent.Classy.RWLock, Control.Concurrent.Classy |