idempotent | Test.Speculate |
identity | Test.Speculate |
implication | Test.Speculate.Expr.Equate, Test.Speculate.Expr, Test.Speculate.Engine |
inequal | Test.Speculate.Expr.Ground, Test.Speculate.Expr, Test.Speculate.Engine |
initialize | Test.Speculate.Reason |
ins | Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate |
insert | Test.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 |
instanceErrors | Test.Speculate.Sanity |
Instances | Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate |
instances | Test.Speculate.Args, Test.Speculate |
instanceType | Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine |
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 |
irreflexive | Test.Speculate |
isAssignment | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
isCanonInstanceOf | Test.Speculate.Expr.Match, Test.Speculate.Expr, Test.Speculate.Engine |
isConstantNamed | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
isEq | Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine |
isEqE | Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine |
isEqOrd | Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine |
isEqOrdE | Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine |
isEquation | Test.Speculate.Expr.Equate, Test.Speculate.Expr, Test.Speculate.Engine |
isInstanceOf | Test.Speculate.Expr.Match, Test.Speculate.Expr, Test.Speculate.Engine |
isListable | Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine |
isNormal | Test.Speculate.Reason |
isOrd | Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine |
isOrdE | Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine |
isSub | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |