| Tail | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| Tails | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| TailsSym0 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| TailsSym1 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| TailSym0 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| TailSym1 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| Take | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| TakeSym0 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| TakeSym1 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| TakeSym2 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| TakeWhile | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| TakeWhileSym0 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| TakeWhileSym1 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| TakeWhileSym2 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| ThenCmp | Data.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude, Data.Promotion.TH |
| thenCmp | Data.Singletons.Prelude.Ord, Data.Singletons.Prelude |
| ThenCmpSym0 | Data.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude, Data.Promotion.TH |
| ThenCmpSym1 | Data.Singletons.Prelude.Ord, Data.Singletons.Prelude |
| ThenCmpSym2 | Data.Singletons.Prelude.Ord, Data.Singletons.Prelude |
| ToEnum | Data.Singletons.Prelude.Enum, Data.Promotion.Prelude.Enum, Data.Singletons.Prelude, Data.Promotion.Prelude |
| ToEnumSym0 | Data.Singletons.Prelude.Enum, Data.Promotion.Prelude.Enum, Data.Singletons.Prelude, Data.Promotion.Prelude |
| ToEnumSym1 | Data.Singletons.Prelude.Enum, Data.Promotion.Prelude.Enum, Data.Singletons.Prelude, Data.Promotion.Prelude |
| ToList | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| ToListSym0 | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| ToListSym1 | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| toSing | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude |
| Transpose | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| TransposeSym0 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| TransposeSym1 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| TrueSym0 | Data.Singletons.Prelude.Bool, Data.Promotion.Prelude.Bool, Data.Singletons.TH, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| Tuple0Sym0 | Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| Tuple2Sym0 | Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| Tuple2Sym1 | Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| Tuple2Sym2 | Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| Tuple3Sym0 | Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| Tuple3Sym1 | Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| Tuple3Sym2 | Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| Tuple3Sym3 | Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| Tuple4Sym0 | Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| Tuple4Sym1 | Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| Tuple4Sym2 | Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| Tuple4Sym3 | Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| Tuple4Sym4 | Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| Tuple5Sym0 | Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| Tuple5Sym1 | Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| Tuple5Sym2 | Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| Tuple5Sym3 | Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| Tuple5Sym4 | Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| Tuple5Sym5 | Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| Tuple6Sym0 | Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| Tuple6Sym1 | Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| Tuple6Sym2 | Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| Tuple6Sym3 | Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| Tuple6Sym4 | Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| Tuple6Sym5 | Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| Tuple6Sym6 | Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| Tuple7Sym0 | Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| Tuple7Sym1 | Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| Tuple7Sym2 | Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| Tuple7Sym3 | Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| Tuple7Sym4 | Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| Tuple7Sym5 | Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| Tuple7Sym6 | Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| Tuple7Sym7 | Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| TyCon1 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude |
| TyCon2 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude |
| TyCon3 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude |
| TyCon4 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude |
| TyCon5 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude |
| TyCon6 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude |
| TyCon7 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude |
| TyCon8 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude |
| TyFun | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Promotion.TH |