speculate-0.4.16: discovery of properties about Haskell functions

Index - I

idempotentTest.Speculate
identityTest.Speculate
indentTest.Speculate.Utils
inequalTest.Speculate.Expr.Ground, Test.Speculate.Expr, Test.Speculate.Engine
initializeTest.Speculate.Reason
InitialQuoteTest.Speculate.Utils
insertTest.Speculate.Reason
instanceErrorsTest.Speculate.Sanity
InstancesTest.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate
instancesTest.Speculate.Args, Test.Speculate
intTest.Speculate
Int1 
1 (Type/Class)Test.Speculate
2 (Data Constructor)Test.Speculate
int1Test.Speculate
Int2 
1 (Type/Class)Test.Speculate
2 (Data Constructor)Test.Speculate
int2Test.Speculate
Int3 
1 (Type/Class)Test.Speculate
2 (Data Constructor)Test.Speculate
int3Test.Speculate
Int4 
1 (Type/Class)Test.Speculate
2 (Data Constructor)Test.Speculate
int4Test.Speculate
integerTest.Speculate
intToDigitTest.Speculate.Utils
intTyTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
invalidTest.Speculate.Reason
irreflexiveTest.Speculate
isAlphaTest.Speculate.Utils
isAlphaNumTest.Speculate.Utils
isAntisymmetricTest.Speculate
isAppTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
isAsciiTest.Speculate.Utils
isAsciiLowerTest.Speculate.Utils
isAsciiUpperTest.Speculate.Utils
isAssignmentTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
isAssociativeTest.Speculate
isAsymmetricTest.Speculate
isCanonicalTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
isCanonicalWithTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
isCanonInstanceOfTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
isCommutativeTest.Speculate
isComparisonTest.Speculate
isCompleteTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
isConstTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
isConstantNamedTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
isControlTest.Speculate.Utils
isDigitTest.Speculate.Utils
isDistributiveOverTest.Speculate
isEqTest.Speculate.Expr.Core, Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine
isEqOrdTest.Speculate.Expr.Core, Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine
isEqOrdTTest.Speculate.Expr.Core, Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine
isEqTTest.Speculate.Expr.Core, Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine
isEquationTest.Speculate.Expr.Equate, Test.Speculate.Expr, Test.Speculate.Engine
isEquivalenceTest.Speculate
isFalseTest.Speculate.Expr.Ground, Test.Speculate.Expr, Test.Speculate.Engine
isFlippedTest.Speculate
isFunTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
isFunTyTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
isGroundTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
isHexDigitTest.Speculate.Utils
isHoleTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
isIdempotentTest.Speculate
isIdentityTest.Speculate
isIllTypedTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
isInfixTest.Speculate.Utils
isInfixedPrefixTest.Speculate.Utils
isInstanceOfTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
isIrreflexiveTest.Speculate
isLatin1Test.Speculate.Utils
isLeftDistributiveOverTest.Speculate
isLetterTest.Speculate.Utils
isListableTest.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine
isListableTTest.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine
isLowerTest.Speculate.Utils
isLowerCaseTest.Speculate.Utils
isMarkTest.Speculate.Utils
isNegativeLiteralTest.Speculate.Utils
isNeverIdentityTest.Speculate
isNormalTest.Speculate.Reason
isNumberTest.Speculate.Utils
isOctDigitTest.Speculate.Utils
isOrdTest.Speculate.Expr.Core, Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine
isOrdTTest.Speculate.Expr.Core, Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine
isPartialOrderTest.Speculate
isPrefixTest.Speculate.Utils
isPrintTest.Speculate.Utils
isPunctuationTest.Speculate.Utils
isReflexiveTest.Speculate
isRightDistributiveOverTest.Speculate
isRootNormalTest.Speculate.Reason
isRootNormalETest.Speculate.Reason
isSeparatorTest.Speculate.Utils
isSpaceTest.Speculate.Utils
isStrictPartialOrderTest.Speculate
isStrictTotalOrderTest.Speculate
IsStringTest.Speculate.Utils
isSubexprOfTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
isSymbolTest.Speculate.Utils
isSymmetricTest.Speculate
isTotalOrderTest.Speculate
isTransitiveTest.Speculate
isTrueTest.Speculate.Expr.Ground, Test.Speculate.Expr, Test.Speculate.Engine
isUpperTest.Speculate.Utils
isUpperCaseTest.Speculate.Utils
isValueTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
isVarTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
isWellTypedTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
iterateUntilTest.Speculate.Utils
iterateUntilLimitTest.Speculate.Utils