singletons-0.10.0: A framework for generating singleton types

Index - %

%:&&Data.Singletons.Bool, Data.Singletons.Prelude
%:++Data.Singletons.List, Data.Singletons.Prelude
%:/=Data.Singletons.Eq, Data.Singletons.TH, Data.Singletons.Prelude
%:==Data.Singletons.Eq, Data.Singletons.TH, Data.Singletons.Prelude
%:||Data.Singletons.Bool, Data.Singletons.Prelude
%~Data.Singletons.Decide, Data.Singletons.TH