Index - S
| sample | Test.SDP.Arbitrary |
| sample' | Test.SDP.Arbitrary |
| SArray# | Test.SDP.Arbitrary |
| SBytes# | Test.SDP.Arbitrary |
| scale | Test.SDP.Arbitrary |
| setTest | Test.SDP.Set, Test.SDP |
| shapeTest | Test.SDP.Index |
| Short | |
| 1 (Type/Class) | Test.SDP.Gen, Test.SDP.Sort, Test.SDP |
| 2 (Data Constructor) | Test.SDP.Gen, Test.SDP.Sort, Test.SDP |
| shrink | Test.SDP.Arbitrary |
| shrink1 | Test.SDP.Arbitrary |
| Shrink2 | |
| 1 (Data Constructor) | Test.SDP.Arbitrary |
| 2 (Type/Class) | Test.SDP.Arbitrary |
| shrink2 | Test.SDP.Arbitrary |
| shrinkDecimal | Test.SDP.Arbitrary |
| Shrinking | |
| 1 (Data Constructor) | Test.SDP.Arbitrary |
| 2 (Type/Class) | Test.SDP.Arbitrary |
| shrinking | Test.SDP.Arbitrary |
| shrinkInit | Test.SDP.Arbitrary |
| shrinkIntegral | Test.SDP.Arbitrary |
| shrinkList | Test.SDP.Arbitrary |
| shrinkMap | Test.SDP.Arbitrary |
| shrinkMapBy | Test.SDP.Arbitrary |
| shrinkNothing | Test.SDP.Arbitrary |
| shrinkRealFrac | Test.SDP.Arbitrary |
| ShrinkState | Test.SDP.Arbitrary |
| shrinkState | Test.SDP.Arbitrary |
| shuffle | Test.SDP.Arbitrary |
| sized | Test.SDP.Arbitrary |
| Small | |
| 1 (Data Constructor) | Test.SDP.Arbitrary |
| 2 (Type/Class) | Test.SDP.Arbitrary |
| Smart | |
| 1 (Data Constructor) | Test.SDP.Arbitrary |
| 2 (Type/Class) | Test.SDP.Arbitrary |
| Sorted | Test.SDP.Arbitrary |
| SortedList | Test.SDP.Arbitrary |
| sortTest | Test.SDP.Sort, Test.SDP |
| splitTest | Test.SDP.Split, Test.SDP |
| stdArgs | Test.SDP.Arbitrary |
| stdConfidence | Test.SDP.Arbitrary |
| sublistOf | Test.SDP.Arbitrary |
| subterms | Test.SDP.Arbitrary |
| Success | Test.SDP.Arbitrary |
| suchThat | Test.SDP.Arbitrary |
| suchThatMap | Test.SDP.Arbitrary |
| suchThatMaybe | Test.SDP.Arbitrary |