Index - S
| S | Test.ClassLaws.TestingState |
| sample | Test.ClassLaws |
| sample' | Test.ClassLaws |
| semanticCompare | Test.ClassLaws.Partial, Test.ClassLaws |
| SemanticEq | Test.ClassLaws.Partial, Test.ClassLaws |
| semanticEq | Test.ClassLaws.Partial, Test.ClassLaws |
| semanticJoin | Test.ClassLaws.Partial, Test.ClassLaws |
| semanticLE | Test.ClassLaws.TestingFinFuns |
| semanticMeet | Test.ClassLaws.Partial, Test.ClassLaws |
| SemanticOrd | Test.ClassLaws.Partial, Test.ClassLaws |
| SemEq | Test.ClassLaws.TestingFinFuns |
| semEqFun | Test.ClassLaws.TestingFinFuns |
| showFun | Test.ClassLaws.TestingFinFuns |
| ShowLaw | Text.Show.Laws |
| showLaw | Text.Show.Laws |
| ShowLaws | Text.Show.Laws |
| showPartial | Test.ClassLaws.Partial, Test.ClassLaws |
| showPartialFun | Test.ClassLaws.TestingFinFuns |
| shrink | Test.ClassLaws |
| Shrink2 | |
| 1 (Data Constructor) | Test.ClassLaws |
| 2 (Type/Class) | Test.ClassLaws |
| Shrinking | |
| 1 (Data Constructor) | Test.ClassLaws |
| 2 (Type/Class) | Test.ClassLaws |
| shrinking | Test.ClassLaws |
| shrinkInit | Test.ClassLaws |
| shrinkIntegral | Test.ClassLaws |
| shrinkNothing | Test.ClassLaws |
| shrinkPartial | Test.ClassLaws.Partial, Test.ClassLaws |
| shrinkRealFrac | Test.ClassLaws |
| ShrinkState | Test.ClassLaws |
| shrinkState | Test.ClassLaws |
| sized | Test.ClassLaws |
| sized' | Test.ClassLaws.Partial, Test.ClassLaws |
| Smart | |
| 1 (Data Constructor) | Test.ClassLaws |
| 2 (Type/Class) | Test.ClassLaws |
| sndP | Test.ClassLaws.TestingState |
| snoc | Test.ClassLaws.TestingDatatypes |
| SS | |
| 1 (Type/Class) | Test.ClassLaws.TestingState |
| 2 (Data Constructor) | Test.ClassLaws.TestingState |
| State | Test.ClassLaws.TestingState |
| statePatt | Test.ClassLaws.TestingState |
| stdArgs | Test.ClassLaws |
| Str | Test.ClassLaws |
| Success | Test.ClassLaws |
| suchThat | Test.ClassLaws |
| suchThatMaybe | Test.ClassLaws |