singletons-2.4: A framework for generating singleton types

Index - :

:%|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