Index - T
| Testable | Test.Speculate |
| theorize | Test.Speculate.Reason |
| theorizeBy | Test.Speculate.Reason |
| theoryAndRepresentativesFromAtoms | Test.Speculate.Engine |
| theoryFromAtoms | Test.Speculate.Engine |
| Thy | |
| 1 (Type/Class) | Test.Speculate.Reason |
| 2 (Data Constructor) | Test.Speculate.Reason |
| tiers | Test.Speculate |
| tiersE | Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine |
| tiersFractional | Test.Speculate |
| timeout | Test.Speculate.Args |
| toGroup | Test.Speculate.Args |
| totalOrder | Test.Speculate |
| toTiers | Test.Speculate |
| transConsequence | Test.Speculate.SemiReason |
| transitive | Test.Speculate |
| true | Test.Speculate.Expr.Ground, Test.Speculate.Expr, Test.Speculate.Engine |
| trueBinds | Test.Speculate.Expr.Ground, Test.Speculate.Expr, Test.Speculate.Engine |
| trueRatio | Test.Speculate.Expr.Ground, Test.Speculate.Expr, Test.Speculate.Engine |
| TyCon | Test.Speculate |
| tyConFingerprint | Test.Speculate |
| tyConModule | Test.Speculate |
| tyConName | Test.Speculate |
| tyConPackage | Test.Speculate |
| tyConString | Test.Speculate |
| typ | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| Typeable | Test.Speculate |
| Typeable1 | Test.Speculate |
| Typeable2 | Test.Speculate |
| Typeable3 | Test.Speculate |
| Typeable4 | Test.Speculate |
| Typeable5 | Test.Speculate |
| Typeable6 | Test.Speculate |
| Typeable7 | Test.Speculate |
| typeCorrect | Test.Speculate.Expr.Core, Test.Speculate.Expr, Test.Speculate.Engine |
| typeOf | Test.Speculate |
| typeOf1 | Test.Speculate |
| typeOf2 | Test.Speculate |
| typeOf3 | Test.Speculate |
| typeOf4 | Test.Speculate |
| typeOf5 | Test.Speculate |
| typeOf6 | Test.Speculate |
| typeOf7 | Test.Speculate |
| TypeRep | Test.Speculate.Expr.Instance, Test.Speculate.Expr, Test.Speculate.Engine, Test.Speculate |
| typeRep | Test.Speculate |
| typeRepArgs | Test.Speculate |
| typeRepFingerprint | Test.Speculate |
| typeRepTyCon | Test.Speculate |
| types | Test.Speculate.Args |