singletons-2.1: A framework for generating singleton types

Index - :

:!!Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude
:!!$Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude
:!!$$Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude
:!!$$$Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude
:$Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
:$$Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
:$$$Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
:&&Data.Singletons.Prelude.Bool, Data.Singletons.CustomStar, Data.Promotion.Prelude.Bool, Data.Singletons.TH, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH
:&&$Data.Singletons.Prelude.Bool, Data.Singletons.CustomStar, Data.Promotion.Prelude.Bool, Data.Singletons.Prelude, Data.Promotion.Prelude
:&&$$Data.Singletons.Prelude.Bool, Data.Singletons.CustomStar, Data.Promotion.Prelude.Bool, Data.Singletons.Prelude, Data.Promotion.Prelude
:&&$$$Data.Singletons.Prelude.Bool, Data.Singletons.CustomStar, Data.Promotion.Prelude.Bool, Data.Singletons.Prelude, Data.Promotion.Prelude
:*Data.Singletons.Prelude.Num, Data.Singletons.Prelude, Data.Promotion.Prelude.Num, Data.Promotion.Prelude
:*$Data.Singletons.Prelude.Num, Data.Singletons.Prelude, Data.Promotion.Prelude.Num, Data.Promotion.Prelude
:*$$Data.Singletons.Prelude.Num, Data.Singletons.Prelude, Data.Promotion.Prelude.Num, Data.Promotion.Prelude
:*$$$Data.Singletons.Prelude.Num, Data.Singletons.Prelude, Data.Promotion.Prelude.Num, Data.Promotion.Prelude
:+Data.Singletons.Prelude.Num, Data.Singletons.Prelude, Data.Promotion.Prelude.Num, Data.Promotion.Prelude
:+$Data.Singletons.Prelude.Num, Data.Singletons.Prelude, Data.Promotion.Prelude.Num, Data.Promotion.Prelude
:+$$Data.Singletons.Prelude.Num, Data.Singletons.Prelude, Data.Promotion.Prelude.Num, Data.Promotion.Prelude
:+$$$Data.Singletons.Prelude.Num, Data.Singletons.Prelude, Data.Promotion.Prelude.Num, Data.Promotion.Prelude
:++Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
:++$Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
:++$$Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude.List, Data.Singletons.Prelude, Data.Promotion.Prelude.List, Data.Promotion.Prelude
:++$$$Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude.List, Data.Promotion.Prelude.List
:-Data.Singletons.Prelude.Num, Data.Singletons.Prelude, Data.Promotion.Prelude.Num, Data.Promotion.Prelude
:-$Data.Singletons.Prelude.Num, Data.Singletons.Prelude, Data.Promotion.Prelude.Num, Data.Promotion.Prelude
:-$$Data.Singletons.Prelude.Num, Data.Singletons.Prelude, Data.Promotion.Prelude.Num, Data.Promotion.Prelude
:-$$$Data.Singletons.Prelude.Num, Data.Singletons.Prelude, Data.Promotion.Prelude.Num, Data.Promotion.Prelude
:.Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude, Data.Promotion.Prelude
:.$Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude, Data.Promotion.Prelude
:.$$Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude, Data.Promotion.Prelude
:.$$$Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base, Data.Singletons.Prelude, Data.Promotion.Prelude
:.$$$$Data.Singletons.Prelude.Base, Data.Promotion.Prelude.Base
:/=Data.Singletons.Prelude.Eq, Data.Singletons.CustomStar, Data.Promotion.Prelude.Eq, Data.Singletons.TH, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH
:/=$Data.Singletons.Prelude.Eq, Data.Singletons.CustomStar, Data.Promotion.Prelude.Eq, Data.Singletons.Prelude, Data.Promotion.Prelude
:/=$$Data.Singletons.Prelude.Eq, Data.Singletons.CustomStar, Data.Promotion.Prelude.Eq, Data.Singletons.Prelude, Data.Promotion.Prelude
:/=$$$Data.Singletons.Prelude.Eq, Data.Singletons.CustomStar, Data.Promotion.Prelude.Eq, Data.Singletons.Prelude, Data.Promotion.Prelude
:<Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH
:<$Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.Prelude, Data.Promotion.Prelude
:<$$Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.Prelude, Data.Promotion.Prelude
:<$$$Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.Prelude, Data.Promotion.Prelude
:<=Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH
:<=$Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.Prelude, Data.Promotion.Prelude
:<=$$Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.Prelude, Data.Promotion.Prelude
:<=$$$Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.Prelude, Data.Promotion.Prelude
:==Data.Singletons.Prelude.Eq, Data.Singletons.CustomStar, Data.Promotion.Prelude.Eq, Data.Singletons.TH, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH
:==$Data.Singletons.Prelude.Eq, Data.Singletons.CustomStar, Data.Promotion.Prelude.Eq, Data.Singletons.Prelude, Data.Promotion.Prelude
:==$$Data.Singletons.Prelude.Eq, Data.Singletons.CustomStar, Data.Promotion.Prelude.Eq, Data.Singletons.Prelude, Data.Promotion.Prelude
:==$$$Data.Singletons.Prelude.Eq, Data.Singletons.CustomStar, Data.Promotion.Prelude.Eq, Data.Singletons.Prelude, Data.Promotion.Prelude
:>Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH
:>$Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.Prelude, Data.Promotion.Prelude
:>$$Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.Prelude, Data.Promotion.Prelude
:>$$$Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.Prelude, Data.Promotion.Prelude
:>=Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH
:>=$Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.Prelude, Data.Promotion.Prelude
:>=$$Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.Prelude, Data.Promotion.Prelude
:>=$$$Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.Prelude, Data.Promotion.Prelude
:\\Data.Singletons.Prelude.List, Data.Promotion.Prelude.List
:\\$Data.Singletons.Prelude.List, Data.Promotion.Prelude.List
:\\$$Data.Singletons.Prelude.List, Data.Promotion.Prelude.List
:\\$$$Data.Singletons.Prelude.List, Data.Promotion.Prelude.List
:^Data.Singletons.TypeLits
:^$Data.Singletons.TypeLits, Data.Promotion.Prelude
:^$$Data.Singletons.TypeLits, Data.Promotion.Prelude
:^$$$Data.Singletons.TypeLits
:||Data.Singletons.Prelude.Bool, Data.Singletons.CustomStar, Data.Promotion.Prelude.Bool, Data.Singletons.Prelude, Data.Promotion.Prelude
:||$Data.Singletons.Prelude.Bool, Data.Singletons.CustomStar, Data.Promotion.Prelude.Bool, Data.Singletons.Prelude, Data.Promotion.Prelude
:||$$Data.Singletons.Prelude.Bool, Data.Singletons.CustomStar, Data.Promotion.Prelude.Bool, Data.Singletons.Prelude, Data.Promotion.Prelude
:||$$$Data.Singletons.Prelude.Bool, Data.Singletons.CustomStar, Data.Promotion.Prelude.Bool, Data.Singletons.Prelude, Data.Promotion.Prelude
:~:Data.Singletons.Decide, Data.Singletons.TH