Index - S
| Semigroup | Test.Validity |
| shouldBeInvalid | Test.Validity.Utils, Test.Validity |
| shouldBeValid | Test.Validity.Utils, Test.Validity |
| shouldFail | Test.Validity.Utils |
| showReadRoundTrip | Test.Validity.Show |
| showReadRoundTripOnArbitrary | Test.Validity.Show |
| showReadRoundTripOnGen | Test.Validity.Show |
| showReadSpec | Test.Validity.Show, Test.Validity |
| showReadSpecOnArbitrary | Test.Validity.Show, Test.Validity |
| showReadSpecOnGen | Test.Validity.Show, Test.Validity |
| shrinkingPreserves | Test.Validity.Shrinking, Test.Validity |
| shrinkingStaysValid | Test.Validity.Shrinking, Test.Validity |
| shrinkList | Test.Validity |
| shrinkMaybe | Test.Validity |
| shrinkNonEmpty | Test.Validity |
| shrinkPreservesValidOnGenValid | Test.Validity.Shrinking, Test.Validity |
| shrinkQuadruple | Test.Validity |
| shrinkT2 | Test.Validity |
| shrinkT3 | Test.Validity |
| shrinkT4 | Test.Validity |
| shrinkTriple | Test.Validity |
| shrinkTuple | Test.Validity |
| shrinkValid | Test.Validity |
| shrinkValidDoesNotShrinkToItself | Test.Validity.Shrinking |
| shrinkValidDoesNotShrinkToItselfWithLimit | Test.Validity.Shrinking |
| shrinkValidPreservesValid | Test.Validity.Shrinking, Test.Validity |
| shrinkValidPreservesValidOnGenValid | Test.Validity.Shrinking, Test.Validity |
| shrinkValidPreservesValidOnGenValidWithLimit | Test.Validity.Shrinking |
| shrinkValidSpec | Test.Validity.Shrinking, Test.Validity |
| shrinkValidSpecWithLimit | Test.Validity.Shrinking, Test.Validity |
| shrinkValidStructurally | Test.Validity |
| shrinkValidStructurallyWithoutExtraFiltering | Test.Validity |
| shuffle | Test.Validity |
| structurallyValidSubterms | Test.Validity |
| succeeds | Test.Validity |
| succeeds2 | Test.Validity |
| succeedsOnArbitrary | Test.Validity |
| succeedsOnArbitrary2 | Test.Validity |
| succeedsOnGen | Test.Validity |
| succeedsOnGens2 | Test.Validity |
| symmetricOnElems | Test.Validity |
| symmetry | Test.Validity |
| symmetryOnArbitrary | Test.Validity |
| symmetryOnGens | Test.Validity |