| !! | |
| 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.Base, Data.Singletons.Prelude.Function, Data.Promotion.Prelude.Function, Data.Promotion.Prelude.Base, Data.Promotion.Prelude, Data.Singletons.Prelude |
| $! | Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Promotion.Prelude, Data.Singletons.Prelude |
| $!@#@$ | Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Promotion.Prelude, Data.Singletons.Prelude |
| $!@#@$$ | Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Promotion.Prelude, Data.Singletons.Prelude |
| $!@#@$$$ | Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Promotion.Prelude, Data.Singletons.Prelude |
| $@#@$ | Data.Singletons.Prelude.Base, Data.Singletons.Prelude.Function, Data.Promotion.Prelude.Function, Data.Promotion.Prelude.Base, Data.Promotion.Prelude, Data.Singletons.Prelude |
| $@#@$$ | Data.Singletons.Prelude.Base, Data.Singletons.Prelude.Function, Data.Promotion.Prelude.Function, Data.Promotion.Prelude.Base, Data.Promotion.Prelude, Data.Singletons.Prelude |
| $@#@$$$ | Data.Singletons.Prelude.Base, Data.Singletons.Prelude.Function, Data.Promotion.Prelude.Function, Data.Promotion.Prelude.Base, Data.Promotion.Prelude, Data.Singletons.Prelude |
| %!! | |
| 1 (Function) | Data.Singletons.Prelude.List |
| 2 (Function) | Data.Singletons.Prelude.List.NonEmpty |
| %$ | Data.Singletons.Prelude.Base, Data.Singletons.Prelude.Function, Data.Singletons.Prelude |
| %$! | Data.Singletons.Prelude.Base, Data.Singletons.Prelude |
| %& | Data.Singletons.Prelude.Function |
| %&& | Data.Singletons.Prelude.Bool, Data.Singletons.TH, 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.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| %/= | 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.CustomStar |
| %<= | Data.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| %<> | Data.Singletons.TypeLits, Data.Singletons.Prelude.Show, 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.CustomStar |
| %>= | Data.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| %\\ | Data.Singletons.Prelude.List |
| %^ | Data.Singletons.TypeLits, Data.Singletons.Prelude |
| %|| | Data.Singletons.Prelude.Bool, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| %~ | Data.Singletons.Decide, Data.Singletons.TH, Data.Singletons.CustomStar |
| & | Data.Singletons.Prelude.Function, Data.Promotion.Prelude.Function |
| && | Data.Singletons.Prelude.Bool, Data.Promotion.Prelude.Bool, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| &&@#@$ | Data.Singletons.Prelude.Bool, Data.Promotion.Prelude.Bool, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| &&@#@$$ | Data.Singletons.Prelude.Bool, Data.Promotion.Prelude.Bool, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| &&@#@$$$ | Data.Singletons.Prelude.Bool, Data.Promotion.Prelude.Bool, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| &@#@$ | 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.Num, Data.Promotion.Prelude.Num, Data.Promotion.Prelude, Data.Singletons.Prelude |
| *@#@$ | Data.Singletons.Prelude.Num, Data.Promotion.Prelude.Num, Data.Promotion.Prelude, Data.Singletons.Prelude |
| *@#@$$ | Data.Singletons.Prelude.Num, Data.Promotion.Prelude.Num, Data.Promotion.Prelude, Data.Singletons.Prelude |
| *@#@$$$ | Data.Singletons.Prelude.Num, Data.Promotion.Prelude.Num, Data.Promotion.Prelude, Data.Singletons.Prelude |
| + | Data.Singletons.Prelude.Num, Data.Promotion.Prelude.Num, Data.Promotion.Prelude, Data.Singletons.Prelude |
| ++ | Data.Singletons.Prelude.Base, Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude.Base, Data.Promotion.Prelude, Data.Singletons.Prelude |
| ++@#@$ | Data.Singletons.Prelude.Base, Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude.Base, Data.Promotion.Prelude, Data.Singletons.Prelude |
| ++@#@$$ | Data.Singletons.Prelude.Base, Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude.Base, Data.Promotion.Prelude, Data.Singletons.Prelude |
| ++@#@$$$ | Data.Singletons.Prelude.Base, Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude.Base |
| +@#@$ | Data.Singletons.Prelude.Num, Data.Promotion.Prelude.Num, Data.Promotion.Prelude, Data.Singletons.Prelude |
| +@#@$$ | Data.Singletons.Prelude.Num, Data.Promotion.Prelude.Num, Data.Promotion.Prelude, Data.Singletons.Prelude |
| +@#@$$$ | Data.Singletons.Prelude.Num, Data.Promotion.Prelude.Num, Data.Promotion.Prelude, Data.Singletons.Prelude |
| - | Data.Singletons.Prelude.Num, Data.Promotion.Prelude.Num, Data.Promotion.Prelude, Data.Singletons.Prelude |
| -@#@$ | Data.Singletons.Prelude.Num, Data.Promotion.Prelude.Num, Data.Promotion.Prelude, Data.Singletons.Prelude |
| -@#@$$ | Data.Singletons.Prelude.Num, Data.Promotion.Prelude.Num, Data.Promotion.Prelude, Data.Singletons.Prelude |
| -@#@$$$ | Data.Singletons.Prelude.Num, Data.Promotion.Prelude.Num, Data.Promotion.Prelude, Data.Singletons.Prelude |
| .@#@$ | Data.Singletons.Prelude.Base, Data.Singletons.Prelude.Function, Data.Promotion.Prelude.Function, Data.Singletons.TH, Data.Promotion.Prelude.Base, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| .@#@$$ | Data.Singletons.Prelude.Base, Data.Singletons.Prelude.Function, Data.Promotion.Prelude.Function, Data.Singletons.TH, Data.Promotion.Prelude.Base, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| .@#@$$$ | Data.Singletons.Prelude.Base, Data.Singletons.Prelude.Function, Data.Promotion.Prelude.Function, Data.Singletons.TH, Data.Promotion.Prelude.Base, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| .@#@$$$$ | Data.Singletons.Prelude.Base, Data.Singletons.Prelude.Function, Data.Promotion.Prelude.Function, Data.Singletons.TH, Data.Promotion.Prelude.Base, Data.Promotion.TH, Data.Singletons.CustomStar |
| /= | Data.Singletons.Prelude.Eq, Data.Promotion.Prelude.Eq, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| /=@#@$ | Data.Singletons.Prelude.Eq, Data.Promotion.Prelude.Eq, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| /=@#@$$ | Data.Singletons.Prelude.Eq, Data.Promotion.Prelude.Eq, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| /=@#@$$$ | Data.Singletons.Prelude.Eq, Data.Promotion.Prelude.Eq, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| :%| | Data.Singletons.Prelude.List.NonEmpty |
| :&: | Data.Singletons.Sigma |
| :. | Data.Singletons.Prelude.Base, Data.Singletons.Prelude.Function, Data.Promotion.Prelude.Function, Data.Singletons.TH, Data.Promotion.Prelude.Base, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| :@#@$ | Data.Singletons.Prelude.List, Data.Singletons.TH, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| :@#@$$ | Data.Singletons.Prelude.List, Data.Singletons.TH, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| :@#@$$$ | Data.Singletons.Prelude.List, Data.Singletons.TH, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| :|@#@$ | 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.Decide, Data.Singletons.TH, Data.Singletons.CustomStar |
| < | Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| <= | Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| <=@#@$ | Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Promotion.Prelude, Data.Singletons.Prelude |
| <=@#@$$ | Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Promotion.Prelude, Data.Singletons.Prelude |
| <=@#@$$$ | Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Promotion.Prelude, Data.Singletons.Prelude |
| <> | Data.Singletons.TypeLits, Data.Singletons.Prelude.Show, Data.Promotion.Prelude.Show, Data.Promotion.Prelude, Data.Singletons.Prelude |
| <>@#@$ | Data.Singletons.TypeLits, Data.Singletons.Prelude.Show, Data.Promotion.Prelude.Show, Data.Promotion.Prelude, Data.Singletons.Prelude |
| <>@#@$$ | Data.Singletons.TypeLits, Data.Singletons.Prelude.Show, Data.Promotion.Prelude.Show, Data.Promotion.Prelude, Data.Singletons.Prelude |
| <>@#@$$$ | Data.Singletons.TypeLits, Data.Singletons.Prelude.Show, Data.Promotion.Prelude.Show, Data.Promotion.Prelude, Data.Singletons.Prelude |
| <@#@$ | Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Promotion.Prelude, Data.Singletons.Prelude |
| <@#@$$ | Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Promotion.Prelude, Data.Singletons.Prelude |
| <@#@$$$ | Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Promotion.Prelude, Data.Singletons.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.Promotion.Prelude.Eq, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| ==@#@$ | Data.Singletons.Prelude.Eq, Data.Promotion.Prelude.Eq, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| ==@#@$$ | Data.Singletons.Prelude.Eq, Data.Promotion.Prelude.Eq, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| ==@#@$$$ | Data.Singletons.Prelude.Eq, Data.Promotion.Prelude.Eq, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| > | Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| >= | Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| >=@#@$ | Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Promotion.Prelude, Data.Singletons.Prelude |
| >=@#@$$ | Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Promotion.Prelude, Data.Singletons.Prelude |
| >=@#@$$$ | Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Promotion.Prelude, Data.Singletons.Prelude |
| >@#@$ | Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| >@#@$$ | Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| >@#@$$$ | Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| @@ | |
| 1 (Type/Class) | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| 2 (Function) | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| @@@#@$ | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| @@@#@$$ | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| @@@#@$$$ | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| Abs | Data.Singletons.Prelude.Num, Data.Promotion.Prelude.Num, Data.Promotion.Prelude, Data.Singletons.Prelude |
| AbsSym0 | Data.Singletons.Prelude.Num, Data.Promotion.Prelude.Num, Data.Promotion.Prelude, Data.Singletons.Prelude |
| AbsSym1 | Data.Singletons.Prelude.Num, Data.Promotion.Prelude.Num, Data.Promotion.Prelude, Data.Singletons.Prelude |
| Absurd | Data.Singletons.Prelude.Void, Data.Promotion.Prelude.Void |
| AbsurdSym0 | Data.Singletons.Prelude.Void, Data.Promotion.Prelude.Void |
| AbsurdSym1 | Data.Singletons.Prelude.Void, Data.Promotion.Prelude.Void |
| All | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| AllSym0 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| AllSym1 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| AllSym2 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| And | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| AndSym0 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| AndSym1 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| Any | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| AnySym0 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| AnySym1 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| AnySym2 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| Apply | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| applySing | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| ApplySym0 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| ApplySym1 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| ApplySym2 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| AppPrec | Data.Singletons.Prelude.Show, Data.Promotion.Prelude.Show |
| AppPrec1 | Data.Singletons.Prelude.Show, Data.Promotion.Prelude.Show |
| AppPrec1Sym0 | Data.Singletons.Prelude.Show, Data.Promotion.Prelude.Show |
| AppPrecSym0 | Data.Singletons.Prelude.Show, Data.Promotion.Prelude.Show |
| AsTypeOf | Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Promotion.Prelude, Data.Singletons.Prelude |
| AsTypeOfSym0 | Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Promotion.Prelude, Data.Singletons.Prelude |
| AsTypeOfSym1 | Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Promotion.Prelude, Data.Singletons.Prelude |
| AsTypeOfSym2 | Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Promotion.Prelude, Data.Singletons.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, Data.Singletons.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, Data.Singletons.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, Data.Singletons.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, Data.Singletons.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| cases | Data.Singletons.TH, Data.Singletons.CustomStar |
| CatMaybes | Data.Singletons.Prelude.Maybe, Data.Promotion.Prelude.Maybe |
| CatMaybesSym0 | Data.Singletons.Prelude.Maybe, Data.Promotion.Prelude.Maybe |
| CatMaybesSym1 | Data.Singletons.Prelude.Maybe, Data.Promotion.Prelude.Maybe |
| Compare | Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| CompareSym0 | Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| CompareSym1 | Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| CompareSym2 | Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| Comparing | Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Promotion.Prelude, Data.Singletons.Prelude |
| ComparingSym0 | Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Promotion.Prelude, Data.Singletons.Prelude |
| ComparingSym1 | Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Promotion.Prelude, Data.Singletons.Prelude |
| ComparingSym2 | Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Promotion.Prelude, Data.Singletons.Prelude |
| ComparingSym3 | Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Promotion.Prelude, Data.Singletons.Prelude |
| Concat | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| ConcatMap | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| ConcatMapSym0 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| ConcatMapSym1 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| ConcatMapSym2 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| ConcatSym0 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| ConcatSym1 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.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.Promotion.Prelude, Data.Singletons.Prelude |
| ConstSym0 | Data.Singletons.Prelude.Base, Data.Singletons.Prelude.Function, Data.Promotion.Prelude.Function, Data.Promotion.Prelude.Base, Data.Promotion.Prelude, Data.Singletons.Prelude |
| ConstSym1 | Data.Singletons.Prelude.Base, Data.Singletons.Prelude.Function, Data.Promotion.Prelude.Function, Data.Promotion.Prelude.Base, Data.Promotion.Prelude, Data.Singletons.Prelude |
| ConstSym2 | Data.Singletons.Prelude.Base, Data.Singletons.Prelude.Function, Data.Promotion.Prelude.Function, Data.Promotion.Prelude.Base, Data.Promotion.Prelude, Data.Singletons.Prelude |
| Curry | Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Promotion.Prelude, Data.Singletons.Prelude |
| CurrySym0 | Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Promotion.Prelude, Data.Singletons.Prelude |
| CurrySym1 | Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Promotion.Prelude, Data.Singletons.Prelude |
| CurrySym2 | Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Promotion.Prelude, Data.Singletons.Prelude |
| CurrySym3 | Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Promotion.Prelude, Data.Singletons.Prelude |
| Decision | Data.Singletons.Decide, Data.Singletons.TH, Data.Singletons.CustomStar |
| 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, Data.Singletons.CustomStar |
| demote | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| DemoteSym0 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| DemoteSym1 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| Disproved | Data.Singletons.Decide, Data.Singletons.TH, Data.Singletons.CustomStar |
| Div | Data.Singletons.TypeLits |
| DivMod | Data.Singletons.TypeLits |
| DivModSym0 | Data.Singletons.TypeLits |
| DivModSym1 | Data.Singletons.TypeLits |
| DivModSym2 | Data.Singletons.TypeLits |
| DivSym0 | Data.Singletons.TypeLits |
| DivSym1 | Data.Singletons.TypeLits |
| DivSym2 | Data.Singletons.TypeLits |
| Drop | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| DropSym0 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| DropSym1 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| DropSym2 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| 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, Data.Singletons.Prelude |
| DropWhileEndSym1 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Singletons.Prelude |
| DropWhileEndSym2 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Singletons.Prelude |
| DropWhileSym0 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| DropWhileSym1 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| DropWhileSym2 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| Either_ | Data.Singletons.Prelude.Either, Data.Promotion.Prelude.Either, Data.Promotion.Prelude, Data.Singletons.Prelude |
| either_ | Data.Singletons.Prelude.Either, Data.Promotion.Prelude.Either, Data.Promotion.Prelude, Data.Singletons.Prelude |
| Either_Sym0 | Data.Singletons.Prelude.Either, Data.Promotion.Prelude.Either, Data.Promotion.Prelude, Data.Singletons.Prelude |
| Either_Sym1 | Data.Singletons.Prelude.Either, Data.Promotion.Prelude.Either, Data.Promotion.Prelude, Data.Singletons.Prelude |
| Either_Sym2 | Data.Singletons.Prelude.Either, Data.Promotion.Prelude.Either, Data.Promotion.Prelude, Data.Singletons.Prelude |
| Either_Sym3 | Data.Singletons.Prelude.Either, Data.Promotion.Prelude.Either, Data.Promotion.Prelude, Data.Singletons.Prelude |
| Elem | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.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.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| ElemSym1 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| ElemSym2 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| EnumFromThenTo | Data.Singletons.Prelude.Enum, Data.Promotion.Prelude.Enum, Data.Promotion.Prelude, Data.Singletons.Prelude |
| EnumFromThenToSym0 | Data.Singletons.Prelude.Enum, Data.Promotion.Prelude.Enum, Data.Promotion.Prelude, Data.Singletons.Prelude |
| EnumFromThenToSym1 | Data.Singletons.Prelude.Enum, Data.Promotion.Prelude.Enum, Data.Promotion.Prelude, Data.Singletons.Prelude |
| EnumFromThenToSym2 | Data.Singletons.Prelude.Enum, Data.Promotion.Prelude.Enum, Data.Promotion.Prelude, Data.Singletons.Prelude |
| EnumFromThenToSym3 | Data.Singletons.Prelude.Enum, Data.Promotion.Prelude.Enum, Data.Promotion.Prelude, Data.Singletons.Prelude |
| EnumFromTo | Data.Singletons.Prelude.Enum, Data.Promotion.Prelude.Enum, Data.Promotion.Prelude, Data.Singletons.Prelude |
| EnumFromToSym0 | Data.Singletons.Prelude.Enum, Data.Promotion.Prelude.Enum, Data.Promotion.Prelude, Data.Singletons.Prelude |
| EnumFromToSym1 | Data.Singletons.Prelude.Enum, Data.Promotion.Prelude.Enum, Data.Promotion.Prelude, Data.Singletons.Prelude |
| EnumFromToSym2 | Data.Singletons.Prelude.Enum, Data.Promotion.Prelude.Enum, Data.Promotion.Prelude, Data.Singletons.Prelude |
| EQSym0 | Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| Error | Data.Singletons.TypeLits, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| ErrorSym0 | Data.Singletons.TypeLits, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| ErrorSym1 | Data.Singletons.TypeLits, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| FalseSym0 | Data.Singletons.Prelude.Bool, Data.Promotion.Prelude.Bool, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.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.Promotion.Prelude, Data.Singletons.Prelude |
| FlipSym0 | Data.Singletons.Prelude.Base, Data.Singletons.Prelude.Function, Data.Promotion.Prelude.Function, Data.Promotion.Prelude.Base, Data.Promotion.Prelude, Data.Singletons.Prelude |
| FlipSym1 | Data.Singletons.Prelude.Base, Data.Singletons.Prelude.Function, Data.Promotion.Prelude.Function, Data.Promotion.Prelude.Base, Data.Promotion.Prelude, Data.Singletons.Prelude |
| FlipSym2 | Data.Singletons.Prelude.Base, Data.Singletons.Prelude.Function, Data.Promotion.Prelude.Function, Data.Promotion.Prelude.Base, Data.Promotion.Prelude, Data.Singletons.Prelude |
| FlipSym3 | Data.Singletons.Prelude.Base, Data.Singletons.Prelude.Function, Data.Promotion.Prelude.Function, Data.Promotion.Prelude.Base |
| Foldl | Data.Singletons.Prelude.List, Data.Singletons.TH, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| 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.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.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.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| Foldl1Sym1 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| Foldl1Sym2 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| FoldlSym0 | Data.Singletons.Prelude.List, Data.Singletons.TH, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| FoldlSym1 | Data.Singletons.Prelude.List, Data.Singletons.TH, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| FoldlSym2 | Data.Singletons.Prelude.List, Data.Singletons.TH, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| FoldlSym3 | Data.Singletons.Prelude.List, Data.Singletons.TH, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| Foldr | Data.Singletons.Prelude.Base, Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude.Base, Data.Promotion.Prelude, Data.Singletons.Prelude |
| Foldr1 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| Foldr1Sym0 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| Foldr1Sym1 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| Foldr1Sym2 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| FoldrSym0 | Data.Singletons.Prelude.Base, Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude.Base, Data.Promotion.Prelude, Data.Singletons.Prelude |
| FoldrSym1 | Data.Singletons.Prelude.Base, Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude.Base, Data.Promotion.Prelude, Data.Singletons.Prelude |
| FoldrSym2 | Data.Singletons.Prelude.Base, Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude.Base, Data.Promotion.Prelude, Data.Singletons.Prelude |
| FoldrSym3 | Data.Singletons.Prelude.Base, Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude.Base, Data.Promotion.Prelude, Data.Singletons.Prelude |
| FromEnum | Data.Singletons.Prelude.Enum, Data.Promotion.Prelude.Enum, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| FromEnumSym0 | Data.Singletons.Prelude.Enum, Data.Promotion.Prelude.Enum, Data.Promotion.Prelude, Data.Singletons.Prelude |
| FromEnumSym1 | Data.Singletons.Prelude.Enum, Data.Promotion.Prelude.Enum, Data.Promotion.Prelude, Data.Singletons.Prelude |
| FromInteger | Data.Singletons.Prelude.Num, Data.Promotion.Prelude.Num, Data.Promotion.Prelude, Data.Singletons.Prelude |
| FromIntegerSym0 | Data.Singletons.Prelude.Num, Data.Promotion.Prelude.Num, Data.Promotion.Prelude, Data.Singletons.Prelude |
| FromIntegerSym1 | Data.Singletons.Prelude.Num, Data.Promotion.Prelude.Num, Data.Promotion.Prelude, Data.Singletons.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, Data.Singletons.CustomStar |
| fromSing | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| FromString | Data.Singletons.Prelude.IsString, Data.Promotion.Prelude.IsString |
| FromStringSym0 | Data.Singletons.Prelude.IsString, Data.Promotion.Prelude.IsString |
| FromStringSym1 | Data.Singletons.Prelude.IsString, Data.Promotion.Prelude.IsString |
| Fst | Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Promotion.Prelude, Data.Singletons.Prelude |
| FstSym0 | Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Promotion.Prelude, Data.Singletons.Prelude |
| FstSym1 | Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Promotion.Prelude, Data.Singletons.Prelude |
| genDefunSymbols | Data.Singletons.TH, Data.Promotion.TH, Data.Singletons.CustomStar |
| 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, Data.Singletons.CustomStar |
| genSingletons | Data.Singletons.TH, Data.Singletons.CustomStar |
| 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.Promotion.Prelude.Ord, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| Head | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| HeadSym0 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| HeadSym1 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| Id | Data.Singletons.Prelude.Base, Data.Singletons.Prelude.Function, Data.Promotion.Prelude.Function, Data.Promotion.Prelude.Base, Data.Promotion.Prelude, Data.Singletons.Prelude |
| IdSym0 | Data.Singletons.Prelude.Base, Data.Singletons.Prelude.Function, Data.Promotion.Prelude.Function, Data.Promotion.Prelude.Base, Data.Promotion.Prelude, Data.Singletons.Prelude |
| IdSym1 | Data.Singletons.Prelude.Base, Data.Singletons.Prelude.Function, Data.Promotion.Prelude.Function, Data.Promotion.Prelude.Base, Data.Promotion.Prelude, Data.Singletons.Prelude |
| If | Data.Singletons.Prelude.Bool, Data.Promotion.Prelude.Bool, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| Init | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| 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.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| InitSym1 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| 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.Promotion.Prelude, Data.Singletons.Prelude |
| JustSym1 | Data.Singletons.Prelude.Maybe, Data.Promotion.Prelude.Maybe, Data.Promotion.Prelude, Data.Singletons.Prelude |
| KindOf | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| KindOfSym0 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| KindOfSym1 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| 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.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| LastSym0 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| LastSym1 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| 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.Promotion.Prelude, Data.Singletons.Prelude |
| LeftSym1 | Data.Singletons.Prelude.Either, Data.Promotion.Prelude.Either, Data.Promotion.Prelude, Data.Singletons.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 |
| Log2 | Data.Singletons.TypeLits |
| Log2Sym0 | Data.Singletons.TypeLits |
| Log2Sym1 | Data.Singletons.TypeLits |
| Lookup | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| LookupSym0 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| LookupSym1 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| LookupSym2 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude |
| LTSym0 | Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| Map | |
| 1 (Type/Class) | Data.Singletons.Prelude.Base, Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude.Base, Data.Promotion.Prelude, Data.Singletons.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 |
| mapSigma | Data.Singletons.Sigma |
| MapSym0 | |
| 1 (Type/Class) | Data.Singletons.Prelude.Base, Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude.Base, Data.Promotion.Prelude, Data.Singletons.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| MapSym1 | |
| 1 (Type/Class) | Data.Singletons.Prelude.Base, Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude.Base, Data.Promotion.Prelude, Data.Singletons.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| MapSym2 | |
| 1 (Type/Class) | Data.Singletons.Prelude.Base, Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude.Base, Data.Promotion.Prelude, Data.Singletons.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| Max | Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| MaxBound | Data.Singletons.Prelude.Enum, Data.Promotion.Prelude.Enum, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| MaxBoundSym0 | Data.Singletons.Prelude.Enum, Data.Promotion.Prelude.Enum, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| 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.Promotion.Prelude, Data.Singletons.Prelude |
| MaxSym1 | Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Promotion.Prelude, Data.Singletons.Prelude |
| MaxSym2 | Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Promotion.Prelude, Data.Singletons.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.Promotion.Prelude, Data.Singletons.Prelude |
| maybe_ | Data.Singletons.Prelude.Maybe, Data.Promotion.Prelude.Maybe, Data.Promotion.Prelude, Data.Singletons.Prelude |
| Maybe_Sym0 | Data.Singletons.Prelude.Maybe, Data.Promotion.Prelude.Maybe, Data.Promotion.Prelude, Data.Singletons.Prelude |
| Maybe_Sym1 | Data.Singletons.Prelude.Maybe, Data.Promotion.Prelude.Maybe, Data.Promotion.Prelude, Data.Singletons.Prelude |
| Maybe_Sym2 | Data.Singletons.Prelude.Maybe, Data.Promotion.Prelude.Maybe, Data.Promotion.Prelude, Data.Singletons.Prelude |
| Maybe_Sym3 | Data.Singletons.Prelude.Maybe, Data.Promotion.Prelude.Maybe, Data.Promotion.Prelude, Data.Singletons.Prelude |
| Min | Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| MinBound | Data.Singletons.Prelude.Enum, Data.Promotion.Prelude.Enum, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| MinBoundSym0 | Data.Singletons.Prelude.Enum, Data.Promotion.Prelude.Enum, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| 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.Promotion.Prelude, Data.Singletons.Prelude |
| MinSym1 | Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Promotion.Prelude, Data.Singletons.Prelude |
| MinSym2 | Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Promotion.Prelude, Data.Singletons.Prelude |
| Mod | Data.Singletons.TypeLits |
| ModSym0 | Data.Singletons.TypeLits |
| ModSym1 | Data.Singletons.TypeLits |
| ModSym2 | Data.Singletons.TypeLits |
| Nat | Data.Singletons.TypeLits |
| natVal | Data.Singletons.TypeLits |
| Negate | Data.Singletons.Prelude.Num, Data.Promotion.Prelude.Num, Data.Promotion.Prelude, Data.Singletons.Prelude |
| NegateSym0 | Data.Singletons.Prelude.Num, Data.Promotion.Prelude.Num, Data.Promotion.Prelude, Data.Singletons.Prelude |
| NegateSym1 | Data.Singletons.Prelude.Num, Data.Promotion.Prelude.Num, Data.Promotion.Prelude, Data.Singletons.Prelude |
| NilSym0 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.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.Promotion.Prelude, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| NotElem | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| NotElemSym0 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| NotElemSym1 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| NotElemSym2 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| NothingSym0 | Data.Singletons.Prelude.Maybe, Data.Promotion.Prelude.Maybe, Data.Promotion.Prelude, Data.Singletons.Prelude |
| NotSym0 | Data.Singletons.Prelude.Bool, Data.Promotion.Prelude.Bool, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| NotSym1 | Data.Singletons.Prelude.Bool, Data.Promotion.Prelude.Bool, Data.Promotion.Prelude, Data.Singletons.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.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| NullSym0 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| NullSym1 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.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.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| OrSym0 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| OrSym1 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| Otherwise | Data.Singletons.Prelude.Bool, Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Bool, Data.Promotion.Prelude.Base, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| OtherwiseSym0 | Data.Singletons.Prelude.Bool, Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Bool, Data.Promotion.Prelude.Base, Data.Promotion.Prelude, Data.Singletons.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.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| PEnum | Data.Singletons.Prelude.Enum, Data.Promotion.Prelude.Enum, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| PEq | Data.Singletons.Prelude.Eq, Data.Promotion.Prelude.Eq, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.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 |
| PIsString | Data.Singletons.Prelude.IsString, Data.Promotion.Prelude.IsString |
| PNum | Data.Singletons.Prelude.Num, Data.Promotion.Prelude.Num, Data.Promotion.Prelude, Data.Singletons.Prelude |
| POrd | Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| 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 |
| projSigma1 | Data.Singletons.Sigma |
| projSigma2 | Data.Singletons.Sigma |
| promote | Data.Singletons.TH, Data.Promotion.TH, Data.Singletons.CustomStar |
| promoteBoundedInstance | Data.Singletons.TH, Data.Promotion.TH, Data.Singletons.CustomStar |
| promoteBoundedInstances | Data.Singletons.TH, Data.Promotion.TH, Data.Singletons.CustomStar |
| promoteEnumInstance | Data.Singletons.TH, Data.Promotion.TH, Data.Singletons.CustomStar |
| promoteEnumInstances | Data.Singletons.TH, Data.Promotion.TH, Data.Singletons.CustomStar |
| promoteEqInstance | Data.Singletons.TH, Data.Promotion.TH, Data.Singletons.CustomStar |
| promoteEqInstances | Data.Singletons.TH, Data.Promotion.TH, Data.Singletons.CustomStar |
| promoteOnly | Data.Singletons.TH, Data.Promotion.TH, Data.Singletons.CustomStar |
| promoteOrdInstance | Data.Singletons.TH, Data.Promotion.TH, Data.Singletons.CustomStar |
| promoteOrdInstances | Data.Singletons.TH, Data.Promotion.TH, Data.Singletons.CustomStar |
| promoteShowInstance | Data.Singletons.TH, Data.Promotion.TH, Data.Singletons.CustomStar |
| promoteShowInstances | Data.Singletons.TH, Data.Promotion.TH, Data.Singletons.CustomStar |
| Proved | Data.Singletons.Decide, Data.Singletons.TH, Data.Singletons.CustomStar |
| Proxy | |
| 1 (Data Constructor) | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| 2 (Type/Class) | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| PShow | Data.Singletons.Prelude.Show, Data.Promotion.Prelude.Show, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| Quot | Data.Singletons.TypeLits |
| QuotRem | Data.Singletons.TypeLits |
| QuotRemSym0 | Data.Singletons.TypeLits |
| QuotRemSym1 | Data.Singletons.TypeLits |
| QuotRemSym2 | Data.Singletons.TypeLits |
| QuotSym0 | Data.Singletons.TypeLits |
| QuotSym1 | Data.Singletons.TypeLits |
| QuotSym2 | Data.Singletons.TypeLits |
| Refl | Data.Singletons.Decide, Data.Singletons.TH, Data.Singletons.CustomStar |
| Refuted | Data.Singletons.Decide, Data.Singletons.TH, Data.Singletons.CustomStar |
| Rem | Data.Singletons.TypeLits |
| RemSym0 | Data.Singletons.TypeLits |
| RemSym1 | Data.Singletons.TypeLits |
| RemSym2 | Data.Singletons.TypeLits |
| Replicate | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| ReplicateSym0 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| ReplicateSym1 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| ReplicateSym2 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| Reverse | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| ReverseSym0 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| ReverseSym1 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| 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.Promotion.Prelude, Data.Singletons.Prelude |
| RightSym1 | Data.Singletons.Prelude.Either, Data.Promotion.Prelude.Either, Data.Promotion.Prelude, Data.Singletons.Prelude |
| sAbs | Data.Singletons.Prelude.Num, Data.Singletons.Prelude |
| sAbsurd | Data.Singletons.Prelude.Void |
| sAll | Data.Singletons.Prelude.List, Data.Singletons.Prelude |
| SameKind | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| SameKindSym0 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| SameKindSym1 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| SameKindSym2 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| sAnd | Data.Singletons.Prelude.List, Data.Singletons.Prelude |
| sAny | Data.Singletons.Prelude.List, Data.Singletons.Prelude |
| sAppPrec | Data.Singletons.Prelude.Show |
| sAppPrec1 | Data.Singletons.Prelude.Show |
| 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.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| sBreak | |
| 1 (Function) | Data.Singletons.Prelude.List, Data.Singletons.Prelude |
| 2 (Function) | Data.Singletons.Prelude.List.NonEmpty |
| Scanl | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| Scanl1 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| Scanl1Sym0 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| Scanl1Sym1 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| Scanl1Sym2 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| ScanlSym0 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| ScanlSym1 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| ScanlSym2 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| ScanlSym3 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| Scanr | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| Scanr1 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| Scanr1Sym0 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| Scanr1Sym1 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| Scanr1Sym2 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| ScanrSym0 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| ScanrSym1 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| ScanrSym2 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| ScanrSym3 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| sCases | Data.Singletons.TH, Data.Singletons.CustomStar |
| sCatMaybes | Data.Singletons.Prelude.Maybe |
| SChar | Data.Singletons.Prelude.Show, Data.Promotion.Prelude.Show, Data.Promotion.Prelude, Data.Singletons.Prelude |
| sCompare | Data.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| 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, Data.Singletons.CustomStar |
| sDelete | Data.Singletons.Prelude.List |
| sDeleteBy | Data.Singletons.Prelude.List |
| sDeleteFirstsBy | Data.Singletons.Prelude.List |
| sDiv | Data.Singletons.TypeLits |
| sDivMod | Data.Singletons.TypeLits |
| sDrop | |
| 1 (Function) | Data.Singletons.Prelude.List, Data.Singletons.Prelude |
| 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.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| sEnumFromThenTo | Data.Singletons.Prelude.Enum, Data.Singletons.Prelude |
| sEnumFromTo | Data.Singletons.Prelude.Enum, Data.Singletons.Prelude |
| SEQ | Data.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| SEq | Data.Singletons.Prelude.Eq, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| Seq | Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Promotion.Prelude, Data.Singletons.Prelude |
| SeqSym0 | Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Promotion.Prelude, Data.Singletons.Prelude |
| SeqSym1 | Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Promotion.Prelude, Data.Singletons.Prelude |
| SeqSym2 | Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Promotion.Prelude, Data.Singletons.Prelude |
| sError | Data.Singletons.TypeLits, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| 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.Prelude.List, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| 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.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| sFromInteger | Data.Singletons.Prelude.Num, Data.Singletons.Prelude |
| sFromJust | Data.Singletons.Prelude.Maybe |
| sFromList | Data.Singletons.Prelude.List.NonEmpty |
| sFromMaybe | Data.Singletons.Prelude.Maybe |
| sFromString | Data.Singletons.Prelude.IsString |
| 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.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| sHead | |
| 1 (Function) | Data.Singletons.Prelude.List, Data.Singletons.Prelude |
| 2 (Function) | Data.Singletons.Prelude.List.NonEmpty |
| ShowChar | Data.Singletons.Prelude.Show, Data.Promotion.Prelude.Show, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| ShowCharSym0 | Data.Singletons.Prelude.Show, Data.Promotion.Prelude.Show, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| ShowCharSym1 | Data.Singletons.Prelude.Show, Data.Promotion.Prelude.Show, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| ShowCharSym2 | Data.Singletons.Prelude.Show, Data.Promotion.Prelude.Show, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| ShowCommaSpace | Data.Singletons.Prelude.Show, Data.Promotion.Prelude.Show, Data.Singletons.TH, Data.Promotion.TH, Data.Singletons.CustomStar |
| ShowCommaSpaceSym0 | Data.Singletons.Prelude.Show, Data.Promotion.Prelude.Show, Data.Singletons.TH, Data.Promotion.TH, Data.Singletons.CustomStar |
| ShowCommaSpaceSym1 | Data.Singletons.Prelude.Show, Data.Promotion.Prelude.Show, Data.Singletons.TH, Data.Promotion.TH, Data.Singletons.CustomStar |
| ShowList | Data.Singletons.Prelude.Show, Data.Promotion.Prelude.Show, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| ShowListSym0 | Data.Singletons.Prelude.Show, Data.Promotion.Prelude.Show, Data.Promotion.Prelude, Data.Singletons.Prelude |
| ShowListSym1 | Data.Singletons.Prelude.Show, Data.Promotion.Prelude.Show, Data.Promotion.Prelude, Data.Singletons.Prelude |
| ShowListSym2 | Data.Singletons.Prelude.Show, Data.Promotion.Prelude.Show, Data.Promotion.Prelude, Data.Singletons.Prelude |
| ShowListWith | Data.Singletons.Prelude.Show, Data.Promotion.Prelude.Show |
| ShowListWithSym0 | Data.Singletons.Prelude.Show, Data.Promotion.Prelude.Show |
| ShowListWithSym1 | Data.Singletons.Prelude.Show, Data.Promotion.Prelude.Show |
| ShowListWithSym2 | Data.Singletons.Prelude.Show, Data.Promotion.Prelude.Show |
| ShowListWithSym3 | Data.Singletons.Prelude.Show, Data.Promotion.Prelude.Show |
| ShowParen | Data.Singletons.Prelude.Show, Data.Promotion.Prelude.Show, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| ShowParenSym0 | Data.Singletons.Prelude.Show, Data.Promotion.Prelude.Show, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| ShowParenSym1 | Data.Singletons.Prelude.Show, Data.Promotion.Prelude.Show, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| ShowParenSym2 | Data.Singletons.Prelude.Show, Data.Promotion.Prelude.Show, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| ShowS | Data.Promotion.Prelude, Data.Singletons.Prelude |
| Shows | Data.Singletons.Prelude.Show, Data.Promotion.Prelude.Show, Data.Promotion.Prelude, Data.Singletons.Prelude |
| ShowSing | Data.Singletons.ShowSing |
| ShowSpace | Data.Singletons.Prelude.Show, Data.Promotion.Prelude.Show, Data.Singletons.TH, Data.Promotion.TH, Data.Singletons.CustomStar |
| ShowSpaceSym0 | Data.Singletons.Prelude.Show, Data.Promotion.Prelude.Show, Data.Singletons.TH, Data.Promotion.TH, Data.Singletons.CustomStar |
| ShowSpaceSym1 | Data.Singletons.Prelude.Show, Data.Promotion.Prelude.Show, Data.Singletons.TH, Data.Promotion.TH, Data.Singletons.CustomStar |
| ShowsPrec | Data.Singletons.Prelude.Show, Data.Promotion.Prelude.Show, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| ShowsPrecSym0 | Data.Singletons.Prelude.Show, Data.Promotion.Prelude.Show, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| ShowsPrecSym1 | Data.Singletons.Prelude.Show, Data.Promotion.Prelude.Show, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| ShowsPrecSym2 | Data.Singletons.Prelude.Show, Data.Promotion.Prelude.Show, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| ShowsPrecSym3 | Data.Singletons.Prelude.Show, Data.Promotion.Prelude.Show, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| showsSingPrec | Data.Singletons.ShowSing |
| ShowsSym0 | Data.Singletons.Prelude.Show, Data.Promotion.Prelude.Show, Data.Promotion.Prelude, Data.Singletons.Prelude |
| ShowsSym1 | Data.Singletons.Prelude.Show, Data.Promotion.Prelude.Show, Data.Promotion.Prelude, Data.Singletons.Prelude |
| ShowsSym2 | Data.Singletons.Prelude.Show, Data.Promotion.Prelude.Show, Data.Promotion.Prelude, Data.Singletons.Prelude |
| ShowString | Data.Singletons.Prelude.Show, Data.Promotion.Prelude.Show, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| ShowStringSym0 | Data.Singletons.Prelude.Show, Data.Promotion.Prelude.Show, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| ShowStringSym1 | Data.Singletons.Prelude.Show, Data.Promotion.Prelude.Show, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| ShowStringSym2 | Data.Singletons.Prelude.Show, Data.Promotion.Prelude.Show, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| Show_ | Data.Singletons.Prelude.Show, Data.Promotion.Prelude.Show, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| show_ | Data.Singletons.Prelude.Show, Data.Promotion.Prelude.Show, Data.Promotion.Prelude, Data.Singletons.Prelude |
| Show_Sym0 | Data.Singletons.Prelude.Show, Data.Promotion.Prelude.Show, Data.Promotion.Prelude, Data.Singletons.Prelude |
| Show_Sym1 | Data.Singletons.Prelude.Show, Data.Promotion.Prelude.Show, Data.Promotion.Prelude, Data.Singletons.Prelude |
| 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 |
| Sigma | Data.Singletons.Sigma |
| Signum | Data.Singletons.Prelude.Num, Data.Promotion.Prelude.Num, Data.Promotion.Prelude, Data.Singletons.Prelude |
| SignumSym0 | Data.Singletons.Prelude.Num, Data.Promotion.Prelude.Num, Data.Promotion.Prelude, Data.Singletons.Prelude |
| SignumSym1 | Data.Singletons.Prelude.Num, Data.Promotion.Prelude.Num, Data.Promotion.Prelude, Data.Singletons.Prelude |
| Sing | |
| 1 (Type/Class) | Data.Singletons.Prelude.Void, Data.Singletons.Prelude.Tuple, Data.Singletons.Prelude.Bool, Data.Singletons.Prelude.Ord, Data.Singletons.TypeRepStar, Data.Singletons.TypeLits, Data.Singletons.Prelude.Maybe, Data.Singletons.Prelude.List, Data.Singletons.Prelude.List.NonEmpty, Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude.Either, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| 2 (Data Constructor) | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| sing | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| singBoundedInstance | Data.Singletons.TH, Data.Singletons.CustomStar |
| singBoundedInstances | Data.Singletons.TH, Data.Singletons.CustomStar |
| singByProxy | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| singByProxy# | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| singDecideInstance | Data.Singletons.TH, Data.Singletons.CustomStar |
| singDecideInstances | Data.Singletons.TH, Data.Singletons.CustomStar |
| singEnumInstance | Data.Singletons.TH, Data.Singletons.CustomStar |
| singEnumInstances | Data.Singletons.TH, Data.Singletons.CustomStar |
| singEqInstance | Data.Singletons.TH, Data.Singletons.CustomStar |
| singEqInstanceOnly | Data.Singletons.TH, Data.Singletons.CustomStar |
| singEqInstances | Data.Singletons.TH, Data.Singletons.CustomStar |
| singEqInstancesOnly | Data.Singletons.TH, Data.Singletons.CustomStar |
| singFun1 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| singFun2 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| singFun3 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| singFun4 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| singFun5 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| singFun6 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| singFun7 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| singFun8 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| SingFunction1 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| SingFunction2 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| SingFunction3 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| SingFunction4 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| SingFunction5 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| SingFunction6 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| SingFunction7 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| SingFunction8 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| SingI | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| SingInstance | |
| 1 (Type/Class) | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| 2 (Data Constructor) | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| singInstance | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| SingKind | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| singletons | Data.Singletons.TH, Data.Singletons.CustomStar |
| singletonsOnly | Data.Singletons.TH, Data.Singletons.CustomStar |
| singletonStar | Data.Singletons.CustomStar |
| singOrdInstance | Data.Singletons.TH, Data.Singletons.CustomStar |
| singOrdInstances | Data.Singletons.TH, Data.Singletons.CustomStar |
| singShowInstance | Data.Singletons.TH, Data.Singletons.CustomStar |
| singShowInstances | Data.Singletons.TH, Data.Singletons.CustomStar |
| singThat | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| 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 |
| SIsString | Data.Singletons.Prelude.IsString |
| sIsSuffixOf | Data.Singletons.Prelude.List |
| SJust | Data.Singletons.Prelude.Maybe, Data.Singletons.Prelude |
| SLambda | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| SLambda2 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| SLambda3 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| SLambda4 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| SLambda5 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| SLambda6 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| SLambda7 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| SLambda8 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| 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 |
| sLog2 | Data.Singletons.TypeLits |
| sLookup | Data.Singletons.Prelude.List, Data.Singletons.Prelude |
| SLT | Data.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| 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, Data.Singletons.CustomStar |
| sMaxBound | Data.Singletons.Prelude.Enum, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| 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, Data.Singletons.CustomStar |
| sMinBound | Data.Singletons.Prelude.Enum, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| sMinimum | Data.Singletons.Prelude.List |
| sMinimumBy | Data.Singletons.Prelude.List |
| sMod | Data.Singletons.TypeLits |
| SNat | |
| 1 (Type/Class) | Data.Singletons.TypeLits |
| 2 (Data Constructor) | Data.Singletons.TypeLits |
| Snd | Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Promotion.Prelude, Data.Singletons.Prelude |
| SndSym0 | Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Promotion.Prelude, Data.Singletons.Prelude |
| SndSym1 | Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Promotion.Prelude, Data.Singletons.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, Data.Singletons.CustomStar |
| 2 (Data Constructor) | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| SomeTypeRepStar | |
| 1 (Type/Class) | Data.Singletons.TypeRepStar |
| 2 (Data Constructor) | Data.Singletons.TypeRepStar |
| sOn | Data.Singletons.Prelude.Function |
| sOr | Data.Singletons.Prelude.List, Data.Singletons.Prelude |
| SOrd | Data.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| 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, Data.Singletons.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, Data.Singletons.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, Data.Singletons.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, Data.Singletons.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, Data.Singletons.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, Data.Singletons.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, Data.Singletons.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, Data.Singletons.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| sPred | Data.Singletons.Prelude.Enum |
| sProduct | Data.Singletons.Prelude.List |
| sQuot | Data.Singletons.TypeLits |
| sQuotRem | Data.Singletons.TypeLits |
| sRem | Data.Singletons.TypeLits |
| sReplicate | Data.Singletons.Prelude.List, Data.Singletons.Prelude |
| 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 |
| SShow | Data.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| sShowChar | Data.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| sShowCommaSpace | Data.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.CustomStar |
| sShowList | Data.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| sShowListWith | Data.Singletons.Prelude.Show |
| sShowParen | Data.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| sShows | Data.Singletons.Prelude.Show, Data.Singletons.Prelude |
| sShowSpace | Data.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.CustomStar |
| sShowsPrec | Data.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| sShowString | Data.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| sShow_ | Data.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| 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, Data.Singletons.Prelude |
| 2 (Function) | Data.Singletons.Prelude.List.NonEmpty |
| sSplitAt | |
| 1 (Function) | Data.Singletons.Prelude.List, Data.Singletons.Prelude |
| 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, Data.Singletons.Prelude |
| 2 (Function) | Data.Singletons.Prelude.List.NonEmpty |
| sTakeWhile | |
| 1 (Function) | Data.Singletons.Prelude.List, Data.Singletons.Prelude |
| 2 (Function) | Data.Singletons.Prelude.List.NonEmpty |
| sThenCmp | Data.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| sToEnum | Data.Singletons.Prelude.Enum, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| 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.Prelude.Tuple, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| STuple2 | |
| 1 (Type/Class) | Data.Singletons.Prelude.Tuple, Data.Singletons.Prelude |
| 2 (Data Constructor) | Data.Singletons.Prelude.Tuple, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| STuple3 | |
| 1 (Type/Class) | Data.Singletons.Prelude.Tuple, Data.Singletons.Prelude |
| 2 (Data Constructor) | Data.Singletons.Prelude.Tuple, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| STuple4 | |
| 1 (Type/Class) | Data.Singletons.Prelude.Tuple, Data.Singletons.Prelude |
| 2 (Data Constructor) | Data.Singletons.Prelude.Tuple, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| STuple5 | |
| 1 (Type/Class) | Data.Singletons.Prelude.Tuple, Data.Singletons.Prelude |
| 2 (Data Constructor) | Data.Singletons.Prelude.Tuple, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| STuple6 | |
| 1 (Type/Class) | Data.Singletons.Prelude.Tuple, Data.Singletons.Prelude |
| 2 (Data Constructor) | Data.Singletons.Prelude.Tuple, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| STuple7 | |
| 1 (Type/Class) | Data.Singletons.Prelude.Tuple, Data.Singletons.Prelude |
| 2 (Data Constructor) | Data.Singletons.Prelude.Tuple, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| 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.Promotion.Prelude, Data.Singletons.Prelude |
| SubtractSym0 | Data.Singletons.Prelude.Num, Data.Promotion.Prelude.Num, Data.Promotion.Prelude, Data.Singletons.Prelude |
| SubtractSym1 | Data.Singletons.Prelude.Num, Data.Promotion.Prelude.Num, Data.Promotion.Prelude, Data.Singletons.Prelude |
| SubtractSym2 | Data.Singletons.Prelude.Num, Data.Promotion.Prelude.Num, Data.Promotion.Prelude, Data.Singletons.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 |
| sUndefined | Data.Singletons.TypeLits, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| 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 |
| sUnlines | Data.Singletons.Prelude.List, Data.Singletons.Prelude |
| sUnwords | Data.Singletons.Prelude.List, Data.Singletons.Prelude |
| 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, Data.Singletons.CustomStar |
| suppressUnusedWarnings | Data.Singletons.SuppressUnusedWarnings, Data.Singletons.TH, Data.Promotion.TH, Data.Singletons.CustomStar |
| SVoid | Data.Singletons.Prelude.Void |
| 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.Promotion.Prelude, Data.Singletons.Prelude |
| SymbolS | Data.Singletons.Prelude.Show, Data.Promotion.Prelude.Show |
| 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.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| Tails | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| TailsSym0 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| TailsSym1 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| TailSym0 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| TailSym1 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| Take | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| TakeSym0 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| TakeSym1 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| TakeSym2 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| TakeWhile | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| TakeWhileSym0 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| TakeWhileSym1 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| TakeWhileSym2 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| ThenCmp | Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| thenCmp | Data.Singletons.Prelude.Ord, Data.Singletons.Prelude |
| ThenCmpSym0 | Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| ThenCmpSym1 | Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| ThenCmpSym2 | Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| ToEnum | Data.Singletons.Prelude.Enum, Data.Promotion.Prelude.Enum, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| ToEnumSym0 | Data.Singletons.Prelude.Enum, Data.Promotion.Prelude.Enum, Data.Promotion.Prelude, Data.Singletons.Prelude |
| ToEnumSym1 | Data.Singletons.Prelude.Enum, Data.Promotion.Prelude.Enum, Data.Promotion.Prelude, Data.Singletons.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, Data.Singletons.CustomStar |
| Transpose | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| TransposeSym0 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| TransposeSym1 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| TrueSym0 | Data.Singletons.Prelude.Bool, Data.Promotion.Prelude.Bool, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| Tuple0Sym0 | Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| Tuple2Sym0 | Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| Tuple2Sym1 | Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| Tuple2Sym2 | Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| Tuple3Sym0 | Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| Tuple3Sym1 | Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| Tuple3Sym2 | Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| Tuple3Sym3 | Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| Tuple4Sym0 | Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| Tuple4Sym1 | Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| Tuple4Sym2 | Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| Tuple4Sym3 | Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| Tuple4Sym4 | Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| Tuple5Sym0 | Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| Tuple5Sym1 | Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| Tuple5Sym2 | Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| Tuple5Sym3 | Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| Tuple5Sym4 | Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| Tuple5Sym5 | Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| Tuple6Sym0 | Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| Tuple6Sym1 | Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| Tuple6Sym2 | Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| Tuple6Sym3 | Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| Tuple6Sym4 | Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| Tuple6Sym5 | Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| Tuple6Sym6 | Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| Tuple7Sym0 | Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| Tuple7Sym1 | Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| Tuple7Sym2 | Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| Tuple7Sym3 | Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| Tuple7Sym4 | Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| Tuple7Sym5 | Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| Tuple7Sym6 | Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| Tuple7Sym7 | Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| TyCon | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| TyCon1 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| TyCon2 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| TyCon3 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| TyCon4 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| TyCon5 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| TyCon6 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| TyCon7 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| TyCon8 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| TyFun | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| 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.Promotion.Prelude, Data.Singletons.Prelude |
| UncurrySym0 | Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Promotion.Prelude, Data.Singletons.Prelude |
| UncurrySym1 | Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Promotion.Prelude, Data.Singletons.Prelude |
| UncurrySym2 | Data.Singletons.Prelude.Tuple, Data.Promotion.Prelude.Tuple, Data.Promotion.Prelude, Data.Singletons.Prelude |
| Undefined | Data.Singletons.TypeLits, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| UndefinedSym0 | Data.Singletons.TypeLits, Data.Singletons.TH, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar |
| 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 |
| Unlines | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| UnlinesSym0 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| UnlinesSym1 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| unSingFun1 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| unSingFun2 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| unSingFun3 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| unSingFun4 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| unSingFun5 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| unSingFun6 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| unSingFun7 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| unSingFun8 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| 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 |
| Unwords | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| UnwordsSym0 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| UnwordsSym1 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| Unzip | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| Unzip3 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.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.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| UnzipSym1 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| Void | Data.Singletons.Decide, Data.Singletons.TH, Data.Singletons.CustomStar |
| withKnownNat | Data.Singletons.TypeLits |
| withKnownSymbol | Data.Singletons.TypeLits |
| withSing | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| withSingI | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| withSomeSing | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| 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.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| Zip3 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| Zip3Sym0 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| Zip3Sym1 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| Zip3Sym2 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| Zip3Sym3 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.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 |
| zipSigma | Data.Singletons.Sigma |
| ZipSym0 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| ZipSym1 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| ZipSym2 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| ZipWith | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| ZipWith3 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| ZipWith3Sym0 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| ZipWith3Sym1 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| ZipWith3Sym2 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| ZipWith3Sym3 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.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.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| ZipWithSym1 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| ZipWithSym2 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| ZipWithSym3 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude, Data.Singletons.Prelude |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty |
| \\ | 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.Promotion.Prelude, Data.Singletons.Prelude |
| ^@#@$ | Data.Singletons.TypeLits, Data.Promotion.Prelude, Data.Singletons.Prelude |
| ^@#@$$ | Data.Singletons.TypeLits, Data.Promotion.Prelude, Data.Singletons.Prelude |
| ^@#@$$$ | Data.Singletons.TypeLits, Data.Promotion.Prelude, Data.Singletons.Prelude |
| || | Data.Singletons.Prelude.Bool, Data.Promotion.Prelude.Bool, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| ||@#@$ | Data.Singletons.Prelude.Bool, Data.Promotion.Prelude.Bool, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| ||@#@$$ | Data.Singletons.Prelude.Bool, Data.Promotion.Prelude.Bool, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| ||@#@$$$ | Data.Singletons.Prelude.Bool, Data.Promotion.Prelude.Bool, Data.Promotion.Prelude, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| ~> | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| ~>@#@$ | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| ~>@#@$$ | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| ~>@#@$$$ | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| Σ | Data.Singletons.Sigma |