Index - T
| TargetType | CompilerOpts |
| tcArity | Env.TypeConstructor |
| TCEnv | Env.TypeConstructor |
| Tokens | CompilerOpts |
| tokens | CompilerEnv |
| TopEnv | |
| 1 (Type/Class) | Base.TopEnv, Base.NestEnv |
| 2 (Data Constructor) | Base.TopEnv, Base.NestEnv |
| topEnvMap | Base.TopEnv, Base.NestEnv |
| toplevelEnv | Base.NestEnv |
| toQualType | Base.CurryTypes |
| toQualTypes | Base.CurryTypes |
| toType | Base.CurryTypes |
| toTypes | Base.CurryTypes |
| transType | |
| 1 (Function) | Transformations.CurryToIL |
| 2 (Function) | Transformations |
| tupleData | Base.Types |
| tupleType | Base.Types |
| tyConsEnv | CompilerEnv |
| Type | |
| 1 (Type/Class) | Base.Types |
| 2 (Type/Class) | IL.Type, IL |
| Typeable | Base.Typing |
| TypeArrow | |
| 1 (Data Constructor) | Base.Types |
| 2 (Data Constructor) | IL.Type, IL |
| typeCheck | |
| 1 (Function) | Checks.TypeCheck |
| 2 (Function) | Checks |
| TypeCons | Html.SyntaxColoring |
| TypeConstrained | Base.Types |
| typeConstrs | Base.Types |
| TypeConstructor | |
| 1 (Data Constructor) | Base.Types |
| 2 (Data Constructor) | IL.Type, IL |
| Typed | IL.Type, IL |
| TypeDeclare | Html.SyntaxColoring |
| TypeEnv | Env.TypeConstructor |
| TypeExport | Html.SyntaxColoring |
| TypeImport | Html.SyntaxColoring |
| TypeInfo | Env.TypeConstructor |
| TypeKind | Env.TypeConstructor |
| typeKind | Env.TypeConstructor |
| typeOf | Base.Typing |
| TypeRefer | Html.SyntaxColoring |
| TypeScheme | Base.Types |
| TypeSkolem | Base.Types |
| typeSkolems | Base.Types |
| TypeSubst | Base.TypeSubst |
| TypeUsage | Html.SyntaxColoring |
| typeVar | Base.Types |
| TypeVariable | |
| 1 (Data Constructor) | Base.Types |
| 2 (Data Constructor) | IL.Type, IL |
| typeVars | Base.Types |