Name | Test.Speculate.Args |
Names | Test.Speculate.Expr.TypeInfo, Test.Speculate.Expr, Test.Speculate.Engine |
names | Test.Speculate.Expr.TypeInfo, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate |
Nat | |
1 (Data Constructor) | Test.Speculate |
2 (Type/Class) | Test.Speculate |
nat | Test.Speculate |
Nat1 | |
1 (Data Constructor) | Test.Speculate |
2 (Type/Class) | Test.Speculate |
Nat2 | |
1 (Data Constructor) | Test.Speculate |
2 (Type/Class) | Test.Speculate |
Nat3 | |
1 (Data Constructor) | Test.Speculate |
2 (Type/Class) | Test.Speculate |
Nat4 | |
1 (Data Constructor) | Test.Speculate |
2 (Type/Class) | Test.Speculate |
Nat5 | |
1 (Data Constructor) | Test.Speculate |
2 (Type/Class) | Test.Speculate |
Nat6 | |
1 (Data Constructor) | Test.Speculate |
2 (Type/Class) | Test.Speculate |
Nat7 | |
1 (Data Constructor) | Test.Speculate |
2 (Type/Class) | Test.Speculate |
neverIdentity | Test.Speculate |
noDupListCons | Test.Speculate |
noDupListsOf | Test.Speculate |
normalize | Test.Speculate.Reason |
normalizedCriticalPairs | Test.Speculate.Reason |
normalizeE | Test.Speculate.Reason |
normalizeT | Test.Speculate |