Index - S
| scompareE | Test.Speculate.SemiReason |
| semiTheoryFromThyAndReps | Test.Speculate.Engine |
| sequations | Test.Speculate.SemiReason |
| serious | Test.Speculate.Reason.Order |
| Set | |
| 1 (Type/Class) | Test.Speculate |
| 2 (Data Constructor) | Test.Speculate |
| setCons | Test.Speculate |
| setsOf | Test.Speculate |
| shouldShowConditionalEquation | Test.Speculate.Args |
| shouldShowEquation | Test.Speculate.Args |
| showArgs | Test.Speculate.Args, Test.Speculate |
| showClassesFor | Test.Speculate.Args, Test.Speculate |
| showConditions | Test.Speculate.Args, Test.Speculate |
| showConstant | Test.Speculate.Args, Test.Speculate |
| showConstantLaws | Test.Speculate.Args, Test.Speculate |
| showConstants | Test.Speculate.Args, Test.Speculate |
| showCounts | Test.Speculate.Args, Test.Speculate |
| showDot | Test.Speculate.Args, Test.Speculate |
| showEquations | Test.Speculate.Args, Test.Speculate |
| showExpr | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| showHelp | Test.Speculate.Args, Test.Speculate |
| showLitChar | Test.Speculate.Utils |
| showOpExpr | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| showPrecExpr | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| showRatio | Test.Speculate.Utils |
| showSemiequations | Test.Speculate.Args, Test.Speculate |
| showsTypeRep | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate |
| showTheory | Test.Speculate.Args, Test.Speculate |
| showThy | Test.Speculate.Reason |
| Shy | |
| 1 (Type/Class) | Test.Speculate.SemiReason |
| 2 (Data Constructor) | Test.Speculate.SemiReason |
| sides | Test.Speculate.SemiReason |
| simplerThan | Test.Speculate.SemiReason |
| simplify | Test.Speculate.Reason |
| size | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| snd | Test.Speculate.Utils |
| snd3 | Test.Speculate.Utils |
| snd4 | Test.Speculate.Utils |
| Solo | Test.Speculate.Utils |
| sortOn | Test.Speculate.Utils |
| Space | |
| 1 (Data Constructor) | Test.Speculate.Utils |
| 2 (Type/Class) | Test.Speculate |
| 3 (Data Constructor) | Test.Speculate |
| Spaces | |
| 1 (Type/Class) | Test.Speculate |
| 2 (Data Constructor) | Test.Speculate |
| spaces | Test.Speculate.Utils |
| SpacingCombiningMark | Test.Speculate.Utils |
| speculate | Test.Speculate |
| splitArgs | Test.Speculate.Args |
| splitAtCommas | Test.Speculate.Utils |
| splitTyConApp | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate |
| stheorize | Test.Speculate.SemiReason |
| sthy | Test.Speculate.SemiReason |
| strictlyOrdered | Test.Speculate.Utils |
| strictlyOrderedOn | Test.Speculate.Utils |
| strictPartialOrder | Test.Speculate |
| strictTotalOrder | Test.Speculate |
| String | Test.Speculate.Utils |
| string | Test.Speculate |
| subConsequence | Test.Speculate.Engine |
| subexprs | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| suchThat | Test.Speculate |
| Surrogate | Test.Speculate.Utils |
| swap | Test.Speculate.Utils |
| symmetric | Test.Speculate |
| symmetric2 | Test.Speculate |