| SCatch | Test.DejaFu.Conc.Internal.STM |
| schedBoundKill | Test.DejaFu.SCT.Internal.DPOR |
| schedBPoints | Test.DejaFu.SCT.Internal.DPOR |
| schedBState | Test.DejaFu.SCT.Internal.DPOR |
| schedCState | Test.DejaFu.SCT.Internal.DPOR |
| schedGen | Test.DejaFu.SCT.Internal.Weighted |
| schedIgnore | Test.DejaFu.SCT.Internal.DPOR |
| schedLengthBound | Test.DejaFu.SCT.Internal.Weighted |
| schedPrefix | Test.DejaFu.SCT.Internal.DPOR |
| schedSleep | Test.DejaFu.SCT.Internal.DPOR |
| ScheduledBlockedThread | Test.DejaFu.Types |
| ScheduledMissingThread | Test.DejaFu.Types |
| Scheduler | |
| 1 (Data Constructor) | Test.DejaFu.Schedule, Test.DejaFu.Conc |
| 2 (Type/Class) | Test.DejaFu.Schedule, Test.DejaFu.Conc |
| scheduleThread | Test.DejaFu.Schedule, Test.DejaFu.Conc |
| schedWeights | Test.DejaFu.SCT.Internal.Weighted |
| sct | Test.DejaFu.SCT.Internal |
| sct' | Test.DejaFu.SCT.Internal |
| seeMVar | Test.DejaFu.Conc.Internal.Memory |
| SeqTrace | Test.DejaFu.Conc.Internal |
| SequentialConsistency | |
| 1 (Data Constructor) | Test.DejaFu.Types, Test.DejaFu.Settings, Test.DejaFu.Conc, Test.DejaFu.SCT, Test.DejaFu |
| 2 (Data Constructor) | Test.HUnit.DejaFu |
| 3 (Data Constructor) | Test.Tasty.DejaFu |
| set | |
| 1 (Function) | Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
| 2 (Function) | Test.HUnit.DejaFu |
| 3 (Function) | Test.Tasty.DejaFu |
| SetMasking | Test.DejaFu.Types, Test.DejaFu.Conc |
| SetNumCapabilities | Test.DejaFu.Types, Test.DejaFu.Conc |
| setNumCapabilities | Control.Monad.Conc.Class, Control.Concurrent.Classy |
| Settings | |
| 1 (Data Constructor) | Test.DejaFu.Internal |
| 2 (Type/Class) | Test.DejaFu.Internal, Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
| 3 (Type/Class) | Test.HUnit.DejaFu |
| 4 (Type/Class) | Test.Tasty.DejaFu |
| showCondition | Test.DejaFu.Utils, Test.DejaFu.Conc |
| showTrace | Test.DejaFu.Utils, Test.DejaFu.Conc |
| Sig | |
| 1 (Data Constructor) | Test.DejaFu.Refinement, Test.DejaFu |
| 2 (Type/Class) | Test.DejaFu.Refinement, Test.DejaFu |
| 3 (Type/Class) | Test.HUnit.DejaFu |
| 4 (Data Constructor) | Test.HUnit.DejaFu |
| 5 (Type/Class) | Test.Tasty.DejaFu |
| 6 (Data Constructor) | Test.Tasty.DejaFu |
| signalQSem | Control.Concurrent.Classy.QSem, Control.Concurrent.Classy |
| signalQSemN | Control.Concurrent.Classy.QSemN, Control.Concurrent.Classy |
| signalTSem | Control.Concurrent.Classy.STM.TSem, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| signalTSemN | Control.Concurrent.Classy.STM.TSem, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| simpleRunConcurrency | Test.DejaFu.Conc.Internal.Program |
| SimpleSnapshot | |
| 1 (Data Constructor) | Test.DejaFu.Conc.Internal.Program |
| 2 (Type/Class) | Test.DejaFu.Conc.Internal.Program |
| simplestsBy | Test.DejaFu.Utils |
| simplify | Test.DejaFu.SCT.Internal |
| simplifyAction | Test.DejaFu.Internal |
| simplifyExecution | Test.DejaFu.SCT.Internal |
| simplifyLookahead | Test.DejaFu.Internal |
| snapContext | Test.DejaFu.Conc.Internal.Program |
| snapNext | Test.DejaFu.Conc.Internal.Program |
| snapRestore | Test.DejaFu.Conc.Internal.Program |
| Snapshot | Test.DejaFu.Conc.Internal.Program, Test.DejaFu.Conc |
| SNew | Test.DejaFu.Conc.Internal.STM |
| somewhereNothing | Test.DejaFu |
| somewhereTrue | Test.DejaFu |
| SOrElse | Test.DejaFu.Conc.Internal.STM |
| spawn | Control.Monad.Conc.Class, Control.Concurrent.Classy |
| SRead | Test.DejaFu.Conc.Internal.STM |
| SRetry | Test.DejaFu.Conc.Internal.STM |
| SStop | Test.DejaFu.Conc.Internal.STM |
| Start | Test.DejaFu.Types, Test.DejaFu.Conc |
| stateTVar | Control.Concurrent.Classy.STM.TVar, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| stepInvariant | Test.DejaFu.Conc.Internal |
| stepThread | Test.DejaFu.Conc.Internal |
| stepThrow | Test.DejaFu.Conc.Internal |
| stepTrans | Test.DejaFu.Conc.Internal.STM |
| SThrow | Test.DejaFu.Conc.Internal.STM |
| STM | |
| 1 (Type/Class) | Control.Monad.Conc.Class, Control.Concurrent.Classy, Control.Concurrent.Classy |
| 2 (Data Constructor) | Test.DejaFu.Types, Test.DejaFu.Conc |
| STMAction | Test.DejaFu.Conc.Internal.STM |
| Stop | Test.DejaFu.Types, Test.DejaFu.Conc |
| Strengthen | |
| 1 (Data Constructor) | Test.DejaFu.Types |
| 2 (Type/Class) | Test.DejaFu.Types |
| strengthenDiscard | Test.DejaFu.Types |
| strictlyRefines | |
| 1 (Function) | Test.DejaFu.Refinement, Test.DejaFu |
| 2 (Function) | Test.HUnit.DejaFu |
| 3 (Function) | Test.Tasty.DejaFu |
| Succeeded | Test.DejaFu.Conc.Internal |
| Success | Test.DejaFu.Conc.Internal.STM |
| successful | Test.DejaFu |
| SupportsBoundThreads | Test.DejaFu.Types, Test.DejaFu.Conc |
| supportsBoundThreads | Control.Monad.Conc.Class, Control.Concurrent.Classy |
| swapMVar | Control.Concurrent.Classy.MVar, Control.Concurrent.Classy |
| swapTMVar | Control.Concurrent.Classy.STM.TMVar, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| swapTVar | Control.Concurrent.Classy.STM.TVar, Control.Concurrent.Classy.STM, Control.Concurrent.Classy |
| SwitchTo | Test.DejaFu.Types, Test.DejaFu.Conc |
| SWrite | Test.DejaFu.Conc.Internal.STM |
| synchronised | Test.DejaFu.Conc.Internal |
| SynchronisedModify | Test.DejaFu.Internal |
| SynchronisedOther | Test.DejaFu.Internal |
| SynchronisedRead | Test.DejaFu.Internal |
| SynchronisedWrite | Test.DejaFu.Internal |
| synchronises | Test.DejaFu.Internal |
| Systematic | Test.DejaFu.Internal |
| systematically | |
| 1 (Function) | Test.DejaFu.Settings, Test.DejaFu.SCT, Test.DejaFu |
| 2 (Function) | Test.HUnit.DejaFu |
| 3 (Function) | Test.Tasty.DejaFu |