singletons-2.5: 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.Functor
%&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.Applicative, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
%+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.Functor, Data.Singletons.Prelude.Applicative, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
%<$!>Data.Singletons.Prelude.Monad
%<$>Data.Singletons.Prelude.Functor, Data.Singletons.Prelude.Applicative, Data.Singletons.Prelude
%<&>Data.Singletons.Prelude.Functor
%<*Data.Singletons.Prelude.Applicative, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
%<**>Data.Singletons.Prelude.Applicative
%<*>Data.Singletons.Prelude.Applicative, 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.Monad
%<=?Data.Singletons.TypeLits
%<>Data.Singletons.Prelude.Semigroup, Data.Singletons.Prelude
%<|Data.Singletons.Prelude.List.NonEmpty
%<|>Data.Singletons.Prelude.Applicative
%=<<Data.Singletons.Prelude.Monad, Data.Singletons.Prelude
%==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.Monad
%>>Data.Singletons.Prelude.Monad, Data.Singletons.Prelude
%>>=Data.Singletons.Prelude.Monad, Data.Singletons.Prelude
%\\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