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 |