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 (Type/Class) | Test.Speculate |
2 (Data Constructor) | Test.Speculate |
int1 | Test.Speculate |
Int2 | |
1 (Type/Class) | Test.Speculate |
2 (Data Constructor) | Test.Speculate |
int2 | Test.Speculate |
Int3 | |
1 (Type/Class) | Test.Speculate |
2 (Data Constructor) | Test.Speculate |
int3 | Test.Speculate |
Int4 | |
1 (Type/Class) | Test.Speculate |
2 (Data Constructor) | 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 |
isLowerCase | 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 |
isUpperCase | 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 |