| TagLiftHelper | |
| 1 (Type/Class) | Plutarch.Repr.Tag |
| 2 (Data Constructor) | Plutarch.Repr.Tag |
| tcont | Plutarch.Internal.TermCont, Plutarch.TermCont, Plutarch.Prelude |
| Term | |
| 1 (Type/Class) | Plutarch.Internal.Term, Plutarch.Prelude |
| 2 (Data Constructor) | Plutarch.Internal.Term |
| TermCont | |
| 1 (Type/Class) | Plutarch.Internal.TermCont, Plutarch.TermCont, Plutarch.Prelude |
| 2 (Data Constructor) | Plutarch.Internal.TermCont, Plutarch.TermCont, Plutarch.Prelude |
| TermMonad | |
| 1 (Type/Class) | Plutarch.Internal.Term |
| 2 (Data Constructor) | Plutarch.Internal.Term |
| TermResult | |
| 1 (Type/Class) | Plutarch.Internal.Term |
| 2 (Data Constructor) | Plutarch.Internal.Term |
| There | Plutarch.DataRepr.Internal.HList.Utils, Plutarch.DataRepr.Internal.HList |
| toPlutarch | Plutarch.Internal.Lift, Plutarch.Prelude |
| toPlutarchRepr | Plutarch.Internal.Lift, Plutarch.Prelude |
| toPlutarchReprClosed | Plutarch.Internal.Lift |
| toPlutarchUni | Plutarch.Internal.Lift, Plutarch.Prelude |
| ToPType | Plutarch.Internal.TypeFamily |
| ToPType2 | Plutarch.Internal.TypeFamily |
| Tracing | Plutarch.Internal.Term |
| TracingMode | Plutarch.Internal.Term |
| tracingMode | Plutarch.Internal.Term |
| TypeError | Plutarch.Internal.Lift |