| tab | Curry.Base.Position |
| tabSpan | Curry.Base.Span |
| tabWidth | Curry.Base.Position |
| takeBaseName | Curry.Files.Filenames |
| takeExtension | Curry.Files.Filenames |
| takeFileName | Curry.Files.Filenames |
| TargetType | CompilerOpts |
| TBranch | Curry.FlatCurry.Typed.Type |
| TBranchExpr | Curry.FlatCurry.Typed.Type |
| tBranchTExpr | Curry.FlatCurry.Typed.Goodies |
| tBranchTPattern | Curry.FlatCurry.Typed.Goodies |
| TCase | Curry.FlatCurry.Typed.Type |
| TCEnv | Env.TypeConstructor |
| tcKind | Env.TypeConstructor |
| TComb | Curry.FlatCurry.Typed.Type |
| TCons | Curry.FlatCurry.Type, Curry.FlatCurry.Annotated.Type, Curry.FlatCurry, Curry.FlatCurry.Typed.Type |
| tConsArgs | Curry.FlatCurry.Goodies, Curry.FlatCurry.Annotated.Goodies, Curry.FlatCurry.Typed.Goodies |
| tConsName | Curry.FlatCurry.Goodies, Curry.FlatCurry.Annotated.Goodies, Curry.FlatCurry.Typed.Goodies |
| TExpr | Curry.FlatCurry.Typed.Type |
| text | Curry.Base.Pretty |
| TextDetails | Curry.Base.Pretty |
| TExternal | Curry.FlatCurry.Typed.Type |
| TFree | Curry.FlatCurry.Typed.Type |
| TFunc | Curry.FlatCurry.Typed.Type |
| tFuncArgs | Curry.FlatCurry.Typed.Goodies |
| tFuncArity | Curry.FlatCurry.Typed.Goodies |
| tFuncBody | Curry.FlatCurry.Typed.Goodies |
| TFuncDecl | Curry.FlatCurry.Typed.Type |
| tFuncName | Curry.FlatCurry.Typed.Goodies |
| tFuncRHS | Curry.FlatCurry.Typed.Goodies |
| tFuncTRule | Curry.FlatCurry.Typed.Goodies |
| tFuncType | Curry.FlatCurry.Typed.Goodies |
| tFuncVisibility | Curry.FlatCurry.Typed.Goodies |
| thd3 | Base.Utils |
| thenP | Curry.Base.LexComb |
| thenP_ | Curry.Base.LexComb |
| Tilde | Curry.Syntax.Lexer, Curry.Syntax |
| TLet | Curry.FlatCurry.Typed.Type |
| TLit | Curry.FlatCurry.Typed.Type |
| TLPattern | Curry.FlatCurry.Typed.Type |
| toConstrType | Base.CurryTypes |
| toEnumId | Curry.Base.Ident |
| Token | |
| 1 (Type/Class) | Curry.Syntax.Lexer, Curry.Syntax |
| 2 (Data Constructor) | Curry.Syntax.Lexer, Curry.Syntax |
| Tokens | CompilerOpts |
| tokens | CompilerEnv |
| tokensName | Curry.Files.Filenames |
| toKind | Base.CurryKinds |
| toKind' | Base.CurryKinds |
| toMethodType | Base.CurryTypes |
| Tool | Curry.Syntax.Extension, Curry.Syntax.Type, Curry.Syntax |
| toolArgs | Curry.Syntax.Lexer, Curry.Syntax |
| toolVal | Curry.Syntax.Lexer, Curry.Syntax |
| TopEnv | |
| 1 (Type/Class) | Base.TopEnv, Base.NestEnv |
| 2 (Data Constructor) | Base.TopEnv, Base.NestEnv |
| topEnvMap | Base.TopEnv, Base.NestEnv |
| toplevelEnv | Base.NestEnv |
| toPred | Base.CurryTypes |
| toPredSet | Base.CurryTypes |
| toPredType | Base.CurryTypes |
| toQualPred | Base.CurryTypes |
| toQualPredSet | Base.CurryTypes |
| toQualPredType | Base.CurryTypes |
| toQualType | Base.CurryTypes |
| toQualTypes | Base.CurryTypes |
| TOr | Curry.FlatCurry.Typed.Type |
| toType | Base.CurryTypes |
| toTypeKind | Env.Type |
| toTypes | Base.CurryTypes |
| toValueType | Env.Value |
| tPatArgs | Curry.FlatCurry.Typed.Goodies |
| tPatCons | Curry.FlatCurry.Typed.Goodies |
| tPatExpr | Curry.FlatCurry.Typed.Goodies |
| tPatLiteral | Curry.FlatCurry.Typed.Goodies |
| TPattern | |
| 1 (Type/Class) | Curry.FlatCurry.Typed.Type |
| 2 (Data Constructor) | Curry.FlatCurry.Typed.Type |
| TProg | |
| 1 (Type/Class) | Curry.FlatCurry.Typed.Type |
| 2 (Data Constructor) | Curry.FlatCurry.Typed.Type |
| tProgImports | Curry.FlatCurry.Typed.Goodies |
| tProgName | Curry.FlatCurry.Typed.Goodies |
| tProgOps | Curry.FlatCurry.Typed.Goodies |
| tProgTFuncs | Curry.FlatCurry.Typed.Goodies |
| tProgTypes | Curry.FlatCurry.Typed.Goodies |
| trABranch | Curry.FlatCurry.Annotated.Goodies |
| trAExpr | Curry.FlatCurry.Annotated.Goodies |
| trAFunc | Curry.FlatCurry.Annotated.Goodies |
| transType | |
| 1 (Function) | Transformations.CurryToIL |
| 2 (Function) | Transformations |
| trAPattern | Curry.FlatCurry.Annotated.Goodies |
| trAProg | Curry.FlatCurry.Annotated.Goodies |
| trARule | Curry.FlatCurry.Annotated.Goodies |
| trBranch | Curry.FlatCurry.Goodies |
| trCombType | Curry.FlatCurry.Goodies, Curry.FlatCurry.Annotated.Goodies, Curry.FlatCurry.Typed.Goodies |
| trCons | Curry.FlatCurry.Goodies, Curry.FlatCurry.Annotated.Goodies, Curry.FlatCurry.Typed.Goodies |
| trExpr | Curry.FlatCurry.Goodies |
| trFunc | Curry.FlatCurry.Goodies |
| trNewCons | Curry.FlatCurry.Goodies, Curry.FlatCurry.Annotated.Goodies, Curry.FlatCurry.Typed.Goodies |
| trOp | Curry.FlatCurry.Goodies, Curry.FlatCurry.Annotated.Goodies, Curry.FlatCurry.Typed.Goodies |
| trPattern | Curry.FlatCurry.Goodies |
| trProg | Curry.FlatCurry.Goodies |
| trRule | Curry.FlatCurry.Goodies |
| trTBranch | Curry.FlatCurry.Typed.Goodies |
| trTExpr | Curry.FlatCurry.Typed.Goodies |
| trTFunc | Curry.FlatCurry.Typed.Goodies |
| trTPattern | Curry.FlatCurry.Typed.Goodies |
| trTProg | Curry.FlatCurry.Typed.Goodies |
| trTRule | Curry.FlatCurry.Typed.Goodies |
| trType | Curry.FlatCurry.Goodies, Curry.FlatCurry.Annotated.Goodies, Curry.FlatCurry.Typed.Goodies |
| trTypeExpr | Curry.FlatCurry.Goodies, Curry.FlatCurry.Annotated.Goodies, Curry.FlatCurry.Typed.Goodies |
| trueId | Curry.Base.Ident |
| TRule | |
| 1 (Type/Class) | Curry.FlatCurry.Typed.Type |
| 2 (Data Constructor) | Curry.FlatCurry.Typed.Type |
| tRuleArgs | Curry.FlatCurry.Typed.Goodies |
| tRuleBody | Curry.FlatCurry.Typed.Goodies |
| tRuleExtDecl | Curry.FlatCurry.Typed.Goodies |
| TTyped | Curry.FlatCurry.Typed.Type |
| Tuple | Curry.Syntax.Type, Curry.Syntax |
| tupleArity | Curry.Base.Ident |
| tupleData | Base.Types |
| tupleId | Curry.Base.Ident |
| TuplePattern | Curry.Syntax.Type, Curry.Syntax |
| TupleType | Curry.Syntax.Type, Curry.Syntax |
| tupleType | Base.Types |
| TVar | Curry.FlatCurry.Type, Curry.FlatCurry.Annotated.Type, Curry.FlatCurry, Curry.FlatCurry.Typed.Type |
| TVarE | Curry.FlatCurry.Typed.Type |
| TVarIndex | Curry.FlatCurry.Type, Curry.FlatCurry.Annotated.Type, Curry.FlatCurry, Curry.FlatCurry.Typed.Type |
| tVarIndex | Curry.FlatCurry.Goodies, Curry.FlatCurry.Annotated.Goodies, Curry.FlatCurry.Typed.Goodies |
| TVarWithKind | Curry.FlatCurry.Type, Curry.FlatCurry |
| tyConsEnv | CompilerEnv |
| Type | |
| 1 (Data Constructor) | Curry.FlatCurry.Type, Curry.FlatCurry.Annotated.Type, Curry.FlatCurry, Curry.FlatCurry.Typed.Type |
| 2 (Type/Class) | Base.Types |
| 3 (Type/Class) | IL.Type, IL |
| Typeable | |
| 1 (Type/Class) | Curry.FlatCurry.Typeable, Curry.FlatCurry.Annotated.Type, Curry.FlatCurry.Typed.Type |
| 2 (Type/Class) | Base.Typing |
| 3 (Type/Class) | IL.Typing, IL |
| TypeApply | Base.Types |
| typeArity | Curry.FlatCurry.Goodies, Curry.FlatCurry.Annotated.Goodies, Curry.FlatCurry.Typed.Goodies |
| TypeArrow | |
| 1 (Data Constructor) | Base.Types |
| 2 (Data Constructor) | IL.Type, IL |
| typeCheck | |
| 1 (Function) | Checks.TypeCheck |
| 2 (Function) | Checks |
| TypeClass | Env.TypeConstructor |
| TypeCons | Html.SyntaxColoring |
| typeConsDecls | Curry.FlatCurry.Goodies, Curry.FlatCurry.Annotated.Goodies, Curry.FlatCurry.Typed.Goodies |
| typeConstr | Curry.Syntax.Utils, Curry.Syntax |
| TypeConstrained | Base.Types |
| typeConstrs | Base.Types |
| TypeConstructor | |
| 1 (Data Constructor) | Base.Types |
| 2 (Data Constructor) | IL.Type, IL |
| Typed | |
| 1 (Data Constructor) | Curry.FlatCurry.Type, Curry.FlatCurry |
| 2 (Data Constructor) | Curry.Syntax.Type, Curry.Syntax |
| 3 (Data Constructor) | IL.Type, IL |
| TypeDecl | |
| 1 (Type/Class) | Curry.FlatCurry.Type, Curry.FlatCurry.Annotated.Type, Curry.FlatCurry, Curry.FlatCurry.Typed.Type |
| 2 (Data Constructor) | Curry.Syntax.Type, Curry.Syntax |
| TypeDeclare | Html.SyntaxColoring |
| TypedFlatCurry | CompilerOpts |
| typedFlatExt | Curry.Files.Filenames |
| typedFlatName | Curry.Files.Filenames |
| TypeEnv | Env.Type |
| TypeExport | Html.SyntaxColoring |
| TypeExpr | |
| 1 (Type/Class) | Curry.FlatCurry.Type, Curry.FlatCurry.Annotated.Type, Curry.FlatCurry, Curry.FlatCurry.Typed.Type |
| 2 (Type/Class) | Curry.Syntax.Type, Curry.Syntax |
| TypeForall | |
| 1 (Data Constructor) | Base.Types |
| 2 (Data Constructor) | IL.Type, IL |
| TypeImport | Html.SyntaxColoring |
| TypeInfo | Env.TypeConstructor |
| TypeKind | Env.Type |
| typeName | Curry.FlatCurry.Goodies, Curry.FlatCurry.Annotated.Goodies, Curry.FlatCurry.Typed.Goodies |
| TypeNew | Curry.FlatCurry.Type, Curry.FlatCurry.Annotated.Type, Curry.FlatCurry, Curry.FlatCurry.Typed.Type |
| typeOf | |
| 1 (Function) | Curry.FlatCurry.Typeable, Curry.FlatCurry.Annotated.Type, Curry.FlatCurry.Typed.Type |
| 2 (Function) | Base.Typing |
| 3 (Function) | IL.Typing, IL |
| typeParams | Curry.FlatCurry.Goodies, Curry.FlatCurry.Annotated.Goodies, Curry.FlatCurry.Typed.Goodies |
| TypeRefer | Html.SyntaxColoring |
| TypeScheme | Base.Types |
| typeScheme | Base.Types |
| TypeSig | Curry.Syntax.Type, Curry.Syntax |
| TypeSubst | Base.TypeSubst |
| TypeSyn | Curry.FlatCurry.Type, Curry.FlatCurry.Annotated.Type, Curry.FlatCurry, Curry.FlatCurry.Typed.Type |
| typeSyn | Curry.FlatCurry.Goodies, Curry.FlatCurry.Annotated.Goodies, Curry.FlatCurry.Typed.Goodies |
| typeSyntaxCheck | |
| 1 (Function) | Checks.TypeSyntaxCheck |
| 2 (Function) | Checks |
| TypeUsage | Html.SyntaxColoring |
| TypeVar | Env.TypeConstructor |
| TypeVariable | |
| 1 (Data Constructor) | Base.Types |
| 2 (Data Constructor) | IL.Type, IL |
| typeVariables | Curry.Syntax.Utils, Curry.Syntax |
| TypeVariableWithKind | IL.Type, IL |
| typeVars | Base.Types |
| typeVisibility | Curry.FlatCurry.Goodies, Curry.FlatCurry.Annotated.Goodies, Curry.FlatCurry.Typed.Goodies |