singletons-1.0: A framework for generating singleton types

Index - %

%$Data.Singletons.Prelude.Base, Data.Singletons.Prelude
%$!Data.Singletons.Prelude.Base, Data.Singletons.Prelude
%:&&Data.Singletons.Prelude.Bool, Data.Singletons.CustomStar, Data.Singletons.Prelude
%:++Data.Singletons.Prelude.Base, Data.Singletons.Prelude.List, Data.Singletons.Prelude
%:.Data.Singletons.Prelude.Base, Data.Singletons.Prelude
%:/=Data.Singletons.Prelude.Eq, Data.Singletons.CustomStar, Data.Singletons.TH, Data.Singletons.Prelude
%:<Data.Singletons.Prelude.Ord, Data.Singletons.Prelude
%:<=Data.Singletons.Prelude.Ord, Data.Singletons.Prelude
%:==Data.Singletons.Prelude.Eq, Data.Singletons.CustomStar, Data.Singletons.TH, Data.Singletons.Prelude
%:>Data.Singletons.Prelude.Ord, Data.Singletons.Prelude
%:>=Data.Singletons.Prelude.Ord, Data.Singletons.Prelude
%:\\Data.Singletons.Prelude.List
%:||Data.Singletons.Prelude.Bool, Data.Singletons.CustomStar, Data.Singletons.Prelude
%~Data.Singletons.Decide, Data.Singletons.TH