| TAlt | |
| 1 (Type/Class) | ReWire.Synolon.Syntax |
| 2 (Data Constructor) | ReWire.Synolon.Syntax |
| TArg | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| TCase | ReWire.Synolon.Syntax |
| Term | ReWire.Synolon.Syntax |
| termExps | ReWire.Synolon.Syntax |
| termTargets | ReWire.Synolon.Syntax |
| toEidos | ReWire.GHC.ToEidos |
| ToFinite | ReWire.Builtins |
| ToFiniteMod | ReWire.Builtins |
| tupleName | |
| 1 (Function) | ReWire.GHC.Recognize |
| 2 (Function) | ReWire.Eidos.Lexer |
| tvKind | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| tvOcc | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| TVScope | ReWire.Eidos.Parse |
| tvSite | ReWire.Eidos.Lint |
| tvUniq | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| Ty | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| TyApp | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| TyCon | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| TyConId | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| tyConKey | ReWire.GHC.Recognize |
| tyConModule | ReWire.GHC.Recognize |
| tyConTable | ReWire.GHC.Recognize |
| tyEq | ReWire.Eidos.Types |
| TyNat | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| tyP | ReWire.Eidos.Parse |
| typeOf | ReWire.Eidos.Types |
| TyVar | |
| 1 (Type/Class) | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| 2 (Data Constructor) | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |
| TyVarT | ReWire.Eidos.Syntax, ReWire.Synolon.Syntax |