| shouldBeInvalid | Test.Validity.Utils, Test.Validity |
| shouldBeValid | Test.Validity.Utils, Test.Validity |
| shouldFail | Test.Validity.Utils |
| shrinkingPreserves | Test.Validity.Shrinking, Test.Validity |
| shrinkingStaysInvalid | Test.Validity.Shrinking, Test.Validity |
| shrinkingStaysValid | Test.Validity.Shrinking, Test.Validity |
| shrinkInvalid | Test.Validity |
| 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 |
| shrinkValid | Test.Validity |
| shrinkValiditySpec | Test.Validity.Shrinking, Test.Validity |
| shrinkValidPreservesValid | Test.Validity.Shrinking, Test.Validity |
| shrinkValidPreservesValidOnGenValid | Test.Validity.Shrinking, Test.Validity |
| shrinkValidSpec | Test.Validity.Shrinking, 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 |