| RealHandle | Test.StateMachine.Lockstep.Simple |
| RealHandles | Test.StateMachine.Lockstep.NAry |
| RealMonad | Test.StateMachine.Lockstep.NAry |
| Reason | Test.StateMachine.Types, Test.StateMachine |
| Reference | |
| 1 (Type/Class) | Test.StateMachine.Types.References, Test.StateMachine.Types, Test.StateMachine |
| 2 (Data Constructor) | Test.StateMachine.Types.References, Test.StateMachine.Types |
| reference | Test.StateMachine.Types.References, Test.StateMachine.Types, Test.StateMachine |
| Refs | |
| 1 (Type/Class) | Test.StateMachine.Lockstep.NAry |
| 2 (Data Constructor) | Test.StateMachine.Lockstep.NAry |
| Refss | |
| 1 (Type/Class) | Test.StateMachine.Lockstep.NAry |
| 2 (Data Constructor) | Test.StateMachine.Lockstep.NAry |
| reify | Test.StateMachine.Types.Environment, Test.StateMachine.Types |
| reifyDynamic | Test.StateMachine.Types.Environment, Test.StateMachine.Types |
| reifyEnvironment | Test.StateMachine.Types.Environment, Test.StateMachine.Types |
| Rel | Test.StateMachine.Z |
| Resp | |
| 1 (Type/Class) | Test.StateMachine.Lockstep.NAry |
| 2 (Type/Class) | Test.StateMachine.Lockstep.Simple |
| Response | Test.StateMachine.Types.History, Test.StateMachine.Types |
| Rose | |
| 1 (Type/Class) | Test.StateMachine.DotDrawing |
| 2 (Data Constructor) | Test.StateMachine.DotDrawing |
| runCommands | Test.StateMachine.Sequential, Test.StateMachine |
| runCommands' | Test.StateMachine.Sequential |
| runGenSym | Test.StateMachine.Types.GenSym, Test.StateMachine.Types |
| runMock | |
| 1 (Function) | Test.StateMachine.Lockstep.NAry |
| 2 (Function) | Test.StateMachine.Lockstep.Simple |
| runNParallelCommands | Test.StateMachine.Parallel, Test.StateMachine |
| runNParallelCommandsNTimes | Test.StateMachine.Parallel, Test.StateMachine |
| runNParallelCommandsNTimes' | Test.StateMachine.Parallel, Test.StateMachine |
| runParallelCommands | Test.StateMachine.Parallel, Test.StateMachine |
| runParallelCommands' | Test.StateMachine.Parallel, Test.StateMachine |
| runParallelCommandsNTimes | Test.StateMachine.Parallel, Test.StateMachine |
| runParallelCommandsNTimes' | Test.StateMachine.Parallel, Test.StateMachine |
| runReal | |
| 1 (Function) | Test.StateMachine.Lockstep.NAry |
| 2 (Function) | Test.StateMachine.Lockstep.Simple |
| runSavedCommands | Test.StateMachine.Sequential, Test.StateMachine |