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 |
| showReadRoundTripOnValid | Test.Validity.Show |
| showReadSpec | Test.Validity.Show, Test.Validity |
| showReadSpecOnArbitrary | Test.Validity.Show, Test.Validity |
| showReadSpecOnGen | Test.Validity.Show, Test.Validity |
| showReadSpecOnValid | Test.Validity.Show, Test.Validity |
| shrinkingPreserves | Test.Validity.Shrinking, Test.Validity |
| shrinkingStaysInvalid | Test.Validity.Shrinking, Test.Validity |
| shrinkingStaysValid | Test.Validity.Shrinking, Test.Validity |
| shrinkInvalid | Test.Validity |
| shrinkInvalidDoesNotShrinkToItself | Test.Validity.Shrinking |
| shrinkInvalidDoesNotShrinkToItselfWithLimit | Test.Validity.Shrinking |
| shrinkInvalidPreservesInvalid | Test.Validity.Shrinking, Test.Validity |
| shrinkInvalidPreservesInvalidOnGenInvalid | Test.Validity.Shrinking, Test.Validity |
| shrinkInvalidSpec | Test.Validity.Shrinking, Test.Validity |
| shrinkPreservesInvalidOnGenInvalid | Test.Validity.Shrinking, Test.Validity |
| shrinkPreservesValidOnGenValid | Test.Validity.Shrinking, Test.Validity |
| shrinkT2 | Test.Validity |
| shrinkT3 | Test.Validity |
| shrinkUnchecked | Test.Validity |
| shrinkUncheckedDoesNotShrinkToItself | Test.Validity.Shrinking |
| shrinkUncheckedDoesNotShrinkToItselfWithLimit | Test.Validity.Shrinking |
| shrinkValid | Test.Validity |
| shrinkValidDoesNotShrinkToItself | Test.Validity.Shrinking |
| shrinkValidDoesNotShrinkToItselfWithLimit | Test.Validity.Shrinking |
| shrinkValiditySpec | Test.Validity.Shrinking, Test.Validity |
| 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 |
| structurallyValidRecursivelyShrink | Test.Validity |
| structurallyValidSubterms | Test.Validity |
| succeeds | Test.Validity |
| succeeds2 | Test.Validity |
| succeedsOnArbitrary | Test.Validity |
| succeedsOnArbitrary2 | Test.Validity |
| succeedsOnGen | Test.Validity |
| succeedsOnGens2 | Test.Validity |
| succeedsOnValid | Test.Validity |
| succeedsOnValids2 | Test.Validity |
| symmetricOnElems | Test.Validity |
| symmetry | Test.Validity |
| symmetryOnArbitrary | Test.Validity |
| symmetryOnGens | Test.Validity |
| symmetryOnValid | Test.Validity |