singletons-2.4: A framework for generating singleton types

Index - T

Tail 
1 (Type/Class)Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.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.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty
TailSym1 
1 (Type/Class)Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.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, Data.Singletons.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, Data.Singletons.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, Data.Singletons.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, Data.Singletons.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, Data.Singletons.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, Data.Singletons.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, Data.Singletons.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, Data.Singletons.Prelude
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty
ThenCmpData.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar
thenCmpData.Singletons.Prelude.Ord, Data.Singletons.Prelude
ThenCmpSym0Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar
ThenCmpSym1Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar
ThenCmpSym2Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar
ToEnumData.Singletons.Prelude.Enum, Data.Promotion.Prelude.Enum, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar
ToEnumSym0Data.Singletons.Prelude.Enum, Data.Promotion.Prelude.Enum, Data.Promotion.Prelude, Data.Singletons.Prelude
ToEnumSym1Data.Singletons.Prelude.Enum, Data.Promotion.Prelude.Enum, Data.Promotion.Prelude, Data.Singletons.Prelude
ToListData.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty
ToListSym0Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty
ToListSym1Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty
toSingData.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
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
TrueSym0Data.Singletons.Prelude.Bool, Data.Promotion.Prelude.Bool, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar
Tuple0Sym0Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar
Tuple2Sym0Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar
Tuple2Sym1Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar
Tuple2Sym2Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar
Tuple3Sym0Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar
Tuple3Sym1Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar
Tuple3Sym2Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar
Tuple3Sym3Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar
Tuple4Sym0Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar
Tuple4Sym1Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar
Tuple4Sym2Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar
Tuple4Sym3Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar
Tuple4Sym4Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar
Tuple5Sym0Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar
Tuple5Sym1Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar
Tuple5Sym2Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar
Tuple5Sym3Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar
Tuple5Sym4Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar
Tuple5Sym5Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar
Tuple6Sym0Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar
Tuple6Sym1Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar
Tuple6Sym2Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar
Tuple6Sym3Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar
Tuple6Sym4Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar
Tuple6Sym5Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar
Tuple6Sym6Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar
Tuple7Sym0Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar
Tuple7Sym1Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar
Tuple7Sym2Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar
Tuple7Sym3Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar
Tuple7Sym4Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar
Tuple7Sym5Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar
Tuple7Sym6Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar
Tuple7Sym7Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar
TyConData.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
TyFunData.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar