| $ | Data.Singletons.Prelude.Base, Data.Singletons.Prelude.Function, Data.Promotion.Prelude.Function, 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.Function, Data.Promotion.Prelude.Function, Data.Promotion.Prelude.Base, Data.Singletons.Prelude, Data.Promotion.Prelude |
| $$$ | Data.Singletons.Prelude.Base, Data.Singletons.Prelude.Function, Data.Promotion.Prelude.Function, Data.Promotion.Prelude.Base, Data.Singletons.Prelude, Data.Promotion.Prelude |
| $$$$ | Data.Singletons.Prelude.Base, Data.Singletons.Prelude.Function, Data.Promotion.Prelude.Function, Data.Promotion.Prelude.Base, Data.Singletons.Prelude, Data.Promotion.Prelude |
| %$ | Data.Singletons.Prelude.Base, Data.Singletons.Prelude.Function, Data.Singletons.Prelude |
| %$! | Data.Singletons.Prelude.Base, Data.Singletons.Prelude |
| %:!! | |
| 1 (Function) | Data.Singletons.Prelude.List |
| 2 (Function) | Data.Singletons.Prelude.List.NonEmpty |
| %:& | Data.Singletons.Prelude.Function |
| %:&& | Data.Singletons.Prelude.Bool, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| %:* | 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.Function, Data.Singletons.Prelude |
| %:/= | Data.Singletons.Prelude.Eq, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| %:< | Data.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude |
| %:<= | Data.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude |
| %:<| | Data.Singletons.Prelude.List.NonEmpty |
| %:== | Data.Singletons.Prelude.Eq, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| %:> | 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.Prelude, Data.Singletons.CustomStar |
| %~ | Data.Singletons.Decide, Data.Singletons.TH |
| :!! | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| :!!$ | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| :!!$$ | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| :!!$$$ | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| :$ | 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.List.NonEmpty |
| :& | Data.Singletons.Prelude.Function, Data.Promotion.Prelude.Function |
| :&$ | Data.Singletons.Prelude.Function, Data.Promotion.Prelude.Function |
| :&$$ | Data.Singletons.Prelude.Function, Data.Promotion.Prelude.Function |
| :&$$$ | Data.Singletons.Prelude.Function, Data.Promotion.Prelude.Function |
| :&& | Data.Singletons.Prelude.Bool, Data.Promotion.Prelude.Bool, Data.Singletons.TH, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| :&&$ | Data.Singletons.Prelude.Bool, Data.Promotion.Prelude.Bool, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Singletons.CustomStar |
| :&&$$ | Data.Singletons.Prelude.Bool, Data.Promotion.Prelude.Bool, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Singletons.CustomStar |
| :&&$$$ | Data.Singletons.Prelude.Bool, Data.Promotion.Prelude.Bool, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Singletons.CustomStar |
| :* | Data.Singletons.Prelude.Num, Data.Promotion.Prelude.Num, Data.Singletons.Prelude, Data.Promotion.Prelude |
| :*$ | Data.Singletons.Prelude.Num, Data.Promotion.Prelude.Num, Data.Singletons.Prelude, Data.Promotion.Prelude |
| :*$$ | Data.Singletons.Prelude.Num, Data.Promotion.Prelude.Num, Data.Singletons.Prelude, Data.Promotion.Prelude |
| :*$$$ | Data.Singletons.Prelude.Num, Data.Promotion.Prelude.Num, Data.Singletons.Prelude, Data.Promotion.Prelude |
| :+ | Data.Singletons.Prelude.Num, Data.Promotion.Prelude.Num, Data.Singletons.Prelude, Data.Promotion.Prelude |
| :+$ | Data.Singletons.Prelude.Num, Data.Promotion.Prelude.Num, Data.Singletons.Prelude, Data.Promotion.Prelude |
| :+$$ | Data.Singletons.Prelude.Num, Data.Promotion.Prelude.Num, Data.Singletons.Prelude, Data.Promotion.Prelude |
| :+$$$ | Data.Singletons.Prelude.Num, Data.Promotion.Prelude.Num, Data.Singletons.Prelude, 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.Promotion.Prelude.Num, Data.Singletons.Prelude, Data.Promotion.Prelude |
| :-$ | Data.Singletons.Prelude.Num, Data.Promotion.Prelude.Num, Data.Singletons.Prelude, Data.Promotion.Prelude |
| :-$$ | Data.Singletons.Prelude.Num, Data.Promotion.Prelude.Num, Data.Singletons.Prelude, Data.Promotion.Prelude |
| :-$$$ | Data.Singletons.Prelude.Num, Data.Promotion.Prelude.Num, Data.Singletons.Prelude, Data.Promotion.Prelude |
| :. | Data.Singletons.Prelude.Base, Data.Singletons.Prelude.Function, Data.Promotion.Prelude.Function, Data.Promotion.Prelude.Base, Data.Singletons.Prelude, Data.Promotion.Prelude |
| :.$ | Data.Singletons.Prelude.Base, Data.Singletons.Prelude.Function, Data.Promotion.Prelude.Function, Data.Promotion.Prelude.Base, Data.Singletons.Prelude, Data.Promotion.Prelude |
| :.$$ | Data.Singletons.Prelude.Base, Data.Singletons.Prelude.Function, Data.Promotion.Prelude.Function, Data.Promotion.Prelude.Base, Data.Singletons.Prelude, Data.Promotion.Prelude |
| :.$$$ | Data.Singletons.Prelude.Base, Data.Singletons.Prelude.Function, Data.Promotion.Prelude.Function, Data.Promotion.Prelude.Base, Data.Singletons.Prelude, Data.Promotion.Prelude |
| :.$$$$ | Data.Singletons.Prelude.Base, Data.Singletons.Prelude.Function, Data.Promotion.Prelude.Function, Data.Promotion.Prelude.Base |
| :/= | Data.Singletons.Prelude.Eq, Data.Singletons.TH, Data.Singletons.Prelude, Data.Promotion.Prelude.Eq, Data.Promotion.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| :/=$ | Data.Singletons.Prelude.Eq, Data.Singletons.Prelude, Data.Promotion.Prelude.Eq, Data.Promotion.Prelude, Data.Singletons.CustomStar |
| :/=$$ | Data.Singletons.Prelude.Eq, Data.Singletons.Prelude, Data.Promotion.Prelude.Eq, Data.Promotion.Prelude, Data.Singletons.CustomStar |
| :/=$$$ | Data.Singletons.Prelude.Eq, Data.Singletons.Prelude, Data.Promotion.Prelude.Eq, Data.Promotion.Prelude, Data.Singletons.CustomStar |
| :< | Data.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Promotion.Prelude.Ord, 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.Singletons.TH, Data.Promotion.Prelude.Ord, 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.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| :<|$ | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| :<|$$ | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| :<|$$$ | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| :== | Data.Singletons.Prelude.Eq, Data.Singletons.TH, Data.Singletons.Prelude, Data.Promotion.Prelude.Eq, Data.Promotion.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| :==$ | Data.Singletons.Prelude.Eq, Data.Singletons.Prelude, Data.Promotion.Prelude.Eq, Data.Promotion.Prelude, Data.Singletons.CustomStar |
| :==$$ | Data.Singletons.Prelude.Eq, Data.Singletons.Prelude, Data.Promotion.Prelude.Eq, Data.Promotion.Prelude, Data.Singletons.CustomStar |
| :==$$$ | Data.Singletons.Prelude.Eq, Data.Singletons.Prelude, Data.Promotion.Prelude.Eq, Data.Promotion.Prelude, Data.Singletons.CustomStar |
| :> | Data.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Promotion.Prelude.Ord, 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.Singletons.TH, Data.Promotion.Prelude.Ord, 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.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| :|$$ | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| :|$$$ | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| :|| | Data.Singletons.Prelude.Bool, Data.Promotion.Prelude.Bool, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Singletons.CustomStar |
| :||$ | Data.Singletons.Prelude.Bool, Data.Promotion.Prelude.Bool, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Singletons.CustomStar |
| :||$$ | Data.Singletons.Prelude.Bool, Data.Promotion.Prelude.Bool, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Singletons.CustomStar |
| :||$$$ | Data.Singletons.Prelude.Bool, Data.Promotion.Prelude.Bool, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Singletons.CustomStar |
| :~: | Data.Singletons.Decide, Data.Singletons.TH |
| @@ | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Promotion.TH |
| Abs | Data.Singletons.Prelude.Num, Data.Promotion.Prelude.Num, Data.Singletons.Prelude, Data.Promotion.Prelude |
| AbsSym0 | Data.Singletons.Prelude.Num, Data.Promotion.Prelude.Num, Data.Singletons.Prelude, Data.Promotion.Prelude |
| AbsSym1 | Data.Singletons.Prelude.Num, Data.Promotion.Prelude.Num, Data.Singletons.Prelude, 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.Promotion.Prelude.Bool, Data.Singletons.CustomStar |
| bool_ | Data.Singletons.Prelude.Bool, Data.Promotion.Prelude.Bool, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| Bool_Sym0 | Data.Singletons.Prelude.Bool, Data.Promotion.Prelude.Bool, Data.Singletons.CustomStar |
| Bool_Sym1 | Data.Singletons.Prelude.Bool, Data.Promotion.Prelude.Bool, Data.Singletons.CustomStar |
| Bool_Sym2 | Data.Singletons.Prelude.Bool, Data.Promotion.Prelude.Bool, Data.Singletons.CustomStar |
| Bool_Sym3 | Data.Singletons.Prelude.Bool, Data.Promotion.Prelude.Bool, Data.Singletons.CustomStar |
| Break | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| BreakSym0 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| BreakSym1 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| BreakSym2 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| 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.Singletons.TH, Data.Promotion.Prelude.Ord, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| CompareSym0 | Data.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Promotion.Prelude.Ord, 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 |
| Comparing | Data.Singletons.Prelude.Ord, Data.Singletons.Prelude |
| ComparingSym0 | Data.Singletons.Prelude.Ord, Data.Singletons.Prelude |
| ComparingSym1 | Data.Singletons.Prelude.Ord, Data.Singletons.Prelude |
| ComparingSym2 | Data.Singletons.Prelude.Ord, Data.Singletons.Prelude |
| ComparingSym3 | Data.Singletons.Prelude.Ord, Data.Singletons.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 |
| Cons | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| ConsSym0 | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| ConsSym1 | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| ConsSym2 | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| Const | Data.Singletons.Prelude.Base, Data.Singletons.Prelude.Function, Data.Promotion.Prelude.Function, Data.Promotion.Prelude.Base, Data.Singletons.Prelude, Data.Promotion.Prelude |
| ConstSym0 | Data.Singletons.Prelude.Base, Data.Singletons.Prelude.Function, Data.Promotion.Prelude.Function, Data.Promotion.Prelude.Base, Data.Singletons.Prelude, Data.Promotion.Prelude |
| ConstSym1 | Data.Singletons.Prelude.Base, Data.Singletons.Prelude.Function, Data.Promotion.Prelude.Function, Data.Promotion.Prelude.Base, Data.Singletons.Prelude, Data.Promotion.Prelude |
| ConstSym2 | Data.Singletons.Prelude.Base, Data.Singletons.Prelude.Function, Data.Promotion.Prelude.Function, 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 |
| Disproved | Data.Singletons.Decide, Data.Singletons.TH |
| Drop | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| DropSym0 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| DropSym1 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| DropSym2 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| DropWhile | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| 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 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| DropWhileSym1 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| DropWhileSym2 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| 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.Singletons.TH, Data.Promotion.Prelude.Ord, 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.Promotion.Prelude.Bool, Data.Singletons.TH, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| Filter | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| FilterSym0 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| FilterSym1 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| FilterSym2 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| 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.Singletons.Prelude.Function, Data.Promotion.Prelude.Function, Data.Promotion.Prelude.Base, Data.Singletons.Prelude, Data.Promotion.Prelude |
| FlipSym0 | Data.Singletons.Prelude.Base, Data.Singletons.Prelude.Function, Data.Promotion.Prelude.Function, Data.Promotion.Prelude.Base, Data.Singletons.Prelude, Data.Promotion.Prelude |
| FlipSym1 | Data.Singletons.Prelude.Base, Data.Singletons.Prelude.Function, Data.Promotion.Prelude.Function, Data.Promotion.Prelude.Base, Data.Singletons.Prelude, Data.Promotion.Prelude |
| FlipSym2 | Data.Singletons.Prelude.Base, Data.Singletons.Prelude.Function, Data.Promotion.Prelude.Function, Data.Promotion.Prelude.Base, Data.Singletons.Prelude, Data.Promotion.Prelude |
| FlipSym3 | Data.Singletons.Prelude.Base, Data.Singletons.Prelude.Function, Data.Promotion.Prelude.Function, 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.Promotion.Prelude.Num, Data.Singletons.Prelude, Data.Promotion.Prelude |
| FromIntegerSym0 | Data.Singletons.Prelude.Num, Data.Promotion.Prelude.Num, Data.Singletons.Prelude, Data.Promotion.Prelude |
| FromIntegerSym1 | Data.Singletons.Prelude.Num, Data.Promotion.Prelude.Num, Data.Singletons.Prelude, 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 |
| FromList | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| FromListSym0 | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| FromListSym1 | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| 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 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| Group1 | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| Group1Sym0 | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| Group1Sym1 | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| GroupAllWith | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| GroupAllWith1 | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| GroupAllWith1Sym0 | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| GroupAllWith1Sym1 | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| GroupAllWith1Sym2 | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| GroupAllWithSym0 | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| GroupAllWithSym1 | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| GroupAllWithSym2 | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| GroupBy | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| GroupBy1 | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| GroupBy1Sym0 | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| GroupBy1Sym1 | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| GroupBy1Sym2 | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| GroupBySym0 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| GroupBySym1 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| GroupBySym2 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| GroupSym0 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| GroupSym1 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| GroupWith | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| GroupWith1 | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| GroupWith1Sym0 | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| GroupWith1Sym1 | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| GroupWith1Sym2 | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| GroupWithSym0 | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| GroupWithSym1 | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| GroupWithSym2 | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| GTSym0 | Data.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Promotion.Prelude.Ord, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| Head | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| HeadSym0 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| HeadSym1 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| Id | Data.Singletons.Prelude.Base, Data.Singletons.Prelude.Function, Data.Promotion.Prelude.Function, Data.Promotion.Prelude.Base, Data.Singletons.Prelude, Data.Promotion.Prelude |
| IdSym0 | Data.Singletons.Prelude.Base, Data.Singletons.Prelude.Function, Data.Promotion.Prelude.Function, Data.Promotion.Prelude.Base, Data.Singletons.Prelude, Data.Promotion.Prelude |
| IdSym1 | Data.Singletons.Prelude.Base, Data.Singletons.Prelude.Function, Data.Promotion.Prelude.Function, Data.Promotion.Prelude.Base, Data.Singletons.Prelude, Data.Promotion.Prelude |
| If | Data.Singletons.Prelude.Bool, Data.Promotion.Prelude.Bool, Data.Singletons.TH, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| Init | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| Inits | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| InitsSym0 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| InitsSym1 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| InitSym0 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| InitSym1 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| Insert | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| 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 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| InsertSym1 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| InsertSym2 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| 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 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| IntersperseSym0 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| IntersperseSym1 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| IntersperseSym2 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| 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 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| IsPrefixOfSym0 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| IsPrefixOfSym1 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| IsPrefixOfSym2 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| 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 |
| KnownNatSym0 | Data.Singletons.TypeLits |
| KnownNatSym1 | Data.Singletons.TypeLits |
| KnownSymbol | Data.Singletons.TypeLits |
| KnownSymbolSym0 | Data.Singletons.TypeLits |
| KnownSymbolSym1 | Data.Singletons.TypeLits |
| Last | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| LastSym0 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| LastSym1 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| 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 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| LengthSym0 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| LengthSym1 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| 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.Singletons.Prelude, 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.Singletons.TH, Data.Promotion.Prelude.Ord, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| Map | |
| 1 (Type/Class) | Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| 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 | |
| 1 (Type/Class) | Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| MapSym1 | |
| 1 (Type/Class) | Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| MapSym2 | |
| 1 (Type/Class) | Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| Max | Data.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Promotion.Prelude.Ord, 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.Singletons.TH, Data.Promotion.Prelude.Ord, 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.Promotion.Prelude.Num, Data.Singletons.Prelude, Data.Promotion.Prelude |
| NegateSym0 | Data.Singletons.Prelude.Num, Data.Promotion.Prelude.Num, Data.Singletons.Prelude, Data.Promotion.Prelude |
| NegateSym1 | Data.Singletons.Prelude.Num, Data.Promotion.Prelude.Num, Data.Singletons.Prelude, Data.Promotion.Prelude |
| NilSym0 | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| NonEmpty_ | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| NonEmpty_Sym0 | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| NonEmpty_Sym1 | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| Not | Data.Singletons.Prelude.Bool, Data.Promotion.Prelude.Bool, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Singletons.CustomStar |
| 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.Promotion.Prelude.Bool, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Singletons.CustomStar |
| NotSym1 | Data.Singletons.Prelude.Bool, Data.Promotion.Prelude.Bool, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Singletons.CustomStar |
| Nub | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| NubBy | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| NubBySym0 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| NubBySym1 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| NubBySym2 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| NubSym0 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| NubSym1 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| 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 |
| On | Data.Singletons.Prelude.Function, Data.Promotion.Prelude.Function |
| OnSym0 | Data.Singletons.Prelude.Function, Data.Promotion.Prelude.Function |
| OnSym1 | Data.Singletons.Prelude.Function, Data.Promotion.Prelude.Function |
| OnSym2 | Data.Singletons.Prelude.Function, Data.Promotion.Prelude.Function |
| OnSym3 | Data.Singletons.Prelude.Function, Data.Promotion.Prelude.Function |
| OnSym4 | Data.Singletons.Prelude.Function, Data.Promotion.Prelude.Function |
| 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.Promotion.Prelude.Bool, Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Singletons.CustomStar |
| OtherwiseSym0 | Data.Singletons.Prelude.Bool, Data.Promotion.Prelude.Bool, Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Singletons.CustomStar |
| Partition | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| PartitionEithers | Data.Singletons.Prelude.Either, Data.Promotion.Prelude.Either |
| PartitionSym0 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| PartitionSym1 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| PartitionSym2 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| 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.TH, Data.Singletons.Prelude, Data.Promotion.Prelude.Eq, Data.Promotion.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| 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.Promotion.Prelude.Num, Data.Singletons.Prelude, Data.Promotion.Prelude |
| POrd | Data.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Promotion.Prelude.Ord, 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, Data.Singletons.TH, Data.Singletons.Prelude, Data.Promotion.TH |
| 2 (Type/Class) | Data.Singletons, Data.Singletons.TH, Data.Singletons.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 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| ReverseSym0 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| ReverseSym1 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| 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 |
| SameKind | Data.Singletons, Data.Singletons.TH, 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.Prelude, Data.Singletons.CustomStar |
| sBool_ | Data.Singletons.Prelude.Bool, Data.Singletons.CustomStar |
| SBounded | Data.Singletons.Prelude.Enum, Data.Singletons.Prelude |
| sBreak | |
| 1 (Function) | Data.Singletons.Prelude.List |
| 2 (Function) | Data.Singletons.Prelude.List.NonEmpty |
| Scanl | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| Scanl1 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| Scanl1Sym0 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| Scanl1Sym1 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| Scanl1Sym2 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| ScanlSym0 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| ScanlSym1 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| ScanlSym2 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| ScanlSym3 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| Scanr | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| Scanr1 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| Scanr1Sym0 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| Scanr1Sym1 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| Scanr1Sym2 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| ScanrSym0 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| ScanrSym1 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| ScanrSym2 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| ScanrSym3 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| sCases | Data.Singletons.TH |
| sCatMaybes | Data.Singletons.Prelude.Maybe |
| sCompare | Data.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude |
| sComparing | Data.Singletons.Prelude.Ord, 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 |
| sCons | Data.Singletons.Prelude.List.NonEmpty |
| sConst | Data.Singletons.Prelude.Base, Data.Singletons.Prelude.Function, 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 | |
| 1 (Function) | Data.Singletons.Prelude.List |
| 2 (Function) | Data.Singletons.Prelude.List.NonEmpty |
| sDropWhile | |
| 1 (Function) | Data.Singletons.Prelude.List |
| 2 (Function) | Data.Singletons.Prelude.List.NonEmpty |
| 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.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| 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.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| sFilter | |
| 1 (Function) | Data.Singletons.Prelude.List |
| 2 (Function) | Data.Singletons.Prelude.List.NonEmpty |
| sFind | Data.Singletons.Prelude.List |
| sFindIndex | Data.Singletons.Prelude.List |
| sFindIndices | Data.Singletons.Prelude.List |
| sFlip | Data.Singletons.Prelude.Base, Data.Singletons.Prelude.Function, 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 |
| sFromList | Data.Singletons.Prelude.List.NonEmpty |
| sFromMaybe | Data.Singletons.Prelude.Maybe |
| sFst | Data.Singletons.Prelude.Tuple, Data.Singletons.Prelude |
| sGenericLength | Data.Singletons.Prelude.List |
| sGroup | |
| 1 (Function) | Data.Singletons.Prelude.List |
| 2 (Function) | Data.Singletons.Prelude.List.NonEmpty |
| sGroup1 | Data.Singletons.Prelude.List.NonEmpty |
| sGroupAllWith | Data.Singletons.Prelude.List.NonEmpty |
| sGroupAllWith1 | Data.Singletons.Prelude.List.NonEmpty |
| sGroupBy | |
| 1 (Function) | Data.Singletons.Prelude.List |
| 2 (Function) | Data.Singletons.Prelude.List.NonEmpty |
| sGroupBy1 | Data.Singletons.Prelude.List.NonEmpty |
| sGroupWith | Data.Singletons.Prelude.List.NonEmpty |
| sGroupWith1 | Data.Singletons.Prelude.List.NonEmpty |
| SGT | Data.Singletons.Prelude.Ord, Data.Singletons.Prelude |
| sHead | |
| 1 (Function) | Data.Singletons.Prelude.List, Data.Singletons.Prelude |
| 2 (Function) | Data.Singletons.Prelude.List.NonEmpty |
| sId | Data.Singletons.Prelude.Base, Data.Singletons.Prelude.Function, Data.Singletons.Prelude |
| sIf | Data.Singletons.Prelude.Bool, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| Signum | Data.Singletons.Prelude.Num, Data.Promotion.Prelude.Num, Data.Singletons.Prelude, Data.Promotion.Prelude |
| SignumSym0 | Data.Singletons.Prelude.Num, Data.Promotion.Prelude.Num, Data.Singletons.Prelude, Data.Promotion.Prelude |
| SignumSym1 | Data.Singletons.Prelude.Num, Data.Promotion.Prelude.Num, Data.Singletons.Prelude, Data.Promotion.Prelude |
| Sing | Data.Singletons, Data.Singletons.Prelude.Bool, Data.Singletons.TypeRepStar, Data.Singletons.Prelude.Ord, Data.Singletons.TypeLits, Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Singletons.Prelude.Maybe, Data.Singletons.Prelude.Either, Data.Singletons.Prelude.List, Data.Singletons.Prelude.List.NonEmpty, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| 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 | |
| 1 (Function) | Data.Singletons.Prelude.List, Data.Singletons.Prelude |
| 2 (Function) | Data.Singletons.Prelude.List.NonEmpty |
| sInits | |
| 1 (Function) | Data.Singletons.Prelude.List |
| 2 (Function) | Data.Singletons.Prelude.List.NonEmpty |
| sInsert | |
| 1 (Function) | Data.Singletons.Prelude.List |
| 2 (Function) | Data.Singletons.Prelude.List.NonEmpty |
| sInsertBy | Data.Singletons.Prelude.List |
| sIntercalate | Data.Singletons.Prelude.List |
| sIntersect | Data.Singletons.Prelude.List |
| sIntersectBy | Data.Singletons.Prelude.List |
| sIntersperse | |
| 1 (Function) | Data.Singletons.Prelude.List |
| 2 (Function) | Data.Singletons.Prelude.List.NonEmpty |
| sIsInfixOf | Data.Singletons.Prelude.List |
| sIsJust | Data.Singletons.Prelude.Maybe |
| sIsLeft | Data.Singletons.Prelude.Either |
| sIsNothing | Data.Singletons.Prelude.Maybe |
| sIsPrefixOf | |
| 1 (Function) | Data.Singletons.Prelude.List |
| 2 (Function) | Data.Singletons.Prelude.List.NonEmpty |
| 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 | |
| 1 (Function) | Data.Singletons.Prelude.List, Data.Singletons.Prelude |
| 2 (Function) | Data.Singletons.Prelude.List.NonEmpty |
| SLeft | Data.Singletons.Prelude.Either, Data.Singletons.Prelude |
| sLefts | Data.Singletons.Prelude.Either |
| sLength | |
| 1 (Function) | Data.Singletons.Prelude.List |
| 2 (Function) | Data.Singletons.Prelude.List.NonEmpty |
| SList | Data.Singletons.Prelude.List, Data.Singletons.Prelude |
| sListToMaybe | Data.Singletons.Prelude.Maybe |
| sLookup | Data.Singletons.Prelude.List, Data.Singletons.Prelude |
| SLT | Data.Singletons.Prelude.Ord, Data.Singletons.Prelude |
| sMap | |
| 1 (Function) | Data.Singletons.Prelude.Base, Data.Singletons.Prelude.List, Data.Singletons.Prelude |
| 2 (Function) | Data.Singletons.Prelude.List.NonEmpty |
| 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 | |
| 1 (Type/Class) | Data.Singletons.TypeLits |
| 2 (Data Constructor) | 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 |
| SNonEmpty | Data.Singletons.Prelude.List.NonEmpty |
| sNonEmpty_ | Data.Singletons.Prelude.List.NonEmpty |
| sNot | Data.Singletons.Prelude.Bool, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| sNotElem | Data.Singletons.Prelude.List, Data.Singletons.Prelude |
| SNothing | Data.Singletons.Prelude.Maybe, Data.Singletons.Prelude |
| sNub | |
| 1 (Function) | Data.Singletons.Prelude.List |
| 2 (Function) | Data.Singletons.Prelude.List.NonEmpty |
| sNubBy | |
| 1 (Function) | Data.Singletons.Prelude.List |
| 2 (Function) | Data.Singletons.Prelude.List.NonEmpty |
| 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 |
| sOn | Data.Singletons.Prelude.Function |
| sOr | Data.Singletons.Prelude.List, Data.Singletons.Prelude |
| SOrd | Data.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude |
| SOrdering | Data.Singletons.Prelude |
| Sort | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| SortBy | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| SortBySym0 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| SortBySym1 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| SortBySym2 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| SortSym0 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| SortSym1 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| SortWith | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| SortWithSym0 | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| SortWithSym1 | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| SortWithSym2 | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| sOtherwise | Data.Singletons.Prelude.Bool, Data.Singletons.Prelude.Base, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| Span | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| SpanSym0 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| SpanSym1 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| SpanSym2 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| sPartition | |
| 1 (Function) | Data.Singletons.Prelude.List |
| 2 (Function) | Data.Singletons.Prelude.List.NonEmpty |
| sPartitionEithers | Data.Singletons.Prelude.Either |
| sPermutations | Data.Singletons.Prelude.List |
| SplitAt | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| SplitAtSym0 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| SplitAtSym1 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| SplitAtSym2 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| sPred | Data.Singletons.Prelude.Enum |
| sProduct | Data.Singletons.Prelude.List |
| sReplicate | Data.Singletons.Prelude.List |
| sReverse | |
| 1 (Function) | Data.Singletons.Prelude.List, Data.Singletons.Prelude |
| 2 (Function) | Data.Singletons.Prelude.List.NonEmpty |
| SRight | Data.Singletons.Prelude.Either, Data.Singletons.Prelude |
| sRights | Data.Singletons.Prelude.Either |
| sScanl | |
| 1 (Function) | Data.Singletons.Prelude.List, Data.Singletons.Prelude |
| 2 (Function) | Data.Singletons.Prelude.List.NonEmpty |
| sScanl1 | |
| 1 (Function) | Data.Singletons.Prelude.List, Data.Singletons.Prelude |
| 2 (Function) | Data.Singletons.Prelude.List.NonEmpty |
| sScanr | |
| 1 (Function) | Data.Singletons.Prelude.List, Data.Singletons.Prelude |
| 2 (Function) | Data.Singletons.Prelude.List.NonEmpty |
| sScanr1 | |
| 1 (Function) | Data.Singletons.Prelude.List, Data.Singletons.Prelude |
| 2 (Function) | Data.Singletons.Prelude.List.NonEmpty |
| 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 | |
| 1 (Function) | Data.Singletons.Prelude.List |
| 2 (Function) | Data.Singletons.Prelude.List.NonEmpty |
| sSortBy | |
| 1 (Function) | Data.Singletons.Prelude.List |
| 2 (Function) | Data.Singletons.Prelude.List.NonEmpty |
| sSortWith | Data.Singletons.Prelude.List.NonEmpty |
| sSpan | |
| 1 (Function) | Data.Singletons.Prelude.List |
| 2 (Function) | Data.Singletons.Prelude.List.NonEmpty |
| sSplitAt | |
| 1 (Function) | Data.Singletons.Prelude.List |
| 2 (Function) | Data.Singletons.Prelude.List.NonEmpty |
| 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 |
| SSym | Data.Singletons.TypeLits |
| SSymbol | Data.Singletons.TypeLits |
| sTail | |
| 1 (Function) | Data.Singletons.Prelude.List, Data.Singletons.Prelude |
| 2 (Function) | Data.Singletons.Prelude.List.NonEmpty |
| sTails | |
| 1 (Function) | Data.Singletons.Prelude.List |
| 2 (Function) | Data.Singletons.Prelude.List.NonEmpty |
| sTake | |
| 1 (Function) | Data.Singletons.Prelude.List |
| 2 (Function) | Data.Singletons.Prelude.List.NonEmpty |
| sTakeWhile | |
| 1 (Function) | Data.Singletons.Prelude.List |
| 2 (Function) | Data.Singletons.Prelude.List.NonEmpty |
| sThenCmp | Data.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude |
| sToEnum | Data.Singletons.Prelude.Enum, Data.Singletons.Prelude |
| sToList | Data.Singletons.Prelude.List.NonEmpty |
| sTranspose | |
| 1 (Function) | Data.Singletons.Prelude.List |
| 2 (Function) | Data.Singletons.Prelude.List.NonEmpty |
| 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.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| 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.Promotion.Prelude.Num, Data.Singletons.Prelude, Data.Promotion.Prelude |
| SubtractSym0 | Data.Singletons.Prelude.Num, Data.Promotion.Prelude.Num, Data.Singletons.Prelude, Data.Promotion.Prelude |
| SubtractSym1 | Data.Singletons.Prelude.Num, Data.Promotion.Prelude.Num, Data.Singletons.Prelude, Data.Promotion.Prelude |
| SubtractSym2 | Data.Singletons.Prelude.Num, Data.Promotion.Prelude.Num, Data.Singletons.Prelude, 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 |
| sUncons | Data.Singletons.Prelude.List.NonEmpty |
| sUncurry | Data.Singletons.Prelude.Tuple, Data.Singletons.Prelude |
| sUnfold | Data.Singletons.Prelude.List.NonEmpty |
| sUnfoldr | |
| 1 (Function) | Data.Singletons.Prelude.List |
| 2 (Function) | Data.Singletons.Prelude.List.NonEmpty |
| sUnion | Data.Singletons.Prelude.List |
| sUnionBy | Data.Singletons.Prelude.List |
| sUnzip | |
| 1 (Function) | Data.Singletons.Prelude.List, Data.Singletons.Prelude |
| 2 (Function) | Data.Singletons.Prelude.List.NonEmpty |
| 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 |
| sXor | Data.Singletons.Prelude.List.NonEmpty |
| Symbol | Data.Singletons.TypeLits, Data.Singletons.Prelude, Data.Promotion.Prelude |
| symbolVal | Data.Singletons.TypeLits |
| sZip | |
| 1 (Function) | Data.Singletons.Prelude.List, Data.Singletons.Prelude |
| 2 (Function) | Data.Singletons.Prelude.List.NonEmpty |
| sZip3 | Data.Singletons.Prelude.List, Data.Singletons.Prelude |
| sZipWith | |
| 1 (Function) | Data.Singletons.Prelude.List, Data.Singletons.Prelude |
| 2 (Function) | Data.Singletons.Prelude.List.NonEmpty |
| sZipWith3 | Data.Singletons.Prelude.List, Data.Singletons.Prelude |
| Tail | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| Tails | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| TailsSym0 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| TailsSym1 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| TailSym0 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| TailSym1 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| Take | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| TakeSym0 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| TakeSym1 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| TakeSym2 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| TakeWhile | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| TakeWhileSym0 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| TakeWhileSym1 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| TakeWhileSym2 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| ThenCmp | Data.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude, Data.Promotion.TH |
| thenCmp | Data.Singletons.Prelude.Ord, Data.Singletons.Prelude |
| ThenCmpSym0 | Data.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude, Data.Promotion.TH |
| ThenCmpSym1 | Data.Singletons.Prelude.Ord, Data.Singletons.Prelude |
| ThenCmpSym2 | Data.Singletons.Prelude.Ord, Data.Singletons.Prelude |
| ToEnum | Data.Singletons.Prelude.Enum, Data.Promotion.Prelude.Enum, Data.Singletons.Prelude, Data.Promotion.Prelude |
| ToEnumSym0 | Data.Singletons.Prelude.Enum, Data.Promotion.Prelude.Enum, Data.Singletons.Prelude, Data.Promotion.Prelude |
| ToEnumSym1 | Data.Singletons.Prelude.Enum, Data.Promotion.Prelude.Enum, Data.Singletons.Prelude, Data.Promotion.Prelude |
| ToList | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| ToListSym0 | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| ToListSym1 | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| toSing | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude |
| Transpose | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| TransposeSym0 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| TransposeSym1 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| TrueSym0 | Data.Singletons.Prelude.Bool, Data.Promotion.Prelude.Bool, Data.Singletons.TH, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| Tuple0Sym0 | Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| Tuple2Sym0 | Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| Tuple2Sym1 | Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| Tuple2Sym2 | Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| Tuple3Sym0 | Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| Tuple3Sym1 | Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| Tuple3Sym2 | Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| Tuple3Sym3 | Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| Tuple4Sym0 | Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| Tuple4Sym1 | Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| Tuple4Sym2 | Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| Tuple4Sym3 | Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| Tuple4Sym4 | Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| Tuple5Sym0 | Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| Tuple5Sym1 | Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| Tuple5Sym2 | Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| Tuple5Sym3 | Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| Tuple5Sym4 | Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| Tuple5Sym5 | Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| Tuple6Sym0 | Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| Tuple6Sym1 | Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| Tuple6Sym2 | Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| Tuple6Sym3 | Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| Tuple6Sym4 | Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| Tuple6Sym5 | Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| Tuple6Sym6 | Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| Tuple7Sym0 | Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| Tuple7Sym1 | Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| Tuple7Sym2 | Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| Tuple7Sym3 | Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| Tuple7Sym4 | Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| Tuple7Sym5 | Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| Tuple7Sym6 | Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| Tuple7Sym7 | Data.Singletons.TH, Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
| TyCon1 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude |
| TyCon2 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude |
| TyCon3 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude |
| TyCon4 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude |
| TyCon5 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude |
| TyCon6 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude |
| TyCon7 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude |
| TyCon8 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude |
| TyFun | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Promotion.TH |
| Uncons | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| UnconsSym0 | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| UnconsSym1 | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| 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 |
| Unfold | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| Unfoldr | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| UnfoldrSym0 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| UnfoldrSym1 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| UnfoldrSym2 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| UnfoldSym0 | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| UnfoldSym1 | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| 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 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| 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 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| UnzipSym1 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| 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 |
| Xor | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| XorSym0 | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| XorSym1 | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| Zip | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| 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 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| ZipSym1 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| ZipSym2 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| ZipWith | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| 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 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| ZipWithSym1 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| ZipWithSym2 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| ZipWithSym3 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| ~> | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude |