singletons-2.4.1: A framework for generating singleton types

Index - %

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