Index - T
| TermMap | |
| 1 (Type/Class) | Hyper.Syntax.Map |
| 2 (Data Constructor) | Hyper.Syntax.Map |
| tlIn | Hyper.Syntax.TypedLam, Hyper.Syntax |
| tlInType | Hyper.Syntax.TypedLam, Hyper.Syntax |
| tlOut | Hyper.Syntax.TypedLam, Hyper.Syntax |
| tnId | Hyper.Syntax.Nominal |
| tnVal | Hyper.Syntax.Nominal |
| ToNom | |
| 1 (Type/Class) | Hyper.Syntax.Nominal |
| 2 (Data Constructor) | Hyper.Syntax.Nominal |
| toScopeConstraints | Hyper.Unify.Constraints, Hyper.Unify |
| tsTerm | Hyper.Syntax.TypeSig, Hyper.Syntax |
| tsType | Hyper.Syntax.TypeSig, Hyper.Syntax |
| TypeConstraints | Hyper.Unify.Constraints, Hyper.Unify |
| TypeConstraintsOf | Hyper.Unify.Constraints, Hyper.Unify, Hyper.Unify |
| TypedLam | |
| 1 (Type/Class) | Hyper.Syntax.TypedLam, Hyper.Syntax |
| 2 (Data Constructor) | Hyper.Syntax.TypedLam, Hyper.Syntax |
| TypeOf | Hyper.Class.Infer.InferOf, Hyper.Infer, Hyper.Infer |
| TypeSig | |
| 1 (Type/Class) | Hyper.Syntax.TypeSig, Hyper.Syntax |
| 2 (Data Constructor) | Hyper.Syntax.TypeSig, Hyper.Syntax |