speculate-0.4.1: 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 (Data Constructor)Test.Speculate
2 (Type/Class)Test.Speculate
int1Test.Speculate
Int2 
1 (Data Constructor)Test.Speculate
2 (Type/Class)Test.Speculate
int2Test.Speculate
Int3 
1 (Data Constructor)Test.Speculate
2 (Type/Class)Test.Speculate
int3Test.Speculate
Int4 
1 (Data Constructor)Test.Speculate
2 (Type/Class)Test.Speculate
int4Test.Speculate
integerTest.Speculate
intToDigitTest.Speculate.Utils
intTyTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
irreflexiveTest.Speculate
isAlphaTest.Speculate.Utils
isAlphaNumTest.Speculate.Utils
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
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
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
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
isFalseTest.Speculate.Expr.Ground, 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
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
isLatin1Test.Speculate.Utils
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
isMarkTest.Speculate.Utils
isNegativeLiteralTest.Speculate.Utils
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
isPrefixTest.Speculate.Utils
isPrintTest.Speculate.Utils
isPunctuationTest.Speculate.Utils
isSeparatorTest.Speculate.Utils
isSpaceTest.Speculate.Utils
IsStringTest.Speculate.Utils
isSubexprOfTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
isSymbolTest.Speculate.Utils
isTrueTest.Speculate.Expr.Ground, Test.Speculate.Expr, Test.Speculate.Engine
isUpperTest.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