singletons-base-3.1: A promoted and singled version of the base library

Index - %

%!! 
1 (Function)Data.List.Singletons, Prelude.Singletons
2 (Function)Data.List.NonEmpty.Singletons
%$Data.Function.Singletons, Prelude.Singletons
%$!Prelude.Singletons
%$>Data.Functor.Singletons
%&Data.Function.Singletons
%&&Data.Bool.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
%*Prelude.Singletons
%*>Control.Applicative.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
%+Prelude.Singletons
%++Data.List.Singletons, Prelude.Singletons
%-Prelude.Singletons
%.Data.Function.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
%/=Data.Eq.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
%<Data.Ord.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
%<$Data.Functor.Singletons, Control.Applicative.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
%<$!>Control.Monad.Singletons
%<$>Data.Functor.Singletons, Control.Applicative.Singletons, Prelude.Singletons
%<&>Data.Functor.Singletons
%<*Control.Applicative.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
%<**>Control.Applicative.Singletons
%<*>Control.Applicative.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
%<=Data.Ord.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
%<=<Control.Monad.Singletons
%<=?GHC.TypeLits.Singletons
%<>Data.Semigroup.Singletons, Prelude.Singletons
%<|Data.List.NonEmpty.Singletons
%<|>Control.Applicative.Singletons
%=<<Control.Monad.Singletons, Prelude.Singletons
%==Data.Eq.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
%>Data.Ord.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
%>=Data.Ord.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
%>=>Control.Monad.Singletons
%>>Control.Monad.Singletons, Prelude.Singletons
%>>=Control.Monad.Singletons, Prelude.Singletons
%\\Data.List.Singletons
%^GHC.TypeLits.Singletons
%||Data.Bool.Singletons, Data.Singletons.Base.CustomStar, Prelude.Singletons
%~Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar