speculate-0.2.8: discovery of properties about Haskell functions

Index - I

idempotentTest.Speculate
identityTest.Speculate
implicationTest.Speculate.Expr.Equate, Test.Speculate.Expr, Test.Speculate.Engine
indentTest.Speculate.Utils
inequalTest.Speculate.Expr.Ground, Test.Speculate.Expr, Test.Speculate.Engine
initializeTest.Speculate.Reason
InitialQuoteTest.Speculate.Utils
insTest.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate
insertTest.Speculate.Reason
Instance 
1 (Type/Class)Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine
2 (Data Constructor)Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine
instanceErrorsTest.Speculate.Sanity
InstancesTest.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate
instancesTest.Speculate.Args, Test.Speculate
instanceTypeTest.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine
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
irreflexiveTest.Speculate
isAlphaTest.Speculate.Utils
isAlphaNumTest.Speculate.Utils
isAsciiTest.Speculate.Utils
isAsciiLowerTest.Speculate.Utils
isAsciiUpperTest.Speculate.Utils
isAssignmentTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
isCanonInstanceOfTest.Speculate.Expr.Match, 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.Instance, Test.Speculate.Expr, Test.Speculate.Engine
isEqETest.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine
isEqOrdTest.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine
isEqOrdETest.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine
isEquationTest.Speculate.Expr.Equate, Test.Speculate.Expr, Test.Speculate.Engine
isFunTyTest.Speculate.Utils
isHexDigitTest.Speculate.Utils
isInfixTest.Speculate.Utils
isInfixedPrefixTest.Speculate.Utils
isInstanceOfTest.Speculate.Expr.Match, Test.Speculate.Expr, Test.Speculate.Engine
isLatin1Test.Speculate.Utils
isLetterTest.Speculate.Utils
isListableTest.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.Instance, Test.Speculate.Expr, Test.Speculate.Engine
isOrdETest.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine
isPrefixTest.Speculate.Utils
isPrintTest.Speculate.Utils
isPunctuationTest.Speculate.Utils
issTest.Speculate.Utils
isSeparatorTest.Speculate.Utils
isSpaceTest.Speculate.Utils
IsStringTest.Speculate.Utils
isSubTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
isSymbolTest.Speculate.Utils
isTupleTest.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine
isUpperTest.Speculate.Utils
iterateUntilTest.Speculate.Utils
iterateUntilLimitTest.Speculate.Utils