Index - I
| idempotent | Test.Speculate |
| identity | Test.Speculate |
| indent | Test.Speculate.Utils |
| inequal | Test.Speculate.Expr.Ground, Test.Speculate.Expr, Test.Speculate.Engine |
| initialize | Test.Speculate.Reason |
| InitialQuote | Test.Speculate.Utils |
| insert | Test.Speculate.Reason |
| instanceErrors | Test.Speculate.Sanity |
| Instances | Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate |
| instances | Test.Speculate.Args, Test.Speculate |
| int | Test.Speculate |
| Int1 | |
| 1 (Data Constructor) | Test.Speculate |
| 2 (Type/Class) | Test.Speculate |
| int1 | Test.Speculate |
| Int2 | |
| 1 (Data Constructor) | Test.Speculate |
| 2 (Type/Class) | Test.Speculate |
| int2 | Test.Speculate |
| Int3 | |
| 1 (Data Constructor) | Test.Speculate |
| 2 (Type/Class) | Test.Speculate |
| int3 | Test.Speculate |
| Int4 | |
| 1 (Data Constructor) | Test.Speculate |
| 2 (Type/Class) | Test.Speculate |
| int4 | Test.Speculate |
| integer | Test.Speculate |
| intToDigit | Test.Speculate.Utils |
| intTy | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| invalid | Test.Speculate.Reason |
| irreflexive | Test.Speculate |
| isAlpha | Test.Speculate.Utils |
| isAlphaNum | Test.Speculate.Utils |
| isAntisymmetric | Test.Speculate |
| isApp | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| isAscii | Test.Speculate.Utils |
| isAsciiLower | Test.Speculate.Utils |
| isAsciiUpper | Test.Speculate.Utils |
| isAssignment | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| isAssociative | Test.Speculate |
| isAsymmetric | Test.Speculate |
| isCanonical | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| isCanonicalWith | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| isCanonInstanceOf | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| isCommutative | Test.Speculate |
| isComparison | Test.Speculate |
| isComplete | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| isConst | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| isConstantNamed | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| isControl | Test.Speculate.Utils |
| isDigit | Test.Speculate.Utils |
| isDistributiveOver | Test.Speculate |
| isEq | Test.Speculate.Expr.Core, Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine |
| isEqOrd | Test.Speculate.Expr.Core, Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine |
| isEqOrdT | Test.Speculate.Expr.Core, Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine |
| isEqT | Test.Speculate.Expr.Core, Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine |
| isEquation | Test.Speculate.Expr.Equate, Test.Speculate.Expr, Test.Speculate.Engine |
| isEquivalence | Test.Speculate |
| isFalse | Test.Speculate.Expr.Ground, Test.Speculate.Expr, Test.Speculate.Engine |
| isFlipped | Test.Speculate |
| isFun | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| isFunTy | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| isGround | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| isHexDigit | Test.Speculate.Utils |
| isHole | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| isIdempotent | Test.Speculate |
| isIdentity | Test.Speculate |
| isIllTyped | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| isInfix | Test.Speculate.Utils |
| isInfixedPrefix | Test.Speculate.Utils |
| isInstanceOf | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| isIrreflexive | Test.Speculate |
| isLatin1 | Test.Speculate.Utils |
| isLeftDistributiveOver | Test.Speculate |
| isLetter | Test.Speculate.Utils |
| isListable | Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine |
| isListableT | Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine |
| isLower | Test.Speculate.Utils |
| isMark | Test.Speculate.Utils |
| isNegativeLiteral | Test.Speculate.Utils |
| isNeverIdentity | Test.Speculate |
| isNormal | Test.Speculate.Reason |
| isNumber | Test.Speculate.Utils |
| isOctDigit | Test.Speculate.Utils |
| isOrd | Test.Speculate.Expr.Core, Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine |
| isOrdT | Test.Speculate.Expr.Core, Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine |
| isPartialOrder | Test.Speculate |
| isPrefix | Test.Speculate.Utils |
| isPrint | Test.Speculate.Utils |
| isPunctuation | Test.Speculate.Utils |
| isReflexive | Test.Speculate |
| isRightDistributiveOver | Test.Speculate |
| isRootNormal | Test.Speculate.Reason |
| isRootNormalE | Test.Speculate.Reason |
| isSeparator | Test.Speculate.Utils |
| isSpace | Test.Speculate.Utils |
| isStrictPartialOrder | Test.Speculate |
| isStrictTotalOrder | Test.Speculate |
| IsString | Test.Speculate.Utils |
| isSubexprOf | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| isSymbol | Test.Speculate.Utils |
| isSymmetric | Test.Speculate |
| isTotalOrder | Test.Speculate |
| isTransitive | Test.Speculate |
| isTrue | Test.Speculate.Expr.Ground, Test.Speculate.Expr, Test.Speculate.Engine |
| isUpper | Test.Speculate.Utils |
| isValue | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| isVar | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| isWellTyped | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| iterateUntil | Test.Speculate.Utils |
| iterateUntilLimit | Test.Speculate.Utils |