| $ | Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude, Data.Promotion.Prelude |
| $! | Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude, Data.Promotion.Prelude |
| $!$ | Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude, Data.Promotion.Prelude |
| $!$$ | Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude, Data.Promotion.Prelude |
| $!$$$ | Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude, Data.Promotion.Prelude |
| $$ | Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude, Data.Promotion.Prelude |
| $$$ | Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude, Data.Promotion.Prelude |
| $$$$ | Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude, Data.Promotion.Prelude |
| %$ | Data.Singletons.Prelude.Base, Data.Singletons.Prelude |
| %$! | Data.Singletons.Prelude.Base, Data.Singletons.Prelude |
| %:!! | Data.Singletons.Prelude.List |
| %:&& | Data.Singletons.Prelude.Bool, Data.Singletons.CustomStar, Data.Singletons.Prelude |
| %:* | Data.Singletons.Prelude.Num, Data.Singletons.Prelude |
| %:+ | Data.Singletons.Prelude.Num, Data.Singletons.Prelude |
| %:++ | Data.Singletons.Prelude.Base, Data.Singletons.Prelude.List, Data.Singletons.Prelude |
| %:- | Data.Singletons.Prelude.Num, Data.Singletons.Prelude |
| %:. | Data.Singletons.Prelude.Base, Data.Singletons.Prelude |
| %:/= | Data.Singletons.Prelude.Eq, Data.Singletons.CustomStar, Data.Singletons.TH, Data.Singletons.Prelude |
| %:< | Data.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude |
| %:<= | Data.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude |
| %:== | Data.Singletons.Prelude.Eq, Data.Singletons.CustomStar, Data.Singletons.TH, Data.Singletons.Prelude |
| %:> | Data.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude |
| %:>= | Data.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude |
| %:\\ | Data.Singletons.Prelude.List |
| %:|| | Data.Singletons.Prelude.Bool, Data.Singletons.CustomStar, Data.Singletons.Prelude |
| %~ | Data.Singletons.Decide, Data.Singletons.TH |
| :!! | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| :!!$ | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| :!!$$ | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| :!!$$$ | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| :$ | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| :$$ | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| :$$$ | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| :&& | Data.Singletons.Prelude.Bool, Data.Singletons.CustomStar, Data.Promotion.Prelude.Bool, Data.Singletons.TH, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| :&&$ | Data.Singletons.Prelude.Bool, Data.Singletons.CustomStar, Data.Promotion.Prelude.Bool, Data.Singletons.Prelude, Data.Promotion.Prelude |
| :&&$$ | Data.Singletons.Prelude.Bool, Data.Singletons.CustomStar, Data.Promotion.Prelude.Bool, Data.Singletons.Prelude, Data.Promotion.Prelude |
| :&&$$$ | Data.Singletons.Prelude.Bool, Data.Singletons.CustomStar, Data.Promotion.Prelude.Bool, Data.Singletons.Prelude, Data.Promotion.Prelude |
| :* | Data.Singletons.Prelude.Num, Data.Singletons.Prelude, Data.Promotion.Prelude.Num, Data.Promotion.Prelude |
| :*$ | Data.Singletons.Prelude.Num, Data.Singletons.Prelude, Data.Promotion.Prelude.Num, Data.Promotion.Prelude |
| :*$$ | Data.Singletons.Prelude.Num, Data.Singletons.Prelude, Data.Promotion.Prelude.Num, Data.Promotion.Prelude |
| :*$$$ | Data.Singletons.Prelude.Num, Data.Singletons.Prelude, Data.Promotion.Prelude.Num, Data.Promotion.Prelude |
| :+ | Data.Singletons.Prelude.Num, Data.Singletons.Prelude, Data.Promotion.Prelude.Num, Data.Promotion.Prelude |
| :+$ | Data.Singletons.Prelude.Num, Data.Singletons.Prelude, Data.Promotion.Prelude.Num, Data.Promotion.Prelude |
| :+$$ | Data.Singletons.Prelude.Num, Data.Singletons.Prelude, Data.Promotion.Prelude.Num, Data.Promotion.Prelude |
| :+$$$ | Data.Singletons.Prelude.Num, Data.Singletons.Prelude, Data.Promotion.Prelude.Num, Data.Promotion.Prelude |
| :++ | Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| :++$ | Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| :++$$ | Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| :++$$$ | Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| :- | Data.Singletons.Prelude.Num, Data.Singletons.Prelude, Data.Promotion.Prelude.Num, Data.Promotion.Prelude |
| :-$ | Data.Singletons.Prelude.Num, Data.Singletons.Prelude, Data.Promotion.Prelude.Num, Data.Promotion.Prelude |
| :-$$ | Data.Singletons.Prelude.Num, Data.Singletons.Prelude, Data.Promotion.Prelude.Num, Data.Promotion.Prelude |
| :-$$$ | Data.Singletons.Prelude.Num, Data.Singletons.Prelude, Data.Promotion.Prelude.Num, Data.Promotion.Prelude |
| :. | Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude, Data.Promotion.Prelude |
| :.$ | Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude, Data.Promotion.Prelude |
| :.$$ | Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude, Data.Promotion.Prelude |
| :.$$$ | Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude, Data.Promotion.Prelude |
| :.$$$$ | Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base |
| :/= | Data.Singletons.Prelude.Eq, Data.Singletons.CustomStar, Data.Promotion.Prelude.Eq, Data.Singletons.TH, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| :/=$ | Data.Singletons.Prelude.Eq, Data.Singletons.CustomStar, Data.Promotion.Prelude.Eq, Data.Singletons.Prelude, Data.Promotion.Prelude |
| :/=$$ | Data.Singletons.Prelude.Eq, Data.Singletons.CustomStar, Data.Promotion.Prelude.Eq, Data.Singletons.Prelude, Data.Promotion.Prelude |
| :/=$$$ | Data.Singletons.Prelude.Eq, Data.Singletons.CustomStar, Data.Promotion.Prelude.Eq, Data.Singletons.Prelude, Data.Promotion.Prelude |
| :< | Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| :<$ | Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.Prelude, Data.Promotion.Prelude |
| :<$$ | Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.Prelude, Data.Promotion.Prelude |
| :<$$$ | Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.Prelude, Data.Promotion.Prelude |
| :<= | Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| :<=$ | Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.Prelude, Data.Promotion.Prelude |
| :<=$$ | Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.Prelude, Data.Promotion.Prelude |
| :<=$$$ | Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.Prelude, Data.Promotion.Prelude |
| :== | Data.Singletons.Prelude.Eq, Data.Singletons.CustomStar, Data.Promotion.Prelude.Eq, Data.Singletons.TH, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| :==$ | Data.Singletons.Prelude.Eq, Data.Singletons.CustomStar, Data.Promotion.Prelude.Eq, Data.Singletons.Prelude, Data.Promotion.Prelude |
| :==$$ | Data.Singletons.Prelude.Eq, Data.Singletons.CustomStar, Data.Promotion.Prelude.Eq, Data.Singletons.Prelude, Data.Promotion.Prelude |
| :==$$$ | Data.Singletons.Prelude.Eq, Data.Singletons.CustomStar, Data.Promotion.Prelude.Eq, Data.Singletons.Prelude, Data.Promotion.Prelude |
| :> | Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| :>$ | Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.Prelude, Data.Promotion.Prelude |
| :>$$ | Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.Prelude, Data.Promotion.Prelude |
| :>$$$ | Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.Prelude, Data.Promotion.Prelude |
| :>= | Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| :>=$ | Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.Prelude, Data.Promotion.Prelude |
| :>=$$ | Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.Prelude, Data.Promotion.Prelude |
| :>=$$$ | Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.Prelude, Data.Promotion.Prelude |
| :\\ | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| :\\$ | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| :\\$$ | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| :\\$$$ | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| :^ | Data.Singletons.TypeLits |
| :^$ | Data.Singletons.TypeLits, Data.Promotion.Prelude |
| :^$$ | Data.Singletons.TypeLits, Data.Promotion.Prelude |
| :^$$$ | Data.Singletons.TypeLits |
| :|| | Data.Singletons.Prelude.Bool, Data.Singletons.CustomStar, Data.Promotion.Prelude.Bool, Data.Singletons.Prelude, Data.Promotion.Prelude |
| :||$ | Data.Singletons.Prelude.Bool, Data.Singletons.CustomStar, Data.Promotion.Prelude.Bool, Data.Singletons.Prelude, Data.Promotion.Prelude |
| :||$$ | Data.Singletons.Prelude.Bool, Data.Singletons.CustomStar, Data.Promotion.Prelude.Bool, Data.Singletons.Prelude, Data.Promotion.Prelude |
| :||$$$ | Data.Singletons.Prelude.Bool, Data.Singletons.CustomStar, Data.Promotion.Prelude.Bool, Data.Singletons.Prelude, Data.Promotion.Prelude |
| :~: | Data.Singletons.Decide, Data.Singletons.TH |
| @@ | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Promotion.TH |
| Abs | Data.Singletons.Prelude.Num, Data.Singletons.Prelude, Data.Promotion.Prelude.Num, Data.Promotion.Prelude |
| AbsSym0 | Data.Singletons.Prelude.Num, Data.Singletons.Prelude, Data.Promotion.Prelude.Num, Data.Promotion.Prelude |
| AbsSym1 | Data.Singletons.Prelude.Num, Data.Singletons.Prelude, Data.Promotion.Prelude.Num, Data.Promotion.Prelude |
| All | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| AllSym0 | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| AllSym1 | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| AllSym2 | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| And | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| AndSym0 | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| AndSym1 | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| Any | Data.Singletons.TH, Data.Promotion.TH |
| Any_ | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| any_ | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| Any_Sym0 | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| Any_Sym1 | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| Any_Sym2 | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| Apply | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Promotion.TH |
| applySing | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude |
| AsTypeOf | Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude, Data.Promotion.Prelude |
| AsTypeOfSym0 | Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude, Data.Promotion.Prelude |
| AsTypeOfSym1 | Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude, Data.Promotion.Prelude |
| AsTypeOfSym2 | Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude, Data.Promotion.Prelude |
| Bool_ | Data.Singletons.Prelude.Bool, Data.Singletons.CustomStar, Data.Promotion.Prelude.Bool |
| bool_ | Data.Singletons.Prelude.Bool, Data.Singletons.CustomStar, Data.Promotion.Prelude.Bool, Data.Singletons.Prelude |
| Bool_Sym0 | Data.Singletons.Prelude.Bool, Data.Singletons.CustomStar, Data.Promotion.Prelude.Bool |
| Bool_Sym1 | Data.Singletons.Prelude.Bool, Data.Singletons.CustomStar, Data.Promotion.Prelude.Bool |
| Bool_Sym2 | Data.Singletons.Prelude.Bool, Data.Singletons.CustomStar, Data.Promotion.Prelude.Bool |
| Bool_Sym3 | Data.Singletons.Prelude.Bool, Data.Singletons.CustomStar, Data.Promotion.Prelude.Bool |
| Break | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| BreakSym0 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| BreakSym1 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| BreakSym2 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| bugInGHC | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude |
| cases | Data.Singletons.TH |
| CatMaybes | Data.Singletons.Prelude.Maybe, Data.Promotion.Prelude.Maybe |
| CatMaybesSym0 | Data.Singletons.Prelude.Maybe, Data.Promotion.Prelude.Maybe |
| CatMaybesSym1 | Data.Singletons.Prelude.Maybe, Data.Promotion.Prelude.Maybe |
| Compare | Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| CompareSym0 | Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude, Data.Promotion.Prelude |
| CompareSym1 | Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.Prelude, Data.Promotion.Prelude |
| CompareSym2 | Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.Prelude, Data.Promotion.Prelude |
| Concat | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| ConcatMap | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| ConcatMapSym0 | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| ConcatMapSym1 | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| ConcatMapSym2 | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| ConcatSym0 | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| ConcatSym1 | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| Const | Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude, Data.Promotion.Prelude |
| ConstSym0 | Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude, Data.Promotion.Prelude |
| ConstSym1 | Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude, Data.Promotion.Prelude |
| ConstSym2 | Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude, Data.Promotion.Prelude |
| Curry | Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude |
| CurrySym0 | Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude |
| CurrySym1 | Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude |
| CurrySym2 | Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude |
| CurrySym3 | Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude |
| Decision | Data.Singletons.Decide, Data.Singletons.TH |
| Delete | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| DeleteBy | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| DeleteBySym0 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| DeleteBySym1 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| DeleteBySym2 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| DeleteBySym3 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| DeleteFirstsBy | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| DeleteFirstsBySym0 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| DeleteFirstsBySym1 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| DeleteFirstsBySym2 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| DeleteFirstsBySym3 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| DeleteSym0 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| DeleteSym1 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| DeleteSym2 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| Demote | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude |
| DemoteRep | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude |
| Disproved | Data.Singletons.Decide, Data.Singletons.TH |
| Drop | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| DropSym0 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| DropSym1 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| DropSym2 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| DropWhile | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| DropWhileEnd | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| DropWhileEndSym0 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| DropWhileEndSym1 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| DropWhileEndSym2 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| DropWhileSym0 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| DropWhileSym1 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| DropWhileSym2 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| Either_ | Data.Singletons.Prelude.Either, Data.Promotion.Prelude.Either, Data.Singletons.Prelude, Data.Promotion.Prelude |
| either_ | Data.Singletons.Prelude.Either, Data.Promotion.Prelude.Either, Data.Singletons.Prelude, Data.Promotion.Prelude |
| Either_Sym0 | Data.Singletons.Prelude.Either, Data.Promotion.Prelude.Either, Data.Singletons.Prelude, Data.Promotion.Prelude |
| Either_Sym1 | Data.Singletons.Prelude.Either, Data.Promotion.Prelude.Either, Data.Singletons.Prelude, Data.Promotion.Prelude |
| Either_Sym2 | Data.Singletons.Prelude.Either, Data.Promotion.Prelude.Either, Data.Singletons.Prelude, Data.Promotion.Prelude |
| Either_Sym3 | Data.Singletons.Prelude.Either, Data.Promotion.Prelude.Either, Data.Singletons.Prelude, Data.Promotion.Prelude |
| Elem | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| ElemIndex | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| ElemIndexSym0 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| ElemIndexSym1 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| ElemIndexSym2 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| ElemIndices | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| ElemIndicesSym0 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| ElemIndicesSym1 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| ElemIndicesSym2 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| ElemSym0 | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| ElemSym1 | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| ElemSym2 | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| EnumFromThenTo | Data.Singletons.Prelude.Enum, Data.Promotion.Prelude.Enum, Data.Singletons.Prelude, Data.Promotion.Prelude |
| EnumFromThenToSym0 | Data.Singletons.Prelude.Enum, Data.Promotion.Prelude.Enum, Data.Singletons.Prelude, Data.Promotion.Prelude |
| EnumFromThenToSym1 | Data.Singletons.Prelude.Enum, Data.Promotion.Prelude.Enum, Data.Singletons.Prelude, Data.Promotion.Prelude |
| EnumFromThenToSym2 | Data.Singletons.Prelude.Enum, Data.Promotion.Prelude.Enum, Data.Singletons.Prelude, Data.Promotion.Prelude |
| EnumFromThenToSym3 | Data.Singletons.Prelude.Enum, Data.Promotion.Prelude.Enum, Data.Singletons.Prelude, Data.Promotion.Prelude |
| EnumFromTo | Data.Singletons.Prelude.Enum, Data.Promotion.Prelude.Enum, Data.Singletons.Prelude, Data.Promotion.Prelude |
| EnumFromToSym0 | Data.Singletons.Prelude.Enum, Data.Promotion.Prelude.Enum, Data.Singletons.Prelude, Data.Promotion.Prelude |
| EnumFromToSym1 | Data.Singletons.Prelude.Enum, Data.Promotion.Prelude.Enum, Data.Singletons.Prelude, Data.Promotion.Prelude |
| EnumFromToSym2 | Data.Singletons.Prelude.Enum, Data.Promotion.Prelude.Enum, Data.Singletons.Prelude, Data.Promotion.Prelude |
| EQSym0 | Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| Error | Data.Singletons.TypeLits, Data.Singletons.TH, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| ErrorSym0 | Data.Singletons.TypeLits, Data.Singletons.TH, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| ErrorSym1 | Data.Singletons.TypeLits |
| FalseSym0 | Data.Singletons.Prelude.Bool, Data.Singletons.CustomStar, Data.Promotion.Prelude.Bool, Data.Singletons.TH, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| Filter | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| FilterSym0 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| FilterSym1 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| FilterSym2 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| Find | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| FindIndex | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| FindIndexSym0 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| FindIndexSym1 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| FindIndexSym2 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| FindIndices | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| FindIndicesSym0 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| FindIndicesSym1 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| FindIndicesSym2 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| FindSym0 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| FindSym1 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| FindSym2 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| Flip | Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude, Data.Promotion.Prelude |
| FlipSym0 | Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude, Data.Promotion.Prelude |
| FlipSym1 | Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude, Data.Promotion.Prelude |
| FlipSym2 | Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude, Data.Promotion.Prelude |
| FlipSym3 | Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base |
| Foldl | Data.Singletons.TH, Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Promotion.TH |
| Foldl' | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| Foldl'Sym0 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| Foldl'Sym1 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| Foldl'Sym2 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| Foldl'Sym3 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| Foldl1 | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| Foldl1' | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| Foldl1'Sym0 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| Foldl1'Sym1 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| Foldl1'Sym2 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| Foldl1Sym0 | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| Foldl1Sym1 | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| Foldl1Sym2 | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| FoldlSym0 | Data.Singletons.TH, Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Promotion.TH |
| FoldlSym1 | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| FoldlSym2 | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| FoldlSym3 | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| Foldr | Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| Foldr1 | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| Foldr1Sym0 | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| Foldr1Sym1 | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| Foldr1Sym2 | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| FoldrSym0 | Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| FoldrSym1 | Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| FoldrSym2 | Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| FoldrSym3 | Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| FromEnum | Data.Singletons.Prelude.Enum, Data.Promotion.Prelude.Enum, Data.Singletons.Prelude, Data.Promotion.Prelude |
| FromEnumSym0 | Data.Singletons.Prelude.Enum, Data.Promotion.Prelude.Enum, Data.Singletons.Prelude, Data.Promotion.Prelude |
| FromEnumSym1 | Data.Singletons.Prelude.Enum, Data.Promotion.Prelude.Enum, Data.Singletons.Prelude, Data.Promotion.Prelude |
| FromInteger | Data.Singletons.Prelude.Num, Data.Singletons.Prelude, Data.Promotion.Prelude.Num, Data.Promotion.Prelude |
| FromIntegerSym0 | Data.Singletons.Prelude.Num, Data.Singletons.Prelude, Data.Promotion.Prelude.Num, Data.Promotion.Prelude |
| FromIntegerSym1 | Data.Singletons.Prelude.Num, Data.Singletons.Prelude, Data.Promotion.Prelude.Num, Data.Promotion.Prelude |
| FromJust | Data.Singletons.Prelude.Maybe, Data.Promotion.Prelude.Maybe |
| FromJustSym0 | Data.Singletons.Prelude.Maybe, Data.Promotion.Prelude.Maybe |
| FromJustSym1 | Data.Singletons.Prelude.Maybe, Data.Promotion.Prelude.Maybe |
| FromMaybe | Data.Singletons.Prelude.Maybe, Data.Promotion.Prelude.Maybe |
| FromMaybeSym0 | Data.Singletons.Prelude.Maybe, Data.Promotion.Prelude.Maybe |
| FromMaybeSym1 | Data.Singletons.Prelude.Maybe, Data.Promotion.Prelude.Maybe |
| FromMaybeSym2 | Data.Singletons.Prelude.Maybe, Data.Promotion.Prelude.Maybe |
| fromSing | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude |
| Fst | Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude |
| FstSym0 | Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude |
| FstSym1 | Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude |
| genDefunSymbols | Data.Singletons.TH, Data.Promotion.TH |
| GenericDrop | Data.Promotion.Prelude.List |
| GenericDropSym0 | Data.Promotion.Prelude.List |
| GenericDropSym1 | Data.Promotion.Prelude.List |
| GenericDropSym2 | Data.Promotion.Prelude.List |
| GenericIndex | Data.Promotion.Prelude.List |
| GenericIndexSym0 | Data.Promotion.Prelude.List |
| GenericIndexSym1 | Data.Promotion.Prelude.List |
| GenericIndexSym2 | Data.Promotion.Prelude.List |
| GenericLength | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| GenericLengthSym0 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| GenericLengthSym1 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| GenericReplicate | Data.Promotion.Prelude.List |
| GenericReplicateSym0 | Data.Promotion.Prelude.List |
| GenericReplicateSym1 | Data.Promotion.Prelude.List |
| GenericReplicateSym2 | Data.Promotion.Prelude.List |
| GenericSplitAt | Data.Promotion.Prelude.List |
| GenericSplitAtSym0 | Data.Promotion.Prelude.List |
| GenericSplitAtSym1 | Data.Promotion.Prelude.List |
| GenericSplitAtSym2 | Data.Promotion.Prelude.List |
| GenericTake | Data.Promotion.Prelude.List |
| GenericTakeSym0 | Data.Promotion.Prelude.List |
| GenericTakeSym1 | Data.Promotion.Prelude.List |
| GenericTakeSym2 | Data.Promotion.Prelude.List |
| genPromotions | Data.Singletons.TH, Data.Promotion.TH |
| genSingletons | Data.Singletons.TH |
| Group | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| GroupBy | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| GroupBySym0 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| GroupBySym1 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| GroupBySym2 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| GroupSym0 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| GroupSym1 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| GTSym0 | Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| Head | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| HeadSym0 | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| HeadSym1 | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| Id | Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude, Data.Promotion.Prelude |
| IdSym0 | Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude, Data.Promotion.Prelude |
| IdSym1 | Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude, Data.Promotion.Prelude |
| If | Data.Singletons.Prelude.Bool, Data.Singletons.CustomStar, Data.Promotion.Prelude.Bool, Data.Singletons.TH, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| Init | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| Inits | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| InitsSym0 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| InitsSym1 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| InitSym0 | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| InitSym1 | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| Insert | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| InsertBy | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| InsertBySym0 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| InsertBySym1 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| InsertBySym2 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| InsertBySym3 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| InsertSym0 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| InsertSym1 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| InsertSym2 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| Intercalate | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| IntercalateSym0 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| IntercalateSym1 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| IntercalateSym2 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| Intersect | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| IntersectBy | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| IntersectBySym0 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| IntersectBySym1 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| IntersectBySym2 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| IntersectBySym3 | Data.Singletons.Prelude.List |
| IntersectSym0 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| IntersectSym1 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| IntersectSym2 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| Intersperse | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| IntersperseSym0 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| IntersperseSym1 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| IntersperseSym2 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| IsInfixOf | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| IsInfixOfSym0 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| IsInfixOfSym1 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| IsInfixOfSym2 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| IsJust | Data.Singletons.Prelude.Maybe, Data.Promotion.Prelude.Maybe |
| IsJustSym0 | Data.Singletons.Prelude.Maybe, Data.Promotion.Prelude.Maybe |
| IsJustSym1 | Data.Singletons.Prelude.Maybe, Data.Promotion.Prelude.Maybe |
| IsLeft | Data.Singletons.Prelude.Either, Data.Promotion.Prelude.Either |
| IsLeftSym0 | Data.Singletons.Prelude.Either, Data.Promotion.Prelude.Either |
| IsLeftSym1 | Data.Singletons.Prelude.Either, Data.Promotion.Prelude.Either |
| IsNothing | Data.Singletons.Prelude.Maybe, Data.Promotion.Prelude.Maybe |
| IsNothingSym0 | Data.Singletons.Prelude.Maybe, Data.Promotion.Prelude.Maybe |
| IsNothingSym1 | Data.Singletons.Prelude.Maybe, Data.Promotion.Prelude.Maybe |
| IsPrefixOf | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| IsPrefixOfSym0 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| IsPrefixOfSym1 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| IsPrefixOfSym2 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| IsRight | Data.Singletons.Prelude.Either, Data.Promotion.Prelude.Either |
| IsRightSym0 | Data.Singletons.Prelude.Either, Data.Promotion.Prelude.Either |
| IsRightSym1 | Data.Singletons.Prelude.Either, Data.Promotion.Prelude.Either |
| IsSuffixOf | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| IsSuffixOfSym0 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| IsSuffixOfSym1 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| IsSuffixOfSym2 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| JustSym0 | Data.Singletons.Prelude.Maybe, Data.Promotion.Prelude.Maybe, Data.Singletons.Prelude, Data.Promotion.Prelude |
| JustSym1 | Data.Singletons.Prelude.Maybe, Data.Promotion.Prelude.Maybe, Data.Singletons.Prelude, Data.Promotion.Prelude |
| KindOf | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude |
| KnownNat | Data.Singletons.TypeLits |
| KnownSymbol | Data.Singletons.TypeLits |
| KProxy | |
| 1 (Data Constructor) | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| 2 (Type/Class) | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| Last | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| LastSym0 | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| LastSym1 | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| Lefts | Data.Singletons.Prelude.Either, Data.Promotion.Prelude.Either |
| LeftsSym0 | Data.Singletons.Prelude.Either, Data.Promotion.Prelude.Either |
| LeftsSym1 | Data.Singletons.Prelude.Either, Data.Promotion.Prelude.Either |
| LeftSym0 | Data.Singletons.Prelude.Either, Data.Promotion.Prelude.Either, Data.Singletons.Prelude, Data.Promotion.Prelude |
| LeftSym1 | Data.Singletons.Prelude.Either, Data.Promotion.Prelude.Either, Data.Singletons.Prelude, Data.Promotion.Prelude |
| Length | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| LengthSym0 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| LengthSym1 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| ListToMaybe | Data.Singletons.Prelude.Maybe, Data.Promotion.Prelude.Maybe |
| ListToMaybeSym0 | Data.Singletons.Prelude.Maybe, Data.Promotion.Prelude.Maybe |
| ListToMaybeSym1 | Data.Singletons.Prelude.Maybe, Data.Promotion.Prelude.Maybe |
| Lookup | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| LookupSym0 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| LookupSym1 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| LookupSym2 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| LTSym0 | Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| Map | Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| MapAccumL | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| MapAccumLSym0 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| MapAccumLSym1 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| MapAccumLSym2 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| MapAccumLSym3 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| MapAccumR | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| MapAccumRSym0 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| MapAccumRSym1 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| MapAccumRSym2 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| MapAccumRSym3 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| MapMaybe | Data.Singletons.Prelude.Maybe, Data.Promotion.Prelude.Maybe |
| MapMaybeSym0 | Data.Singletons.Prelude.Maybe, Data.Promotion.Prelude.Maybe |
| MapMaybeSym1 | Data.Singletons.Prelude.Maybe, Data.Promotion.Prelude.Maybe |
| MapMaybeSym2 | Data.Singletons.Prelude.Maybe, Data.Promotion.Prelude.Maybe |
| MapSym0 | Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| MapSym1 | Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| MapSym2 | Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| Max | Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| MaxBound | Data.Singletons.Prelude.Enum, Data.Promotion.Prelude.Enum, Data.Singletons.Prelude, Data.Promotion.Prelude |
| MaxBoundSym0 | Data.Singletons.Prelude.Enum, Data.Promotion.Prelude.Enum, Data.Singletons.Prelude, Data.Promotion.Prelude |
| Maximum | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| MaximumBy | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| MaximumBySym0 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| MaximumBySym1 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| MaximumBySym2 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| MaximumSym0 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| MaximumSym1 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| MaxSym0 | Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.Prelude, Data.Promotion.Prelude |
| MaxSym1 | Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.Prelude, Data.Promotion.Prelude |
| MaxSym2 | Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.Prelude, Data.Promotion.Prelude |
| MaybeToList | Data.Singletons.Prelude.Maybe, Data.Promotion.Prelude.Maybe |
| MaybeToListSym0 | Data.Singletons.Prelude.Maybe, Data.Promotion.Prelude.Maybe |
| MaybeToListSym1 | Data.Singletons.Prelude.Maybe, Data.Promotion.Prelude.Maybe |
| Maybe_ | Data.Singletons.Prelude.Maybe, Data.Promotion.Prelude.Maybe, Data.Singletons.Prelude, Data.Promotion.Prelude |
| maybe_ | Data.Singletons.Prelude.Maybe, Data.Promotion.Prelude.Maybe, Data.Singletons.Prelude, Data.Promotion.Prelude |
| Maybe_Sym0 | Data.Singletons.Prelude.Maybe, Data.Promotion.Prelude.Maybe, Data.Singletons.Prelude, Data.Promotion.Prelude |
| Maybe_Sym1 | Data.Singletons.Prelude.Maybe, Data.Promotion.Prelude.Maybe, Data.Singletons.Prelude, Data.Promotion.Prelude |
| Maybe_Sym2 | Data.Singletons.Prelude.Maybe, Data.Promotion.Prelude.Maybe, Data.Singletons.Prelude, Data.Promotion.Prelude |
| Maybe_Sym3 | Data.Singletons.Prelude.Maybe, Data.Promotion.Prelude.Maybe, Data.Singletons.Prelude, Data.Promotion.Prelude |
| Min | Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| MinBound | Data.Singletons.Prelude.Enum, Data.Promotion.Prelude.Enum, Data.Singletons.Prelude, Data.Promotion.Prelude |
| MinBoundSym0 | Data.Singletons.Prelude.Enum, Data.Promotion.Prelude.Enum, Data.Singletons.Prelude, Data.Promotion.Prelude |
| Minimum | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| MinimumBy | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| MinimumBySym0 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| MinimumBySym1 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| MinimumBySym2 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| MinimumSym0 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| MinimumSym1 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| MinSym0 | Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.Prelude, Data.Promotion.Prelude |
| MinSym1 | Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.Prelude, Data.Promotion.Prelude |
| MinSym2 | Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.Prelude, Data.Promotion.Prelude |
| Nat | Data.Singletons.TypeLits |
| natVal | Data.Singletons.TypeLits |
| Negate | Data.Singletons.Prelude.Num, Data.Singletons.Prelude, Data.Promotion.Prelude.Num, Data.Promotion.Prelude |
| NegateSym0 | Data.Singletons.Prelude.Num, Data.Singletons.Prelude, Data.Promotion.Prelude.Num, Data.Promotion.Prelude |
| NegateSym1 | Data.Singletons.Prelude.Num, Data.Singletons.Prelude, Data.Promotion.Prelude.Num, Data.Promotion.Prelude |
| NilSym0 | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| Not | Data.Singletons.Prelude.Bool, Data.Singletons.CustomStar, Data.Promotion.Prelude.Bool, Data.Singletons.Prelude, Data.Promotion.Prelude |
| NotElem | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| NotElemSym0 | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| NotElemSym1 | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| NotElemSym2 | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| NothingSym0 | Data.Singletons.Prelude.Maybe, Data.Promotion.Prelude.Maybe, Data.Singletons.Prelude, Data.Promotion.Prelude |
| NotSym0 | Data.Singletons.Prelude.Bool, Data.Singletons.CustomStar, Data.Promotion.Prelude.Bool, Data.Singletons.Prelude, Data.Promotion.Prelude |
| NotSym1 | Data.Singletons.Prelude.Bool, Data.Singletons.CustomStar, Data.Promotion.Prelude.Bool, Data.Singletons.Prelude, Data.Promotion.Prelude |
| Nub | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| NubBy | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| NubBySym0 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| NubBySym1 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| NubBySym2 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| NubSym0 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| NubSym1 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| Null | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| NullSym0 | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| NullSym1 | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| Or | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| OrSym0 | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| OrSym1 | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| Otherwise | Data.Singletons.Prelude.Bool, Data.Singletons.CustomStar, Data.Promotion.Prelude.Bool, Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude, Data.Promotion.Prelude |
| OtherwiseSym0 | Data.Singletons.Prelude.Bool, Data.Singletons.CustomStar, Data.Promotion.Prelude.Bool, Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude, Data.Promotion.Prelude |
| Partition | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| PartitionEithers | Data.Singletons.Prelude.Either, Data.Promotion.Prelude.Either |
| PartitionSym0 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| PartitionSym1 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| PartitionSym2 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| PBounded | Data.Singletons.Prelude.Enum, Data.Promotion.Prelude.Enum, Data.Singletons.Prelude, Data.Promotion.Prelude |
| PEnum | Data.Singletons.Prelude.Enum, Data.Promotion.Prelude.Enum, Data.Singletons.Prelude, Data.Promotion.Prelude |
| PEq | Data.Singletons.Prelude.Eq, Data.Singletons.CustomStar, Data.Promotion.Prelude.Eq, Data.Singletons.TH, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| Permutations | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| PermutationsSym0 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| PermutationsSym1 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| PNum | Data.Singletons.Prelude.Num, Data.Singletons.Prelude, Data.Promotion.Prelude.Num, Data.Promotion.Prelude |
| POrd | Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| Pred | Data.Singletons.Prelude.Enum, Data.Promotion.Prelude.Enum |
| PredSym0 | Data.Singletons.Prelude.Enum, Data.Promotion.Prelude.Enum |
| PredSym1 | Data.Singletons.Prelude.Enum, Data.Promotion.Prelude.Enum |
| Product | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| ProductSym0 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| ProductSym1 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| promote | Data.Singletons.TH, Data.Promotion.TH |
| promoteBoundedInstance | Data.Singletons.TH, Data.Promotion.TH |
| promoteBoundedInstances | Data.Singletons.TH, Data.Promotion.TH |
| promoteEnumInstance | Data.Singletons.TH, Data.Promotion.TH |
| promoteEnumInstances | Data.Singletons.TH, Data.Promotion.TH |
| promoteEqInstance | Data.Singletons.TH, Data.Promotion.TH |
| promoteEqInstances | Data.Singletons.TH, Data.Promotion.TH |
| promoteOnly | Data.Singletons.TH, Data.Promotion.TH |
| promoteOrdInstance | Data.Singletons.TH, Data.Promotion.TH |
| promoteOrdInstances | Data.Singletons.TH, Data.Promotion.TH |
| Proved | Data.Singletons.Decide, Data.Singletons.TH |
| Proxy | |
| 1 (Data Constructor) | Data.Singletons.TH, Data.Promotion.Prelude, Data.Promotion.TH |
| 2 (Type/Class) | Data.Singletons.TH, Data.Promotion.Prelude, Data.Promotion.TH |
| Refl | Data.Singletons.Decide, Data.Singletons.TH |
| Refuted | Data.Singletons.Decide, Data.Singletons.TH |
| Replicate | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| ReplicateSym0 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| ReplicateSym1 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| ReplicateSym2 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| Reverse | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| ReverseSym0 | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| ReverseSym1 | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| Rights | Data.Singletons.Prelude.Either, Data.Promotion.Prelude.Either |
| RightsSym0 | Data.Singletons.Prelude.Either, Data.Promotion.Prelude.Either |
| RightsSym1 | Data.Singletons.Prelude.Either, Data.Promotion.Prelude.Either |
| RightSym0 | Data.Singletons.Prelude.Either, Data.Promotion.Prelude.Either, Data.Singletons.Prelude, Data.Promotion.Prelude |
| RightSym1 | Data.Singletons.Prelude.Either, Data.Promotion.Prelude.Either, Data.Singletons.Prelude, Data.Promotion.Prelude |
| sAbs | Data.Singletons.Prelude.Num, Data.Singletons.Prelude |
| sAll | Data.Singletons.Prelude.List, Data.Singletons.Prelude |
| sAnd | Data.Singletons.Prelude.List, Data.Singletons.Prelude |
| sAny_ | Data.Singletons.Prelude.List, Data.Singletons.Prelude |
| sAsTypeOf | Data.Singletons.Prelude.Base, Data.Singletons.Prelude |
| SBool | Data.Singletons.Prelude.Bool, Data.Singletons.CustomStar, Data.Singletons.Prelude |
| sBool_ | Data.Singletons.Prelude.Bool, Data.Singletons.CustomStar |
| SBounded | Data.Singletons.Prelude.Enum, Data.Singletons.Prelude |
| sBreak | Data.Singletons.Prelude.List |
| Scanl | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| Scanl1 | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| Scanl1Sym0 | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| Scanl1Sym1 | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| Scanl1Sym2 | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| ScanlSym0 | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| ScanlSym1 | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| ScanlSym2 | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| ScanlSym3 | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| Scanr | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| Scanr1 | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| Scanr1Sym0 | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| Scanr1Sym1 | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| Scanr1Sym2 | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| ScanrSym0 | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| ScanrSym1 | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| ScanrSym2 | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| ScanrSym3 | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| sCases | Data.Singletons.TH |
| sCatMaybes | Data.Singletons.Prelude.Maybe |
| sCompare | Data.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude |
| sConcat | Data.Singletons.Prelude.List, Data.Singletons.Prelude |
| sConcatMap | Data.Singletons.Prelude.List, Data.Singletons.Prelude |
| SCons | Data.Singletons.Prelude.List, Data.Singletons.Prelude |
| sConst | Data.Singletons.Prelude.Base, Data.Singletons.Prelude |
| sCurry | Data.Singletons.Prelude.Tuple, Data.Singletons.Prelude |
| SDecide | Data.Singletons.Decide, Data.Singletons.TH |
| sDelete | Data.Singletons.Prelude.List |
| sDeleteBy | Data.Singletons.Prelude.List |
| sDeleteFirstsBy | Data.Singletons.Prelude.List |
| sDrop | Data.Singletons.Prelude.List |
| sDropWhile | Data.Singletons.Prelude.List |
| sDropWhileEnd | Data.Singletons.Prelude.List |
| SEither | Data.Singletons.Prelude.Either, Data.Singletons.Prelude |
| sEither_ | Data.Singletons.Prelude.Either, Data.Singletons.Prelude |
| sElem | Data.Singletons.Prelude.List, Data.Singletons.Prelude |
| sElemIndex | Data.Singletons.Prelude.List |
| sElemIndices | Data.Singletons.Prelude.List |
| SEnum | Data.Singletons.Prelude.Enum, Data.Singletons.Prelude |
| sEnumFromThenTo | Data.Singletons.Prelude.Enum, Data.Singletons.Prelude |
| sEnumFromTo | Data.Singletons.Prelude.Enum, Data.Singletons.Prelude |
| SEQ | Data.Singletons.Prelude.Ord, Data.Singletons.Prelude |
| SEq | Data.Singletons.Prelude.Eq, Data.Singletons.CustomStar, Data.Singletons.TH, Data.Singletons.Prelude |
| Seq | Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude, Data.Promotion.Prelude |
| SeqSym0 | Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude, Data.Promotion.Prelude |
| SeqSym1 | Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude, Data.Promotion.Prelude |
| SeqSym2 | Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude, Data.Promotion.Prelude |
| sError | Data.Singletons.TypeLits, Data.Singletons.Prelude |
| SFalse | Data.Singletons.Prelude.Bool, Data.Singletons.CustomStar, Data.Singletons.TH, Data.Singletons.Prelude |
| sFilter | Data.Singletons.Prelude.List |
| sFind | Data.Singletons.Prelude.List |
| sFindIndex | Data.Singletons.Prelude.List |
| sFindIndices | Data.Singletons.Prelude.List |
| sFlip | Data.Singletons.Prelude.Base, Data.Singletons.Prelude |
| sFoldl | Data.Singletons.TH, Data.Singletons.Prelude.List, Data.Singletons.Prelude |
| sFoldl' | Data.Singletons.Prelude.List |
| sFoldl1 | Data.Singletons.Prelude.List, Data.Singletons.Prelude |
| sFoldl1' | Data.Singletons.Prelude.List |
| sFoldr | Data.Singletons.Prelude.Base, Data.Singletons.Prelude.List, Data.Singletons.Prelude |
| sFoldr1 | Data.Singletons.Prelude.List, Data.Singletons.Prelude |
| sFromEnum | Data.Singletons.Prelude.Enum, Data.Singletons.Prelude |
| sFromInteger | Data.Singletons.Prelude.Num, Data.Singletons.Prelude |
| sFromJust | Data.Singletons.Prelude.Maybe |
| sFromMaybe | Data.Singletons.Prelude.Maybe |
| sFst | Data.Singletons.Prelude.Tuple, Data.Singletons.Prelude |
| sGenericLength | Data.Singletons.Prelude.List |
| sGroup | Data.Singletons.Prelude.List |
| sGroupBy | Data.Singletons.Prelude.List |
| SGT | Data.Singletons.Prelude.Ord, Data.Singletons.Prelude |
| sHead | Data.Singletons.Prelude.List, Data.Singletons.Prelude |
| sId | Data.Singletons.Prelude.Base, Data.Singletons.Prelude |
| sIf | Data.Singletons.Prelude.Bool, Data.Singletons.CustomStar, Data.Singletons.TH, Data.Singletons.Prelude |
| Signum | Data.Singletons.Prelude.Num, Data.Singletons.Prelude, Data.Promotion.Prelude.Num, Data.Promotion.Prelude |
| SignumSym0 | Data.Singletons.Prelude.Num, Data.Singletons.Prelude, Data.Promotion.Prelude.Num, Data.Promotion.Prelude |
| SignumSym1 | Data.Singletons.Prelude.Num, Data.Singletons.Prelude, Data.Promotion.Prelude.Num, Data.Promotion.Prelude |
| Sing | Data.Singletons, Data.Singletons.Prelude.Bool, Data.Singletons.CustomStar, Data.Singletons.Prelude.Ord, Data.Singletons.TypeRepStar, Data.Singletons.TH, Data.Singletons.Prelude.Either, Data.Singletons.Prelude.Tuple, Data.Singletons.Prelude.Maybe, Data.Singletons.Prelude.List, Data.Singletons.Prelude |
| sing | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude |
| singBoundedInstance | Data.Singletons.TH |
| singBoundedInstances | Data.Singletons.TH |
| singByProxy | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude |
| singByProxy# | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude |
| singDecideInstance | Data.Singletons.TH |
| singDecideInstances | Data.Singletons.TH |
| singEnumInstance | Data.Singletons.TH |
| singEnumInstances | Data.Singletons.TH |
| singEqInstance | Data.Singletons.TH |
| singEqInstanceOnly | Data.Singletons.TH |
| singEqInstances | Data.Singletons.TH |
| singEqInstancesOnly | Data.Singletons.TH |
| singFun1 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude |
| singFun2 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude |
| singFun3 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude |
| singFun4 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude |
| singFun5 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude |
| singFun6 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude |
| singFun7 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude |
| singFun8 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude |
| SingFunction1 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude |
| SingFunction2 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude |
| SingFunction3 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude |
| SingFunction4 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude |
| SingFunction5 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude |
| SingFunction6 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude |
| SingFunction7 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude |
| SingFunction8 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude |
| SingI | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude |
| SingInstance | |
| 1 (Type/Class) | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude |
| 2 (Data Constructor) | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude |
| singInstance | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude |
| SingKind | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude |
| singletons | Data.Singletons.TH |
| singletonsOnly | Data.Singletons.TH |
| singletonStar | Data.Singletons.CustomStar |
| singOrdInstance | Data.Singletons.TH |
| singOrdInstances | Data.Singletons.TH |
| singThat | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude |
| sInit | Data.Singletons.Prelude.List, Data.Singletons.Prelude |
| sInits | Data.Singletons.Prelude.List |
| sInsert | Data.Singletons.Prelude.List |
| sInsertBy | Data.Singletons.Prelude.List |
| sIntercalate | Data.Singletons.Prelude.List |
| sIntersect | Data.Singletons.Prelude.List |
| sIntersectBy | Data.Singletons.Prelude.List |
| sIntersperse | Data.Singletons.Prelude.List |
| sIsInfixOf | Data.Singletons.Prelude.List |
| sIsJust | Data.Singletons.Prelude.Maybe |
| sIsLeft | Data.Singletons.Prelude.Either |
| sIsNothing | Data.Singletons.Prelude.Maybe |
| sIsPrefixOf | Data.Singletons.Prelude.List |
| sIsRight | Data.Singletons.Prelude.Either |
| sIsSuffixOf | Data.Singletons.Prelude.List |
| SJust | Data.Singletons.Prelude.Maybe, Data.Singletons.Prelude |
| SLambda | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude |
| sLast | Data.Singletons.Prelude.List, Data.Singletons.Prelude |
| SLeft | Data.Singletons.Prelude.Either, Data.Singletons.Prelude |
| sLefts | Data.Singletons.Prelude.Either |
| sLength | Data.Singletons.Prelude.List |
| SList | Data.Singletons.Prelude.List, Data.Singletons.Prelude |
| sListToMaybe | Data.Singletons.Prelude.Maybe |
| sLookup | Data.Singletons.Prelude.List |
| SLT | Data.Singletons.Prelude.Ord, Data.Singletons.Prelude |
| sMap | Data.Singletons.Prelude.Base, Data.Singletons.Prelude.List, Data.Singletons.Prelude |
| sMapAccumL | Data.Singletons.Prelude.List |
| sMapAccumR | Data.Singletons.Prelude.List |
| sMapMaybe | Data.Singletons.Prelude.Maybe |
| sMax | Data.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude |
| sMaxBound | Data.Singletons.Prelude.Enum, Data.Singletons.Prelude |
| sMaximum | Data.Singletons.Prelude.List |
| sMaximumBy | Data.Singletons.Prelude.List |
| SMaybe | Data.Singletons.Prelude.Maybe, Data.Singletons.Prelude |
| sMaybeToList | Data.Singletons.Prelude.Maybe |
| sMaybe_ | Data.Singletons.Prelude.Maybe, Data.Singletons.Prelude |
| sMin | Data.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude |
| sMinBound | Data.Singletons.Prelude.Enum, Data.Singletons.Prelude |
| sMinimum | Data.Singletons.Prelude.List |
| sMinimumBy | Data.Singletons.Prelude.List |
| SNat | Data.Singletons.TypeLits |
| Snd | Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude |
| SndSym0 | Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude |
| SndSym1 | Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude |
| sNegate | Data.Singletons.Prelude.Num, Data.Singletons.Prelude |
| SNil | Data.Singletons.Prelude.List, Data.Singletons.Prelude |
| sNot | Data.Singletons.Prelude.Bool, Data.Singletons.CustomStar, Data.Singletons.Prelude |
| sNotElem | Data.Singletons.Prelude.List, Data.Singletons.Prelude |
| SNothing | Data.Singletons.Prelude.Maybe, Data.Singletons.Prelude |
| sNub | Data.Singletons.Prelude.List |
| sNubBy | Data.Singletons.Prelude.List |
| sNull | Data.Singletons.Prelude.List, Data.Singletons.Prelude |
| SNum | Data.Singletons.Prelude.Num, Data.Singletons.Prelude |
| SomeSing | |
| 1 (Type/Class) | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude |
| 2 (Data Constructor) | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude |
| sOr | Data.Singletons.Prelude.List, Data.Singletons.Prelude |
| SOrd | Data.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude |
| SOrdering | Data.Singletons.Prelude |
| Sort | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| SortBy | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| SortBySym0 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| SortBySym1 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| SortBySym2 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| SortSym0 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| SortSym1 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| sOtherwise | Data.Singletons.Prelude.Bool, Data.Singletons.CustomStar, Data.Singletons.Prelude.Base, Data.Singletons.Prelude |
| Span | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| SpanSym0 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| SpanSym1 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| SpanSym2 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| sPartition | Data.Singletons.Prelude.List |
| sPartitionEithers | Data.Singletons.Prelude.Either |
| sPermutations | Data.Singletons.Prelude.List |
| SplitAt | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| SplitAtSym0 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| SplitAtSym1 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| SplitAtSym2 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| sPred | Data.Singletons.Prelude.Enum |
| sProduct | Data.Singletons.Prelude.List |
| sReplicate | Data.Singletons.Prelude.List |
| sReverse | Data.Singletons.Prelude.List, Data.Singletons.Prelude |
| SRight | Data.Singletons.Prelude.Either, Data.Singletons.Prelude |
| sRights | Data.Singletons.Prelude.Either |
| sScanl | Data.Singletons.Prelude.List, Data.Singletons.Prelude |
| sScanl1 | Data.Singletons.Prelude.List, Data.Singletons.Prelude |
| sScanr | Data.Singletons.Prelude.List, Data.Singletons.Prelude |
| sScanr1 | Data.Singletons.Prelude.List, Data.Singletons.Prelude |
| sSeq | Data.Singletons.Prelude.Base, Data.Singletons.Prelude |
| sSignum | Data.Singletons.Prelude.Num, Data.Singletons.Prelude |
| sSnd | Data.Singletons.Prelude.Tuple, Data.Singletons.Prelude |
| sSort | Data.Singletons.Prelude.List |
| sSortBy | Data.Singletons.Prelude.List |
| sSpan | Data.Singletons.Prelude.List |
| sSplitAt | Data.Singletons.Prelude.List |
| sSubsequences | Data.Singletons.Prelude.List |
| sSubtract | Data.Singletons.Prelude.Num, Data.Singletons.Prelude |
| sSucc | Data.Singletons.Prelude.Enum |
| sSum | Data.Singletons.Prelude.List |
| sSwap | Data.Singletons.Prelude.Tuple |
| SSymbol | Data.Singletons.TypeLits |
| sTail | Data.Singletons.Prelude.List, Data.Singletons.Prelude |
| sTails | Data.Singletons.Prelude.List |
| sTake | Data.Singletons.Prelude.List |
| sTakeWhile | Data.Singletons.Prelude.List |
| sThenCmp | Data.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude |
| sToEnum | Data.Singletons.Prelude.Enum, Data.Singletons.Prelude |
| sTranspose | Data.Singletons.Prelude.List |
| StripPrefix | Data.Promotion.Prelude.List |
| StripPrefixSym0 | Data.Promotion.Prelude.List |
| StripPrefixSym1 | Data.Promotion.Prelude.List |
| StripPrefixSym2 | Data.Promotion.Prelude.List |
| STrue | Data.Singletons.Prelude.Bool, Data.Singletons.CustomStar, Data.Singletons.TH, Data.Singletons.Prelude |
| STuple0 | |
| 1 (Type/Class) | Data.Singletons.Prelude.Tuple, Data.Singletons.Prelude |
| 2 (Data Constructor) | Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Singletons.Prelude |
| STuple2 | |
| 1 (Type/Class) | Data.Singletons.Prelude.Tuple, Data.Singletons.Prelude |
| 2 (Data Constructor) | Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Singletons.Prelude |
| STuple3 | |
| 1 (Type/Class) | Data.Singletons.Prelude.Tuple, Data.Singletons.Prelude |
| 2 (Data Constructor) | Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Singletons.Prelude |
| STuple4 | |
| 1 (Type/Class) | Data.Singletons.Prelude.Tuple, Data.Singletons.Prelude |
| 2 (Data Constructor) | Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Singletons.Prelude |
| STuple5 | |
| 1 (Type/Class) | Data.Singletons.Prelude.Tuple, Data.Singletons.Prelude |
| 2 (Data Constructor) | Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Singletons.Prelude |
| STuple6 | |
| 1 (Type/Class) | Data.Singletons.Prelude.Tuple, Data.Singletons.Prelude |
| 2 (Data Constructor) | Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Singletons.Prelude |
| STuple7 | |
| 1 (Type/Class) | Data.Singletons.Prelude.Tuple, Data.Singletons.Prelude |
| 2 (Data Constructor) | Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Singletons.Prelude |
| STypeRep | Data.Singletons.TypeRepStar |
| Subsequences | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| SubsequencesSym0 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| SubsequencesSym1 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| Subtract | Data.Singletons.Prelude.Num, Data.Singletons.Prelude, Data.Promotion.Prelude.Num, Data.Promotion.Prelude |
| SubtractSym0 | Data.Singletons.Prelude.Num, Data.Singletons.Prelude, Data.Promotion.Prelude.Num, Data.Promotion.Prelude |
| SubtractSym1 | Data.Singletons.Prelude.Num, Data.Singletons.Prelude, Data.Promotion.Prelude.Num, Data.Promotion.Prelude |
| SubtractSym2 | Data.Singletons.Prelude.Num, Data.Singletons.Prelude, Data.Promotion.Prelude.Num, Data.Promotion.Prelude |
| Succ | Data.Singletons.Prelude.Enum, Data.Promotion.Prelude.Enum |
| SuccSym0 | Data.Singletons.Prelude.Enum, Data.Promotion.Prelude.Enum |
| SuccSym1 | Data.Singletons.Prelude.Enum, Data.Promotion.Prelude.Enum |
| Sum | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| SumSym0 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| SumSym1 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| sUncurry | Data.Singletons.Prelude.Tuple, Data.Singletons.Prelude |
| sUnfoldr | Data.Singletons.Prelude.List |
| sUnion | Data.Singletons.Prelude.List |
| sUnionBy | Data.Singletons.Prelude.List |
| sUnzip | Data.Singletons.Prelude.List, Data.Singletons.Prelude |
| sUnzip3 | Data.Singletons.Prelude.List, Data.Singletons.Prelude |
| sUnzip4 | Data.Singletons.Prelude.List |
| sUnzip5 | Data.Singletons.Prelude.List |
| sUnzip6 | Data.Singletons.Prelude.List |
| sUnzip7 | Data.Singletons.Prelude.List |
| SuppressUnusedWarnings | Data.Singletons.SuppressUnusedWarnings, Data.Singletons.TH, Data.Promotion.TH |
| suppressUnusedWarnings | Data.Singletons.SuppressUnusedWarnings, Data.Singletons.TH, Data.Promotion.TH |
| Swap | Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple |
| SwapSym0 | Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple |
| SwapSym1 | Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple |
| Symbol | Data.Singletons.TypeLits, Data.Singletons.Prelude, Data.Promotion.Prelude |
| symbolVal | Data.Singletons.TypeLits |
| sZip | Data.Singletons.Prelude.List, Data.Singletons.Prelude |
| sZip3 | Data.Singletons.Prelude.List, Data.Singletons.Prelude |
| sZipWith | Data.Singletons.Prelude.List, Data.Singletons.Prelude |
| sZipWith3 | Data.Singletons.Prelude.List, Data.Singletons.Prelude |
| Tail | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| Tails | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| TailsSym0 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| TailsSym1 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| TailSym0 | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| TailSym1 | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| Take | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| TakeSym0 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| TakeSym1 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| TakeSym2 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| TakeWhile | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| TakeWhileSym0 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| TakeWhileSym1 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| TakeWhileSym2 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| 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 |
| toSing | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude |
| Transpose | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| TransposeSym0 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| TransposeSym1 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| TrueSym0 | Data.Singletons.Prelude.Bool, Data.Singletons.CustomStar, Data.Promotion.Prelude.Bool, Data.Singletons.TH, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| 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 |
| Uncurry | Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude |
| UncurrySym0 | Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude |
| UncurrySym1 | Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude |
| UncurrySym2 | Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude |
| Unfoldr | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| UnfoldrSym0 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| UnfoldrSym1 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| UnfoldrSym2 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| Union | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| UnionBy | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| UnionBySym0 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| UnionBySym1 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| UnionBySym2 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| UnionBySym3 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| UnionSym0 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| UnionSym1 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| UnionSym2 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| unSingFun1 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude |
| unSingFun2 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude |
| unSingFun3 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude |
| unSingFun4 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude |
| unSingFun5 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude |
| unSingFun6 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude |
| unSingFun7 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude |
| unSingFun8 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude |
| Until | Data.Promotion.Prelude.Base, Data.Promotion.Prelude |
| UntilSym0 | Data.Promotion.Prelude.Base, Data.Promotion.Prelude |
| UntilSym1 | Data.Promotion.Prelude.Base, Data.Promotion.Prelude |
| UntilSym2 | Data.Promotion.Prelude.Base, Data.Promotion.Prelude |
| UntilSym3 | Data.Promotion.Prelude.Base, Data.Promotion.Prelude |
| Unzip | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| Unzip3 | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| Unzip3Sym0 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| Unzip3Sym1 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| Unzip4 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| Unzip4Sym0 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| Unzip4Sym1 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| Unzip5 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| Unzip5Sym0 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| Unzip5Sym1 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| Unzip6 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| Unzip6Sym0 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| Unzip6Sym1 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| Unzip7 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| Unzip7Sym0 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| Unzip7Sym1 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| UnzipSym0 | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| UnzipSym1 | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| Void | Data.Singletons.Decide, Data.Singletons.TH |
| withKnownNat | Data.Singletons.TypeLits |
| withKnownSymbol | Data.Singletons.TypeLits |
| withSing | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude |
| withSingI | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude |
| withSomeSing | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude |
| Zip | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| Zip3 | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| Zip3Sym0 | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| Zip3Sym1 | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| Zip3Sym2 | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| Zip3Sym3 | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| Zip4 | Data.Promotion.Prelude.List |
| Zip4Sym0 | Data.Promotion.Prelude.List |
| Zip4Sym1 | Data.Promotion.Prelude.List |
| Zip4Sym2 | Data.Promotion.Prelude.List |
| Zip4Sym3 | Data.Promotion.Prelude.List |
| Zip4Sym4 | Data.Promotion.Prelude.List |
| Zip5 | Data.Promotion.Prelude.List |
| Zip5Sym0 | Data.Promotion.Prelude.List |
| Zip5Sym1 | Data.Promotion.Prelude.List |
| Zip5Sym2 | Data.Promotion.Prelude.List |
| Zip5Sym3 | Data.Promotion.Prelude.List |
| Zip5Sym4 | Data.Promotion.Prelude.List |
| Zip5Sym5 | Data.Promotion.Prelude.List |
| Zip6 | Data.Promotion.Prelude.List |
| Zip6Sym0 | Data.Promotion.Prelude.List |
| Zip6Sym1 | Data.Promotion.Prelude.List |
| Zip6Sym2 | Data.Promotion.Prelude.List |
| Zip6Sym3 | Data.Promotion.Prelude.List |
| Zip6Sym4 | Data.Promotion.Prelude.List |
| Zip6Sym5 | Data.Promotion.Prelude.List |
| Zip6Sym6 | Data.Promotion.Prelude.List |
| Zip7 | Data.Promotion.Prelude.List |
| Zip7Sym0 | Data.Promotion.Prelude.List |
| Zip7Sym1 | Data.Promotion.Prelude.List |
| Zip7Sym2 | Data.Promotion.Prelude.List |
| Zip7Sym3 | Data.Promotion.Prelude.List |
| Zip7Sym4 | Data.Promotion.Prelude.List |
| Zip7Sym5 | Data.Promotion.Prelude.List |
| Zip7Sym6 | Data.Promotion.Prelude.List |
| Zip7Sym7 | Data.Promotion.Prelude.List |
| ZipSym0 | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| ZipSym1 | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| ZipSym2 | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| ZipWith | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| ZipWith3 | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| ZipWith3Sym0 | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| ZipWith3Sym1 | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| ZipWith3Sym2 | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| ZipWith3Sym3 | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| ZipWith3Sym4 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| ZipWith4 | Data.Promotion.Prelude.List |
| ZipWith4Sym0 | Data.Promotion.Prelude.List |
| ZipWith4Sym1 | Data.Promotion.Prelude.List |
| ZipWith4Sym2 | Data.Promotion.Prelude.List |
| ZipWith4Sym3 | Data.Promotion.Prelude.List |
| ZipWith4Sym4 | Data.Promotion.Prelude.List |
| ZipWith4Sym5 | Data.Promotion.Prelude.List |
| ZipWith5 | Data.Promotion.Prelude.List |
| ZipWith5Sym0 | Data.Promotion.Prelude.List |
| ZipWith5Sym1 | Data.Promotion.Prelude.List |
| ZipWith5Sym2 | Data.Promotion.Prelude.List |
| ZipWith5Sym3 | Data.Promotion.Prelude.List |
| ZipWith5Sym4 | Data.Promotion.Prelude.List |
| ZipWith5Sym5 | Data.Promotion.Prelude.List |
| ZipWith5Sym6 | Data.Promotion.Prelude.List |
| ZipWith6 | Data.Promotion.Prelude.List |
| ZipWith6Sym0 | Data.Promotion.Prelude.List |
| ZipWith6Sym1 | Data.Promotion.Prelude.List |
| ZipWith6Sym2 | Data.Promotion.Prelude.List |
| ZipWith6Sym3 | Data.Promotion.Prelude.List |
| ZipWith6Sym4 | Data.Promotion.Prelude.List |
| ZipWith6Sym5 | Data.Promotion.Prelude.List |
| ZipWith6Sym6 | Data.Promotion.Prelude.List |
| ZipWith6Sym7 | Data.Promotion.Prelude.List |
| ZipWith7 | Data.Promotion.Prelude.List |
| ZipWith7Sym0 | Data.Promotion.Prelude.List |
| ZipWith7Sym1 | Data.Promotion.Prelude.List |
| ZipWith7Sym2 | Data.Promotion.Prelude.List |
| ZipWith7Sym3 | Data.Promotion.Prelude.List |
| ZipWith7Sym4 | Data.Promotion.Prelude.List |
| ZipWith7Sym5 | Data.Promotion.Prelude.List |
| ZipWith7Sym6 | Data.Promotion.Prelude.List |
| ZipWith7Sym7 | Data.Promotion.Prelude.List |
| ZipWith7Sym8 | Data.Promotion.Prelude.List |
| ZipWithSym0 | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| ZipWithSym1 | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| ZipWithSym2 | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| ZipWithSym3 | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |