speculate-0.4.16: discovery of properties about Haskell functions

Index - S

scompareETest.Speculate.SemiReason
semiTheoryFromThyAndRepsTest.Speculate.Engine
sequationsTest.Speculate.SemiReason
seriousTest.Speculate.Reason.Order
Set 
1 (Type/Class)Test.Speculate
2 (Data Constructor)Test.Speculate
setConsTest.Speculate
setsOfTest.Speculate
shouldShowConditionalEquationTest.Speculate.Args
shouldShowEquationTest.Speculate.Args
showArgsTest.Speculate.Args, Test.Speculate
showClassesForTest.Speculate.Args, Test.Speculate
showConditionsTest.Speculate.Args, Test.Speculate
showConstantTest.Speculate.Args, Test.Speculate
showConstantLawsTest.Speculate.Args, Test.Speculate
showConstantsTest.Speculate.Args, Test.Speculate
showCountsTest.Speculate.Args, Test.Speculate
showDotTest.Speculate.Args, Test.Speculate
showEquationsTest.Speculate.Args, Test.Speculate
showExprTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
showHelpTest.Speculate.Args, Test.Speculate
showLitCharTest.Speculate.Utils
showOpExprTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
showPrecExprTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
showRatioTest.Speculate.Utils
showSemiequationsTest.Speculate.Args, Test.Speculate
showsTypeRepTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate
showTheoryTest.Speculate.Args, Test.Speculate
showThyTest.Speculate.Reason
Shy 
1 (Type/Class)Test.Speculate.SemiReason
2 (Data Constructor)Test.Speculate.SemiReason
sidesTest.Speculate.SemiReason
simplerThanTest.Speculate.SemiReason
simplifyTest.Speculate.Reason
sizeTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
sndTest.Speculate.Utils
snd3Test.Speculate.Utils
snd4Test.Speculate.Utils
SoloTest.Speculate.Utils
sortOnTest.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
spacesTest.Speculate.Utils
SpacingCombiningMarkTest.Speculate.Utils
speculateTest.Speculate
splitArgsTest.Speculate.Args
splitAtCommasTest.Speculate.Utils
splitTyConAppTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate
stheorizeTest.Speculate.SemiReason
sthyTest.Speculate.SemiReason
strictlyOrderedTest.Speculate.Utils
strictlyOrderedOnTest.Speculate.Utils
strictPartialOrderTest.Speculate
strictTotalOrderTest.Speculate
StringTest.Speculate.Utils
stringTest.Speculate
subConsequenceTest.Speculate.Engine
subexprsTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
suchThatTest.Speculate
SurrogateTest.Speculate.Utils
swapTest.Speculate.Utils
symmetricTest.Speculate
symmetric2Test.Speculate