Index - S
| scompareE | Test.Speculate.SemiReason |
| semiTheoryFromThyAndReps | Test.Speculate.Engine |
| sequations | Test.Speculate.SemiReason |
| Set | |
| 1 (Data Constructor) | Test.Speculate |
| 2 (Type/Class) | 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.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine, 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 |
| showOpExpr | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| showPrecExpr | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| showSemiequations | Test.Speculate.Args, Test.Speculate |
| showsOpExpr | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| showsPrecExpr | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| showsTypeRep | 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 |
| speculate | Test.Speculate |
| splitArgs | Test.Speculate.Args |
| splitTyConApp | Test.Speculate |
| stheorize | Test.Speculate.SemiReason |
| sthy | Test.Speculate.SemiReason |
| strictPartialOrder | Test.Speculate |
| strictTotalOrder | Test.Speculate |
| string | Test.Speculate |
| sub | Test.Speculate.Expr.Match, Test.Speculate.Expr, Test.Speculate.Engine |
| subConsequence | Test.Speculate.Engine |
| subexprs | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| subexprsV | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| suchThat | Test.Speculate |
| symmetric | Test.Speculate |
| symmetric2 | Test.Speculate |