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

Index

!! 
1 (Type/Class)Data.List.Singletons, Prelude.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
!!@#@$ 
1 (Type/Class)Data.List.Singletons, Prelude.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
!!@#@$$ 
1 (Type/Class)Data.List.Singletons, Prelude.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
!!@#@$$$ 
1 (Type/Class)Data.List.Singletons, Prelude.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
$Data.Function.Singletons, Prelude.Singletons
$!Prelude.Singletons
$!@#@$Prelude.Singletons
$!@#@$$Prelude.Singletons
$!@#@$$$Prelude.Singletons
$>Data.Functor.Singletons
$>@#@$Data.Functor.Singletons
$>@#@$$Data.Functor.Singletons
$>@#@$$$Data.Functor.Singletons
$@#@$Data.Function.Singletons, Prelude.Singletons
$@#@$$Data.Function.Singletons, Prelude.Singletons
$@#@$$$Data.Function.Singletons, Prelude.Singletons
%!! 
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
&Data.Function.Singletons
&&Data.Bool.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
&&@#@$Data.Bool.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
&&@#@$$Data.Bool.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
&&@#@$$$Data.Bool.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
&@#@$Data.Function.Singletons
&@#@$$Data.Function.Singletons
&@#@$$$Data.Function.Singletons
*Prelude.Singletons
*>Control.Applicative.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Data.Singletons.Base.CustomStar, Prelude.Singletons
*>@#@$Control.Applicative.Singletons, Prelude.Singletons
*>@#@$$Control.Applicative.Singletons, Prelude.Singletons
*>@#@$$$Control.Applicative.Singletons, Prelude.Singletons
*@#@$Prelude.Singletons
*@#@$$Prelude.Singletons
*@#@$$$Prelude.Singletons
+Prelude.Singletons
++Data.List.Singletons, Prelude.Singletons
++@#@$Data.List.Singletons, Prelude.Singletons
++@#@$$Data.List.Singletons, Prelude.Singletons
++@#@$$$Data.List.Singletons, Prelude.Singletons
+@#@$Prelude.Singletons
+@#@$$Prelude.Singletons
+@#@$$$Prelude.Singletons
-Prelude.Singletons
-@#@$Prelude.Singletons
-@#@$$Prelude.Singletons
-@#@$$$Prelude.Singletons
.Data.Function.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
.@#@$Data.Function.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
.@#@$$Data.Function.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
.@#@$$$Data.Function.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, 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, Data.Singletons.Base.CustomStar, Prelude.Singletons
/=@#@$Data.Eq.Singletons, Data.Singletons.Base.CustomStar, Prelude.Singletons
/=@#@$$Data.Eq.Singletons, Data.Singletons.Base.CustomStar, Prelude.Singletons
/=@#@$$$Data.Eq.Singletons, Data.Singletons.Base.CustomStar, Prelude.Singletons
:$$:Data.Singletons.Base.TypeError
:$$:@#@$Data.Singletons.Base.TypeError
:$$:@#@$$Data.Singletons.Base.TypeError
:$$:@#@$$$Data.Singletons.Base.TypeError
:%$$:Data.Singletons.Base.TypeError
:%<>:Data.Singletons.Base.TypeError
:%|Data.List.NonEmpty.Singletons
:<>:Data.Singletons.Base.TypeError
:<>:@#@$Data.Singletons.Base.TypeError
:<>:@#@$$Data.Singletons.Base.TypeError
:<>:@#@$$$Data.Singletons.Base.TypeError
:@#@$Data.List.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
:@#@$$Data.List.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
:@#@$$$Data.List.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
:|@#@$Data.List.NonEmpty.Singletons
:|@#@$$Data.List.NonEmpty.Singletons
:|@#@$$$Data.List.NonEmpty.Singletons
:~:Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar
<Data.Ord.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Data.Singletons.Base.CustomStar, Prelude.Singletons
<$Data.Functor.Singletons, Control.Applicative.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Data.Singletons.Base.CustomStar, Prelude.Singletons
<$!>Control.Monad.Singletons
<$!>@#@$Control.Monad.Singletons
<$!>@#@$$Control.Monad.Singletons
<$!>@#@$$$Control.Monad.Singletons
<$>Data.Functor.Singletons, Control.Applicative.Singletons, Prelude.Singletons
<$>@#@$Data.Functor.Singletons, Control.Applicative.Singletons, Prelude.Singletons
<$>@#@$$Data.Functor.Singletons, Control.Applicative.Singletons, Prelude.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
<$@#@$$Data.Functor.Singletons, Control.Applicative.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
<&>Data.Functor.Singletons
<&>@#@$Data.Functor.Singletons
<&>@#@$$Data.Functor.Singletons
<&>@#@$$$Data.Functor.Singletons
<*Control.Applicative.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Data.Singletons.Base.CustomStar, Prelude.Singletons
<**>Control.Applicative.Singletons
<**>@#@$Control.Applicative.Singletons
<**>@#@$$Control.Applicative.Singletons
<**>@#@$$$Control.Applicative.Singletons
<*>Control.Applicative.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Data.Singletons.Base.CustomStar, Prelude.Singletons
<*>@#@$Control.Applicative.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
<*>@#@$$Control.Applicative.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
<*>@#@$$$Control.Applicative.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
<*@#@$Control.Applicative.Singletons, Prelude.Singletons
<*@#@$$Control.Applicative.Singletons, Prelude.Singletons
<*@#@$$$Control.Applicative.Singletons, Prelude.Singletons
<=Data.Ord.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Data.Singletons.Base.CustomStar, Prelude.Singletons
<=<Control.Monad.Singletons
<=<@#@$Control.Monad.Singletons
<=<@#@$$Control.Monad.Singletons
<=<@#@$$$Control.Monad.Singletons
<=?GHC.TypeLits.Singletons
<=?@#@$GHC.TypeLits.Singletons
<=?@#@$$GHC.TypeLits.Singletons
<=?@#@$$$GHC.TypeLits.Singletons
<=@#@$Data.Ord.Singletons, Prelude.Singletons
<=@#@$$Data.Ord.Singletons, Prelude.Singletons
<=@#@$$$Data.Ord.Singletons, Prelude.Singletons
<>Data.Semigroup.Singletons, Prelude.Singletons
<>@#@$Data.Semigroup.Singletons, Prelude.Singletons
<>@#@$$Data.Semigroup.Singletons, Prelude.Singletons
<>@#@$$$Data.Semigroup.Singletons, Prelude.Singletons
<@#@$Data.Ord.Singletons, Prelude.Singletons
<@#@$$Data.Ord.Singletons, Prelude.Singletons
<@#@$$$Data.Ord.Singletons, Prelude.Singletons
<|Data.List.NonEmpty.Singletons
<|>Control.Applicative.Singletons
<|>@#@$Control.Applicative.Singletons
<|>@#@$$Control.Applicative.Singletons
<|>@#@$$$Control.Applicative.Singletons
<|@#@$Data.List.NonEmpty.Singletons
<|@#@$$Data.List.NonEmpty.Singletons
<|@#@$$$Data.List.NonEmpty.Singletons
=<<Control.Monad.Singletons, Prelude.Singletons
=<<@#@$Control.Monad.Singletons, Prelude.Singletons
=<<@#@$$Control.Monad.Singletons, Prelude.Singletons
=<<@#@$$$Control.Monad.Singletons, Prelude.Singletons
==Data.Eq.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Data.Singletons.Base.CustomStar, Prelude.Singletons
==@#@$Data.Eq.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.Eq.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
>Data.Ord.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Data.Singletons.Base.CustomStar, Prelude.Singletons
>=Data.Ord.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Data.Singletons.Base.CustomStar, Prelude.Singletons
>=>Control.Monad.Singletons
>=>@#@$Control.Monad.Singletons
>=>@#@$$Control.Monad.Singletons
>=>@#@$$$Control.Monad.Singletons
>=@#@$Data.Ord.Singletons, Prelude.Singletons
>=@#@$$Data.Ord.Singletons, Prelude.Singletons
>=@#@$$$Data.Ord.Singletons, Prelude.Singletons
>>Control.Monad.Singletons, Prelude.Singletons
>>=Control.Monad.Singletons, Prelude.Singletons
>>=@#@$Control.Monad.Singletons, Prelude.Singletons
>>=@#@$$Control.Monad.Singletons, Prelude.Singletons
>>=@#@$$$Control.Monad.Singletons, Prelude.Singletons
>>@#@$Control.Monad.Singletons, Prelude.Singletons
>>@#@$$Control.Monad.Singletons, Prelude.Singletons
>>@#@$$$Control.Monad.Singletons, 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
>@#@$$$Data.Ord.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
@@ 
1 (Function)Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
2 (Type/Class)Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
@@@#@$Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
@@@#@$$Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
@@@#@$$$Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
AbsPrelude.Singletons
AbsSym0Prelude.Singletons
AbsSym1Prelude.Singletons
AbsurdData.Void.Singletons
AbsurdSym0Data.Void.Singletons
AbsurdSym1Data.Void.Singletons
AllData.Foldable.Singletons, Data.List.Singletons, Prelude.Singletons
AllSym0 
1 (Type/Class)Data.Monoid.Singletons, Data.Semigroup.Singletons
2 (Type/Class)Data.Foldable.Singletons, Data.List.Singletons, Prelude.Singletons
AllSym1 
1 (Type/Class)Data.Monoid.Singletons, Data.Semigroup.Singletons
2 (Type/Class)Data.Foldable.Singletons, Data.List.Singletons, Prelude.Singletons
AllSym2Data.Foldable.Singletons, Data.List.Singletons, Prelude.Singletons
AndData.Foldable.Singletons, Data.List.Singletons, Prelude.Singletons
AndSym0Data.Foldable.Singletons, Data.List.Singletons, Prelude.Singletons
AndSym1Data.Foldable.Singletons, Data.List.Singletons, Prelude.Singletons
AnyData.Foldable.Singletons, Data.List.Singletons, Prelude.Singletons
AnySym0 
1 (Type/Class)Data.Monoid.Singletons, Data.Semigroup.Singletons
2 (Type/Class)Data.Foldable.Singletons, Data.List.Singletons, Prelude.Singletons
AnySym1 
1 (Type/Class)Data.Monoid.Singletons, Data.Semigroup.Singletons
2 (Type/Class)Data.Foldable.Singletons, Data.List.Singletons, Prelude.Singletons
AnySym2Data.Foldable.Singletons, Data.List.Singletons, Prelude.Singletons
ApControl.Monad.Singletons
ApplyData.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
applySingData.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
applySing2Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
applySing3Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
applySing4Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
applySing5Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
applySing6Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
applySing7Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
applySing8Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
ApplySym0Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
ApplySym1Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
ApplySym2Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
ApplyTyConData.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
ApplyTyConAux1Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
ApplyTyConAux2Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
AppPrecText.Show.Singletons
AppPrec1Text.Show.Singletons
AppPrec1Sym0Text.Show.Singletons
AppPrecSym0Text.Show.Singletons
ApSym0Control.Monad.Singletons
ApSym1Control.Monad.Singletons
ApSym2Control.Monad.Singletons
ArgSym0Data.Semigroup.Singletons
ArgSym1Data.Semigroup.Singletons
ArgSym2Data.Semigroup.Singletons
AsProxyTypeOfData.Proxy.Singletons
AsProxyTypeOfSym0Data.Proxy.Singletons
AsProxyTypeOfSym1Data.Proxy.Singletons
AsProxyTypeOfSym2Data.Proxy.Singletons
AsTypeOfPrelude.Singletons
AsTypeOfSym0Prelude.Singletons
AsTypeOfSym1Prelude.Singletons
AsTypeOfSym2Prelude.Singletons
AsumData.Foldable.Singletons
AsumSym0Data.Foldable.Singletons
AsumSym1Data.Foldable.Singletons
Bool_Data.Bool.Singletons, Data.Singletons.Base.CustomStar
bool_Data.Bool.Singletons, Data.Singletons.Base.CustomStar
Bool_Sym0Data.Bool.Singletons, Data.Singletons.Base.CustomStar
Bool_Sym1Data.Bool.Singletons, Data.Singletons.Base.CustomStar
Bool_Sym2Data.Bool.Singletons, Data.Singletons.Base.CustomStar
Bool_Sym3Data.Bool.Singletons, Data.Singletons.Base.CustomStar
Break 
1 (Type/Class)Data.List.Singletons, Prelude.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
BreakSym0 
1 (Type/Class)Data.List.Singletons, Prelude.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
BreakSym1 
1 (Type/Class)Data.List.Singletons, Prelude.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
BreakSym2 
1 (Type/Class)Data.List.Singletons, Prelude.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
casesData.Singletons.Base.TH, Data.Singletons.Base.CustomStar
CatMaybesData.Maybe.Singletons
CatMaybesSym0Data.Maybe.Singletons
CatMaybesSym1Data.Maybe.Singletons
CharGHC.TypeLits.Singletons
CharToNatGHC.TypeLits.Singletons
charToNatGHC.TypeLits.Singletons
CharToNatSym0GHC.TypeLits.Singletons
CharToNatSym1GHC.TypeLits.Singletons
charValGHC.TypeLits.Singletons
CompareData.Ord.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Data.Singletons.Base.CustomStar, Prelude.Singletons
CompareSym0Data.Ord.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
CompareSym1Data.Ord.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
CompareSym2Data.Ord.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
ComparingData.Ord.Singletons
ComparingSym0Data.Ord.Singletons
ComparingSym1Data.Ord.Singletons
ComparingSym2Data.Ord.Singletons
ComparingSym3Data.Ord.Singletons
ComposeSym0Data.Functor.Compose.Singletons
ComposeSym1Data.Functor.Compose.Singletons
ConcatData.Foldable.Singletons, Data.List.Singletons, Prelude.Singletons
ConcatMapData.Foldable.Singletons, Data.List.Singletons, Prelude.Singletons
ConcatMapSym0Data.Foldable.Singletons, Data.List.Singletons, Prelude.Singletons
ConcatMapSym1Data.Foldable.Singletons, Data.List.Singletons, Prelude.Singletons
ConcatMapSym2Data.Foldable.Singletons, Data.List.Singletons, Prelude.Singletons
ConcatSym0Data.Foldable.Singletons, Data.List.Singletons, Prelude.Singletons
ConcatSym1Data.Foldable.Singletons, Data.List.Singletons, Prelude.Singletons
ConsData.List.NonEmpty.Singletons
ConsSym0Data.List.NonEmpty.Singletons
ConsSym1Data.List.NonEmpty.Singletons
ConsSym2Data.List.NonEmpty.Singletons
ConsSymbolGHC.TypeLits.Singletons
consSymbolGHC.TypeLits.Singletons
ConsSymbolSym0GHC.TypeLits.Singletons
ConsSymbolSym1GHC.TypeLits.Singletons
ConsSymbolSym2GHC.TypeLits.Singletons
Const 
1 (Type/Class)Control.Applicative.Singletons
2 (Type/Class)Data.Function.Singletons, Prelude.Singletons
ConstSym0 
1 (Type/Class)Data.Function.Singletons, Prelude.Singletons
2 (Type/Class)Data.Functor.Const.Singletons, Control.Applicative.Singletons
ConstSym1 
1 (Type/Class)Data.Function.Singletons, Prelude.Singletons
2 (Type/Class)Data.Functor.Const.Singletons, Control.Applicative.Singletons
ConstSym2Data.Function.Singletons, Prelude.Singletons
ConvertPErrorMessageData.Singletons.Base.TypeError
CurryData.Tuple.Singletons, Prelude.Singletons
CurrySym0Data.Tuple.Singletons, Prelude.Singletons
CurrySym1Data.Tuple.Singletons, Prelude.Singletons
CurrySym2Data.Tuple.Singletons, Prelude.Singletons
CurrySym3Data.Tuple.Singletons, Prelude.Singletons
DecisionData.Singletons.Base.TH, Data.Singletons.Base.CustomStar
DefaultEqData.Eq.Singletons, Data.Singletons.Base.CustomStar
DefaultEqSym0Data.Eq.Singletons, Data.Singletons.Base.CustomStar
DefaultEqSym1Data.Eq.Singletons, Data.Singletons.Base.CustomStar
DefaultEqSym2Data.Eq.Singletons, Data.Singletons.Base.CustomStar
DeleteData.List.Singletons
DeleteByData.List.Singletons
DeleteBySym0Data.List.Singletons
DeleteBySym1Data.List.Singletons
DeleteBySym2Data.List.Singletons
DeleteBySym3Data.List.Singletons
DeleteFirstsByData.List.Singletons
DeleteFirstsBySym0Data.List.Singletons
DeleteFirstsBySym1Data.List.Singletons
DeleteFirstsBySym2Data.List.Singletons
DeleteFirstsBySym3Data.List.Singletons
DeleteSym0Data.List.Singletons
DeleteSym1Data.List.Singletons
DeleteSym2Data.List.Singletons
DemoteData.Singletons.Base.TH, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Data.Singletons.Base.CustomStar, Prelude.Singletons, Prelude.Singletons
demoteData.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
demote1Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
demote2Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
DemoteSym0Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
DemoteSym1Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
DisprovedData.Singletons.Base.TH, Data.Singletons.Base.CustomStar
DivGHC.TypeLits.Singletons
DivModGHC.TypeLits.Singletons
DivModSym0GHC.TypeLits.Singletons
DivModSym1GHC.TypeLits.Singletons
DivModSym2GHC.TypeLits.Singletons
DivSym0GHC.TypeLits.Singletons
DivSym1GHC.TypeLits.Singletons
DivSym2GHC.TypeLits.Singletons
DownSym0Data.Ord.Singletons
DownSym1Data.Ord.Singletons
Drop 
1 (Type/Class)Data.List.Singletons, Prelude.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
DropSym0 
1 (Type/Class)Data.List.Singletons, Prelude.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
DropSym1 
1 (Type/Class)Data.List.Singletons, Prelude.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
DropSym2 
1 (Type/Class)Data.List.Singletons, Prelude.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
DropWhile 
1 (Type/Class)Data.List.Singletons, Prelude.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
DropWhileEndData.List.Singletons
DropWhileEndSym0Data.List.Singletons, Prelude.Singletons
DropWhileEndSym1Data.List.Singletons, Prelude.Singletons
DropWhileEndSym2Data.List.Singletons, Prelude.Singletons
DropWhileSym0 
1 (Type/Class)Data.List.Singletons, Prelude.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
DropWhileSym1 
1 (Type/Class)Data.List.Singletons, Prelude.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
DropWhileSym2 
1 (Type/Class)Data.List.Singletons, Prelude.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
DualSym0Data.Monoid.Singletons, Data.Semigroup.Singletons
DualSym1Data.Monoid.Singletons, Data.Semigroup.Singletons
Either_Data.Either.Singletons, Prelude.Singletons
either_Data.Either.Singletons, Prelude.Singletons
Either_Sym0Data.Either.Singletons, Prelude.Singletons
Either_Sym1Data.Either.Singletons, Prelude.Singletons
Either_Sym2Data.Either.Singletons, Prelude.Singletons
Either_Sym3Data.Either.Singletons, Prelude.Singletons
ElemData.Foldable.Singletons, Data.List.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Data.Singletons.Base.CustomStar, Prelude.Singletons
ElemIndexData.List.Singletons
ElemIndexSym0Data.List.Singletons
ElemIndexSym1Data.List.Singletons
ElemIndexSym2Data.List.Singletons
ElemIndicesData.List.Singletons
ElemIndicesSym0Data.List.Singletons
ElemIndicesSym1Data.List.Singletons
ElemIndicesSym2Data.List.Singletons
ElemSym0Data.Foldable.Singletons, Data.List.Singletons, Prelude.Singletons
ElemSym1Data.Foldable.Singletons, Data.List.Singletons, Prelude.Singletons
ElemSym2Data.Foldable.Singletons, Data.List.Singletons, Prelude.Singletons
EmptyControl.Applicative.Singletons
EmptySym0Control.Applicative.Singletons
EnumFromThenToData.Singletons.Base.Enum, Prelude.Singletons
EnumFromThenToSym0Data.Singletons.Base.Enum, Prelude.Singletons
EnumFromThenToSym1Data.Singletons.Base.Enum, Prelude.Singletons
EnumFromThenToSym2Data.Singletons.Base.Enum, Prelude.Singletons
EnumFromThenToSym3Data.Singletons.Base.Enum, Prelude.Singletons
EnumFromToData.Singletons.Base.Enum, Prelude.Singletons
EnumFromToSym0Data.Singletons.Base.Enum, Prelude.Singletons
EnumFromToSym1Data.Singletons.Base.Enum, Prelude.Singletons
EnumFromToSym2Data.Singletons.Base.Enum, Prelude.Singletons
EQSym0Data.Ord.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
ErrorGHC.TypeLits.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
ErrorMessageData.Singletons.Base.TypeError
ErrorMessage'Data.Singletons.Base.TypeError
ErrorSym0GHC.TypeLits.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
ErrorSym1GHC.TypeLits.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
ErrorWithoutStackTraceGHC.TypeLits.Singletons, Prelude.Singletons
ErrorWithoutStackTraceSym0GHC.TypeLits.Singletons, Prelude.Singletons
ErrorWithoutStackTraceSym1GHC.TypeLits.Singletons, Prelude.Singletons
FailControl.Monad.Fail.Singletons, Control.Monad.Singletons, Prelude.Singletons
FailSym0Control.Monad.Fail.Singletons, Control.Monad.Singletons, Prelude.Singletons
FailSym1Control.Monad.Fail.Singletons, Control.Monad.Singletons, Prelude.Singletons
FalseSym0Data.Bool.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
Filter 
1 (Type/Class)Data.List.Singletons, Prelude.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
FilterMControl.Monad.Singletons
FilterMSym0Control.Monad.Singletons
FilterMSym1Control.Monad.Singletons
FilterMSym2Control.Monad.Singletons
FilterSym0 
1 (Type/Class)Data.List.Singletons, Prelude.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
FilterSym1 
1 (Type/Class)Data.List.Singletons, Prelude.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
FilterSym2 
1 (Type/Class)Data.List.Singletons, Prelude.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
FindData.Foldable.Singletons, Data.List.Singletons
FindIndexData.List.Singletons
FindIndexSym0Data.List.Singletons
FindIndexSym1Data.List.Singletons
FindIndexSym2Data.List.Singletons
FindIndicesData.List.Singletons
FindIndicesSym0Data.List.Singletons
FindIndicesSym1Data.List.Singletons
FindIndicesSym2Data.List.Singletons
FindSym0Data.Foldable.Singletons, Data.List.Singletons
FindSym1Data.Foldable.Singletons, Data.List.Singletons
FindSym2Data.Foldable.Singletons, Data.List.Singletons
FirstSym0 
1 (Type/Class)Data.Semigroup.Singletons
2 (Type/Class)Data.Monoid.Singletons
FirstSym1 
1 (Type/Class)Data.Semigroup.Singletons
2 (Type/Class)Data.Monoid.Singletons
FlipData.Function.Singletons, Prelude.Singletons
FlipSym0Data.Function.Singletons, Prelude.Singletons
FlipSym1Data.Function.Singletons, Prelude.Singletons
FlipSym2Data.Function.Singletons, Prelude.Singletons
FlipSym3Data.Function.Singletons, Prelude.Singletons
FmapData.Functor.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Data.Singletons.Base.CustomStar, Control.Monad.Singletons, Prelude.Singletons
FmapDefaultData.Traversable.Singletons
FmapDefaultSym0Data.Traversable.Singletons
FmapDefaultSym1Data.Traversable.Singletons
FmapDefaultSym2Data.Traversable.Singletons
FmapSym0Data.Functor.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Control.Monad.Singletons, Prelude.Singletons
FmapSym1Data.Functor.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Control.Monad.Singletons, Prelude.Singletons
FmapSym2Data.Functor.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Control.Monad.Singletons, Prelude.Singletons
FoldData.Foldable.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Data.Singletons.Base.CustomStar
FoldlData.Foldable.Singletons, Data.List.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Data.Singletons.Base.CustomStar, Prelude.Singletons
Foldl'Data.Foldable.Singletons, Data.List.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Data.Singletons.Base.CustomStar
Foldl'Sym0Data.Foldable.Singletons, Data.List.Singletons
Foldl'Sym1Data.Foldable.Singletons, Data.List.Singletons
Foldl'Sym2Data.Foldable.Singletons, Data.List.Singletons
Foldl'Sym3Data.Foldable.Singletons, Data.List.Singletons
Foldl1Data.Foldable.Singletons, Data.List.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Data.Singletons.Base.CustomStar, Prelude.Singletons
Foldl1'Data.List.Singletons
Foldl1'Sym0Data.List.Singletons
Foldl1'Sym1Data.List.Singletons
Foldl1'Sym2Data.List.Singletons
Foldl1Sym0Data.Foldable.Singletons, Data.List.Singletons, Prelude.Singletons
Foldl1Sym1Data.Foldable.Singletons, Data.List.Singletons, Prelude.Singletons
Foldl1Sym2Data.Foldable.Singletons, Data.List.Singletons, Prelude.Singletons
FoldlMData.Foldable.Singletons, Control.Monad.Singletons
FoldlMSym0Data.Foldable.Singletons, Control.Monad.Singletons
FoldlMSym1Data.Foldable.Singletons, Control.Monad.Singletons
FoldlMSym2Data.Foldable.Singletons, Control.Monad.Singletons
FoldlMSym3Data.Foldable.Singletons, Control.Monad.Singletons
FoldlSym0Data.Foldable.Singletons, Data.List.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
FoldlSym1Data.Foldable.Singletons, Data.List.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
FoldlSym2Data.Foldable.Singletons, Data.List.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
FoldlSym3Data.Foldable.Singletons, Data.List.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
FoldMapData.Foldable.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Data.Singletons.Base.CustomStar, Prelude.Singletons
FoldMapDefaultData.Traversable.Singletons
FoldMapDefaultSym0Data.Traversable.Singletons
FoldMapDefaultSym1Data.Traversable.Singletons
FoldMapDefaultSym2Data.Traversable.Singletons
FoldMapSym0Data.Foldable.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
FoldMapSym1Data.Foldable.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
FoldMapSym2Data.Foldable.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
FoldrData.Foldable.Singletons, Data.List.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Data.Singletons.Base.CustomStar, Prelude.Singletons
Foldr'Data.Foldable.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Data.Singletons.Base.CustomStar
Foldr'Sym0Data.Foldable.Singletons
Foldr'Sym1Data.Foldable.Singletons
Foldr'Sym2Data.Foldable.Singletons
Foldr'Sym3Data.Foldable.Singletons
Foldr1Data.Foldable.Singletons, Data.List.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Data.Singletons.Base.CustomStar, Prelude.Singletons
Foldr1Sym0Data.Foldable.Singletons, Data.List.Singletons, Prelude.Singletons
Foldr1Sym1Data.Foldable.Singletons, Data.List.Singletons, Prelude.Singletons
Foldr1Sym2Data.Foldable.Singletons, Data.List.Singletons, Prelude.Singletons
FoldrMData.Foldable.Singletons
FoldrMSym0Data.Foldable.Singletons
FoldrMSym1Data.Foldable.Singletons
FoldrMSym2Data.Foldable.Singletons
FoldrMSym3Data.Foldable.Singletons
FoldrSym0Data.Foldable.Singletons, Data.List.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
FoldrSym1Data.Foldable.Singletons, Data.List.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
FoldrSym2Data.Foldable.Singletons, Data.List.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
FoldrSym3Data.Foldable.Singletons, Data.List.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
FoldSym0Data.Foldable.Singletons
FoldSym1Data.Foldable.Singletons
ForData.Traversable.Singletons
ForMData.Traversable.Singletons, Control.Monad.Singletons
ForMSym0Data.Traversable.Singletons, Control.Monad.Singletons
ForMSym1Data.Traversable.Singletons, Control.Monad.Singletons
ForMSym2Data.Traversable.Singletons, Control.Monad.Singletons
ForM_Data.Foldable.Singletons
ForM_Sym0Data.Foldable.Singletons
ForM_Sym1Data.Foldable.Singletons
ForM_Sym2Data.Foldable.Singletons
ForSym0Data.Traversable.Singletons
ForSym1Data.Traversable.Singletons
ForSym2Data.Traversable.Singletons
For_Data.Foldable.Singletons
For_Sym0Data.Foldable.Singletons
For_Sym1Data.Foldable.Singletons
For_Sym2Data.Foldable.Singletons
FromEnumData.Singletons.Base.Enum, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Data.Singletons.Base.CustomStar, Prelude.Singletons
FromEnumSym0Data.Singletons.Base.Enum, Prelude.Singletons
FromEnumSym1Data.Singletons.Base.Enum, Prelude.Singletons
FromIntegerData.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Data.Singletons.Base.CustomStar, Prelude.Singletons
FromIntegerSym0Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
FromIntegerSym1Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
FromJustData.Maybe.Singletons
FromJustSym0Data.Maybe.Singletons
FromJustSym1Data.Maybe.Singletons
FromListData.List.NonEmpty.Singletons
FromListSym0Data.List.NonEmpty.Singletons
FromListSym1Data.List.NonEmpty.Singletons
FromMaybeData.Maybe.Singletons
FromMaybeSym0Data.Maybe.Singletons
FromMaybeSym1Data.Maybe.Singletons
FromMaybeSym2Data.Maybe.Singletons
FromSingData.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
fromSingData.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
FromStringData.String.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Data.Singletons.Base.CustomStar
FromStringSym0Data.String.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar
FromStringSym1Data.String.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar
FstData.Tuple.Singletons, Prelude.Singletons
FstSym0Data.Tuple.Singletons, Prelude.Singletons
FstSym1Data.Tuple.Singletons, Prelude.Singletons
genDefunSymbolsData.Singletons.Base.TH, Data.Singletons.Base.CustomStar
GenericLengthData.List.Singletons
GenericLengthSym0Data.List.Singletons
GenericLengthSym1Data.List.Singletons
genPromotionsData.Singletons.Base.TH, Data.Singletons.Base.CustomStar
genSingletonsData.Singletons.Base.TH, Data.Singletons.Base.CustomStar
GetAllData.Monoid.Singletons, Data.Semigroup.Singletons
GetAllSym0Data.Monoid.Singletons, Data.Semigroup.Singletons
GetAllSym1Data.Monoid.Singletons, Data.Semigroup.Singletons
GetAnyData.Monoid.Singletons, Data.Semigroup.Singletons
GetAnySym0Data.Monoid.Singletons, Data.Semigroup.Singletons
GetAnySym1Data.Monoid.Singletons, Data.Semigroup.Singletons
GetComposeData.Functor.Compose.Singletons
GetComposeSym0Data.Functor.Compose.Singletons
GetComposeSym1Data.Functor.Compose.Singletons
GetConstData.Functor.Const.Singletons, Control.Applicative.Singletons
GetConstSym0Data.Functor.Const.Singletons, Control.Applicative.Singletons
GetConstSym1Data.Functor.Const.Singletons, Control.Applicative.Singletons
GetDownData.Ord.Singletons
GetDownSym0Data.Ord.Singletons
GetDownSym1Data.Ord.Singletons
GetDualData.Monoid.Singletons, Data.Semigroup.Singletons
GetDualSym0Data.Monoid.Singletons, Data.Semigroup.Singletons
GetDualSym1Data.Monoid.Singletons, Data.Semigroup.Singletons
GetFirst 
1 (Type/Class)Data.Semigroup.Singletons
2 (Type/Class)Data.Monoid.Singletons
GetFirstSym0 
1 (Type/Class)Data.Semigroup.Singletons
2 (Type/Class)Data.Monoid.Singletons
GetFirstSym1 
1 (Type/Class)Data.Semigroup.Singletons
2 (Type/Class)Data.Monoid.Singletons
GetLast 
1 (Type/Class)Data.Semigroup.Singletons
2 (Type/Class)Data.Monoid.Singletons
GetLastSym0 
1 (Type/Class)Data.Semigroup.Singletons
2 (Type/Class)Data.Monoid.Singletons
GetLastSym1 
1 (Type/Class)Data.Semigroup.Singletons
2 (Type/Class)Data.Monoid.Singletons
GetMaxData.Semigroup.Singletons
GetMaxSym0Data.Semigroup.Singletons
GetMaxSym1Data.Semigroup.Singletons
GetMinData.Semigroup.Singletons
GetMinSym0Data.Semigroup.Singletons
GetMinSym1Data.Semigroup.Singletons
GetProductData.Monoid.Singletons, Data.Semigroup.Singletons
GetProductSym0Data.Monoid.Singletons, Data.Semigroup.Singletons
GetProductSym1Data.Monoid.Singletons, Data.Semigroup.Singletons
GetSumData.Monoid.Singletons, Data.Semigroup.Singletons
GetSumSym0Data.Monoid.Singletons, Data.Semigroup.Singletons
GetSumSym1Data.Monoid.Singletons, Data.Semigroup.Singletons
Group 
1 (Type/Class)Data.List.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
Group1Data.List.NonEmpty.Singletons
Group1Sym0Data.List.NonEmpty.Singletons
Group1Sym1Data.List.NonEmpty.Singletons
GroupAllWithData.List.NonEmpty.Singletons
GroupAllWith1Data.List.NonEmpty.Singletons
GroupAllWith1Sym0Data.List.NonEmpty.Singletons
GroupAllWith1Sym1Data.List.NonEmpty.Singletons
GroupAllWith1Sym2Data.List.NonEmpty.Singletons
GroupAllWithSym0Data.List.NonEmpty.Singletons
GroupAllWithSym1Data.List.NonEmpty.Singletons
GroupAllWithSym2Data.List.NonEmpty.Singletons
GroupBy 
1 (Type/Class)Data.List.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
GroupBy1Data.List.NonEmpty.Singletons
GroupBy1Sym0Data.List.NonEmpty.Singletons
GroupBy1Sym1Data.List.NonEmpty.Singletons
GroupBy1Sym2Data.List.NonEmpty.Singletons
GroupBySym0 
1 (Type/Class)Data.List.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
GroupBySym1 
1 (Type/Class)Data.List.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
GroupBySym2 
1 (Type/Class)Data.List.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
GroupSym0 
1 (Type/Class)Data.List.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
GroupSym1 
1 (Type/Class)Data.List.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
GroupWithData.List.NonEmpty.Singletons
GroupWith1Data.List.NonEmpty.Singletons
GroupWith1Sym0Data.List.NonEmpty.Singletons
GroupWith1Sym1Data.List.NonEmpty.Singletons
GroupWith1Sym2Data.List.NonEmpty.Singletons
GroupWithSym0Data.List.NonEmpty.Singletons
GroupWithSym1Data.List.NonEmpty.Singletons
GroupWithSym2Data.List.NonEmpty.Singletons
GTSym0Data.Ord.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
GuardControl.Monad.Singletons
GuardSym0Control.Monad.Singletons
GuardSym1Control.Monad.Singletons
Head 
1 (Type/Class)Data.List.Singletons, Prelude.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
HeadSym0 
1 (Type/Class)Data.List.Singletons, Prelude.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
HeadSym1 
1 (Type/Class)Data.List.Singletons, Prelude.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
IdData.Function.Singletons, Prelude.Singletons
IdentitySym0Data.Functor.Identity.Singletons
IdentitySym1Data.Functor.Identity.Singletons
IdSym0Data.Function.Singletons, Prelude.Singletons
IdSym1Data.Function.Singletons, Prelude.Singletons
IfData.Bool.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
IfSym0Data.Bool.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
IfSym1Data.Bool.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
IfSym2Data.Bool.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
IfSym3Data.Bool.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
Init 
1 (Type/Class)Data.List.Singletons, Prelude.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
Inits 
1 (Type/Class)Data.List.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
InitsSym0 
1 (Type/Class)Data.List.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
InitsSym1 
1 (Type/Class)Data.List.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
InitSym0 
1 (Type/Class)Data.List.Singletons, Prelude.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
InitSym1 
1 (Type/Class)Data.List.Singletons, Prelude.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
InLSym0Data.Functor.Sum.Singletons
InLSym1Data.Functor.Sum.Singletons
InRSym0Data.Functor.Sum.Singletons
InRSym1Data.Functor.Sum.Singletons
Insert 
1 (Type/Class)Data.List.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
InsertByData.List.Singletons
InsertBySym0Data.List.Singletons
InsertBySym1Data.List.Singletons
InsertBySym2Data.List.Singletons
InsertBySym3Data.List.Singletons
InsertSym0 
1 (Type/Class)Data.List.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
InsertSym1 
1 (Type/Class)Data.List.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
InsertSym2 
1 (Type/Class)Data.List.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
IntercalateData.List.Singletons
IntercalateSym0Data.List.Singletons
IntercalateSym1Data.List.Singletons
IntercalateSym2Data.List.Singletons
IntersectData.List.Singletons
IntersectByData.List.Singletons
IntersectBySym0Data.List.Singletons
IntersectBySym1Data.List.Singletons
IntersectBySym2Data.List.Singletons
IntersectBySym3Data.List.Singletons
IntersectSym0Data.List.Singletons
IntersectSym1Data.List.Singletons
IntersectSym2Data.List.Singletons
Intersperse 
1 (Type/Class)Data.List.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
IntersperseSym0 
1 (Type/Class)Data.List.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
IntersperseSym1 
1 (Type/Class)Data.List.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
IntersperseSym2 
1 (Type/Class)Data.List.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
IsInfixOfData.List.Singletons
IsInfixOfSym0Data.List.Singletons
IsInfixOfSym1Data.List.Singletons
IsInfixOfSym2Data.List.Singletons
IsJustData.Maybe.Singletons
IsJustSym0Data.Maybe.Singletons
IsJustSym1Data.Maybe.Singletons
IsLeftData.Either.Singletons
IsLeftSym0Data.Either.Singletons
IsLeftSym1Data.Either.Singletons
IsNothingData.Maybe.Singletons
IsNothingSym0Data.Maybe.Singletons
IsNothingSym1Data.Maybe.Singletons
IsPrefixOf 
1 (Type/Class)Data.List.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
IsPrefixOfSym0 
1 (Type/Class)Data.List.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
IsPrefixOfSym1 
1 (Type/Class)Data.List.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
IsPrefixOfSym2 
1 (Type/Class)Data.List.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
IsRightData.Either.Singletons
IsRightSym0Data.Either.Singletons
IsRightSym1Data.Either.Singletons
IsSuffixOfData.List.Singletons
IsSuffixOfSym0Data.List.Singletons
IsSuffixOfSym1Data.List.Singletons
IsSuffixOfSym2Data.List.Singletons
JoinControl.Monad.Singletons
JoinSym0Control.Monad.Singletons
JoinSym1Control.Monad.Singletons
JustSym0Data.Maybe.Singletons, Prelude.Singletons
JustSym1Data.Maybe.Singletons, Prelude.Singletons
KindOfData.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
KindOfSym0Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
KindOfSym1Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
KnownCharGHC.TypeLits.Singletons
KnownCharSym0GHC.TypeLits.Singletons
KnownCharSym1GHC.TypeLits.Singletons
KnownNatGHC.TypeLits.Singletons
KnownNatSym0GHC.TypeLits.Singletons
KnownNatSym1GHC.TypeLits.Singletons
KnownSymbolGHC.TypeLits.Singletons
KnownSymbolSym0GHC.TypeLits.Singletons
KnownSymbolSym1GHC.TypeLits.Singletons
Last 
1 (Type/Class)Data.List.Singletons, Prelude.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
LastSym0 
1 (Type/Class)Data.Semigroup.Singletons
2 (Type/Class)Data.List.Singletons, Prelude.Singletons
3 (Type/Class)Data.Monoid.Singletons
4 (Type/Class)Data.List.NonEmpty.Singletons
LastSym1 
1 (Type/Class)Data.Semigroup.Singletons
2 (Type/Class)Data.List.Singletons, Prelude.Singletons
3 (Type/Class)Data.Monoid.Singletons
4 (Type/Class)Data.List.NonEmpty.Singletons
LeftsData.Either.Singletons
LeftsSym0Data.Either.Singletons
LeftsSym1Data.Either.Singletons
LeftSym0Data.Either.Singletons, Prelude.Singletons
LeftSym1Data.Either.Singletons, Prelude.Singletons
Length 
1 (Type/Class)Data.Foldable.Singletons, Data.List.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Data.Singletons.Base.CustomStar, Prelude.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
LengthSym0 
1 (Type/Class)Data.Foldable.Singletons, Data.List.Singletons, Prelude.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
LengthSym1 
1 (Type/Class)Data.Foldable.Singletons, Data.List.Singletons, Prelude.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
LiftAControl.Applicative.Singletons
LiftA2Control.Applicative.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Data.Singletons.Base.CustomStar
LiftA2Sym0Control.Applicative.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar
LiftA2Sym1Control.Applicative.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar
LiftA2Sym2Control.Applicative.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar
LiftA2Sym3Control.Applicative.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar
LiftA3Control.Applicative.Singletons
LiftA3Sym0Control.Applicative.Singletons
LiftA3Sym1Control.Applicative.Singletons
LiftA3Sym2Control.Applicative.Singletons
LiftA3Sym3Control.Applicative.Singletons
LiftASym0Control.Applicative.Singletons
LiftASym1Control.Applicative.Singletons
LiftASym2Control.Applicative.Singletons
LiftMControl.Monad.Singletons
LiftM2Control.Monad.Singletons
LiftM2Sym0Control.Monad.Singletons
LiftM2Sym1Control.Monad.Singletons
LiftM2Sym2Control.Monad.Singletons
LiftM2Sym3Control.Monad.Singletons
LiftM3Control.Monad.Singletons
LiftM3Sym0Control.Monad.Singletons
LiftM3Sym1Control.Monad.Singletons
LiftM3Sym2Control.Monad.Singletons
LiftM3Sym3Control.Monad.Singletons
LiftM3Sym4Control.Monad.Singletons
LiftM4Control.Monad.Singletons
LiftM4Sym0Control.Monad.Singletons
LiftM4Sym1Control.Monad.Singletons
LiftM4Sym2Control.Monad.Singletons
LiftM4Sym3Control.Monad.Singletons
LiftM4Sym4Control.Monad.Singletons
LiftM4Sym5Control.Monad.Singletons
LiftM5Control.Monad.Singletons
LiftM5Sym0Control.Monad.Singletons
LiftM5Sym1Control.Monad.Singletons
LiftM5Sym2Control.Monad.Singletons
LiftM5Sym3Control.Monad.Singletons
LiftM5Sym4Control.Monad.Singletons
LiftM5Sym5Control.Monad.Singletons
LiftM5Sym6Control.Monad.Singletons
LiftMSym0Control.Monad.Singletons
LiftMSym1Control.Monad.Singletons
LiftMSym2Control.Monad.Singletons
liftSingData.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
liftSing2Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
ListToMaybeData.Maybe.Singletons
ListToMaybeSym0Data.Maybe.Singletons
ListToMaybeSym1Data.Maybe.Singletons
Log2GHC.TypeLits.Singletons
Log2Sym0GHC.TypeLits.Singletons
Log2Sym1GHC.TypeLits.Singletons
LookupData.List.Singletons, Prelude.Singletons
LookupSym0Data.List.Singletons, Prelude.Singletons
LookupSym1Data.List.Singletons, Prelude.Singletons
LookupSym2Data.List.Singletons, Prelude.Singletons
LTSym0Data.Ord.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
Map 
1 (Type/Class)Data.List.Singletons, Prelude.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
MapAccumLData.Traversable.Singletons, Data.List.Singletons
MapAccumLSym0Data.Traversable.Singletons, Data.List.Singletons
MapAccumLSym1Data.Traversable.Singletons, Data.List.Singletons
MapAccumLSym2Data.Traversable.Singletons, Data.List.Singletons
MapAccumLSym3Data.Traversable.Singletons, Data.List.Singletons
MapAccumRData.Traversable.Singletons, Data.List.Singletons
MapAccumRSym0Data.Traversable.Singletons, Data.List.Singletons
MapAccumRSym1Data.Traversable.Singletons, Data.List.Singletons
MapAccumRSym2Data.Traversable.Singletons, Data.List.Singletons
MapAccumRSym3Data.Traversable.Singletons, Data.List.Singletons
MapAndUnzipMControl.Monad.Singletons
MapAndUnzipMSym0Control.Monad.Singletons
MapAndUnzipMSym1Control.Monad.Singletons
MapAndUnzipMSym2Control.Monad.Singletons
MapMData.Traversable.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Data.Singletons.Base.CustomStar, Control.Monad.Singletons, Prelude.Singletons
MapMaybeData.Maybe.Singletons
MapMaybeSym0Data.Maybe.Singletons
MapMaybeSym1Data.Maybe.Singletons
MapMaybeSym2Data.Maybe.Singletons
MapMSym0Data.Traversable.Singletons, Control.Monad.Singletons, Prelude.Singletons
MapMSym1Data.Traversable.Singletons, Control.Monad.Singletons, Prelude.Singletons
MapMSym2Data.Traversable.Singletons, Control.Monad.Singletons, Prelude.Singletons
MapM_Data.Foldable.Singletons, Control.Monad.Singletons, Prelude.Singletons
MapM_Sym0Data.Foldable.Singletons, Control.Monad.Singletons, Prelude.Singletons
MapM_Sym1Data.Foldable.Singletons, Control.Monad.Singletons, Prelude.Singletons
MapM_Sym2Data.Foldable.Singletons, Control.Monad.Singletons, Prelude.Singletons
MappendData.Monoid.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Data.Singletons.Base.CustomStar, Prelude.Singletons
MappendSym0Data.Monoid.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
MappendSym1Data.Monoid.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
MappendSym2Data.Monoid.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
MapSym0 
1 (Type/Class)Data.List.Singletons, Prelude.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
MapSym1 
1 (Type/Class)Data.List.Singletons, Prelude.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
MapSym2 
1 (Type/Class)Data.List.Singletons, Prelude.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
MaxData.Ord.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Data.Singletons.Base.CustomStar, Prelude.Singletons
MaxBoundData.Singletons.Base.Enum, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Data.Singletons.Base.CustomStar, Prelude.Singletons
MaxBoundSym0Data.Singletons.Base.Enum, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
MaximumData.Foldable.Singletons, Data.List.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Data.Singletons.Base.CustomStar, Prelude.Singletons
MaximumByData.Foldable.Singletons, Data.List.Singletons
MaximumBySym0Data.Foldable.Singletons, Data.List.Singletons
MaximumBySym1Data.Foldable.Singletons, Data.List.Singletons
MaximumBySym2Data.Foldable.Singletons, Data.List.Singletons
MaximumSym0Data.Foldable.Singletons, Data.List.Singletons, Prelude.Singletons
MaximumSym1Data.Foldable.Singletons, Data.List.Singletons, Prelude.Singletons
MaxSym0 
1 (Type/Class)Data.Ord.Singletons, Prelude.Singletons
2 (Type/Class)Data.Semigroup.Singletons
MaxSym1 
1 (Type/Class)Data.Ord.Singletons, Prelude.Singletons
2 (Type/Class)Data.Semigroup.Singletons
MaxSym2Data.Ord.Singletons, Prelude.Singletons
MaybeToListData.Maybe.Singletons
MaybeToListSym0Data.Maybe.Singletons
MaybeToListSym1Data.Maybe.Singletons
Maybe_Data.Maybe.Singletons, Prelude.Singletons
maybe_Data.Maybe.Singletons, Prelude.Singletons
Maybe_Sym0Data.Maybe.Singletons, Prelude.Singletons
Maybe_Sym1Data.Maybe.Singletons, Prelude.Singletons
Maybe_Sym2Data.Maybe.Singletons, Prelude.Singletons
Maybe_Sym3Data.Maybe.Singletons, Prelude.Singletons
MconcatData.Monoid.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Data.Singletons.Base.CustomStar, Prelude.Singletons
MconcatSym0Data.Monoid.Singletons, Prelude.Singletons
MconcatSym1Data.Monoid.Singletons, Prelude.Singletons
MemptyData.Monoid.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Data.Singletons.Base.CustomStar, Prelude.Singletons
MemptySym0Data.Monoid.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
MfilterControl.Monad.Singletons
MfilterSym0Control.Monad.Singletons
MfilterSym1Control.Monad.Singletons
MfilterSym2Control.Monad.Singletons
MinData.Ord.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Data.Singletons.Base.CustomStar, Prelude.Singletons
MinBoundData.Singletons.Base.Enum, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Data.Singletons.Base.CustomStar, Prelude.Singletons
MinBoundSym0Data.Singletons.Base.Enum, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
MinimumData.Foldable.Singletons, Data.List.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Data.Singletons.Base.CustomStar, Prelude.Singletons
MinimumByData.Foldable.Singletons, Data.List.Singletons
MinimumBySym0Data.Foldable.Singletons, Data.List.Singletons
MinimumBySym1Data.Foldable.Singletons, Data.List.Singletons
MinimumBySym2Data.Foldable.Singletons, Data.List.Singletons
MinimumSym0Data.Foldable.Singletons, Data.List.Singletons, Prelude.Singletons
MinimumSym1Data.Foldable.Singletons, Data.List.Singletons, Prelude.Singletons
MinSym0 
1 (Type/Class)Data.Ord.Singletons, Prelude.Singletons
2 (Type/Class)Data.Semigroup.Singletons
MinSym1 
1 (Type/Class)Data.Ord.Singletons, Prelude.Singletons
2 (Type/Class)Data.Semigroup.Singletons
MinSym2Data.Ord.Singletons, Prelude.Singletons
ModGHC.TypeLits.Singletons
ModSym0GHC.TypeLits.Singletons
ModSym1GHC.TypeLits.Singletons
ModSym2GHC.TypeLits.Singletons
MplusControl.Monad.Singletons
MplusSym0Control.Monad.Singletons
MplusSym1Control.Monad.Singletons
MplusSym2Control.Monad.Singletons
MsumData.Foldable.Singletons, Control.Monad.Singletons
MsumSym0Data.Foldable.Singletons, Control.Monad.Singletons
MsumSym1Data.Foldable.Singletons, Control.Monad.Singletons
MunzipControl.Monad.Zip.Singletons
MunzipSym0Control.Monad.Zip.Singletons
MunzipSym1Control.Monad.Zip.Singletons
MzeroControl.Monad.Singletons
MzeroSym0Control.Monad.Singletons
MzipControl.Monad.Zip.Singletons
MzipSym0Control.Monad.Zip.Singletons
MzipSym1Control.Monad.Zip.Singletons
MzipSym2Control.Monad.Zip.Singletons
MzipWithControl.Monad.Zip.Singletons
MzipWithSym0Control.Monad.Zip.Singletons
MzipWithSym1Control.Monad.Zip.Singletons
MzipWithSym2Control.Monad.Zip.Singletons
MzipWithSym3Control.Monad.Zip.Singletons
NatToCharGHC.TypeLits.Singletons
natToCharGHC.TypeLits.Singletons
NatToCharSym0GHC.TypeLits.Singletons
NatToCharSym1GHC.TypeLits.Singletons
NaturalGHC.TypeLits.Singletons
natValGHC.TypeLits.Singletons
NegateData.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Data.Singletons.Base.CustomStar, Prelude.Singletons
NegateSym0Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
NegateSym1Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
NilSym0Data.List.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
NonEmpty_Data.List.NonEmpty.Singletons
NonEmpty_Sym0Data.List.NonEmpty.Singletons
NonEmpty_Sym1Data.List.NonEmpty.Singletons
NotData.Bool.Singletons, Data.Singletons.Base.CustomStar, Prelude.Singletons
NotElemData.Foldable.Singletons, Data.List.Singletons, Prelude.Singletons
NotElemSym0Data.Foldable.Singletons, Data.List.Singletons, Prelude.Singletons
NotElemSym1Data.Foldable.Singletons, Data.List.Singletons, Prelude.Singletons
NotElemSym2Data.Foldable.Singletons, Data.List.Singletons, Prelude.Singletons
NothingSym0Data.Maybe.Singletons, Prelude.Singletons
NotSym0Data.Bool.Singletons, Data.Singletons.Base.CustomStar, Prelude.Singletons
NotSym1Data.Bool.Singletons, Data.Singletons.Base.CustomStar, Prelude.Singletons
Nub 
1 (Type/Class)Data.List.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
NubBy 
1 (Type/Class)Data.List.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
NubBySym0 
1 (Type/Class)Data.List.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
NubBySym1 
1 (Type/Class)Data.List.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
NubBySym2 
1 (Type/Class)Data.List.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
NubSym0 
1 (Type/Class)Data.List.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
NubSym1 
1 (Type/Class)Data.List.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
NullData.Foldable.Singletons, Data.List.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Data.Singletons.Base.CustomStar, Prelude.Singletons
NullSym0Data.Foldable.Singletons, Data.List.Singletons, Prelude.Singletons
NullSym1Data.Foldable.Singletons, Data.List.Singletons, Prelude.Singletons
OnData.Function.Singletons
OnSym0Data.Function.Singletons
OnSym1Data.Function.Singletons
OnSym2Data.Function.Singletons
OnSym3Data.Function.Singletons
OnSym4Data.Function.Singletons
OptionalControl.Applicative.Singletons
OptionalSym0Control.Applicative.Singletons
OptionalSym1Control.Applicative.Singletons
OrData.Foldable.Singletons, Data.List.Singletons, Prelude.Singletons
OrSym0Data.Foldable.Singletons, Data.List.Singletons, Prelude.Singletons
OrSym1Data.Foldable.Singletons, Data.List.Singletons, Prelude.Singletons
OtherwiseData.Bool.Singletons, Data.Singletons.Base.CustomStar, Prelude.Singletons
OtherwiseSym0Data.Bool.Singletons, Data.Singletons.Base.CustomStar, Prelude.Singletons
PairSym0Data.Functor.Product.Singletons
PairSym1Data.Functor.Product.Singletons
PairSym2Data.Functor.Product.Singletons
PAlternativeControl.Applicative.Singletons
PApplicativeControl.Applicative.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
Partition 
1 (Type/Class)Data.List.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
PartitionEithersData.Either.Singletons
PartitionSym0 
1 (Type/Class)Data.List.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
PartitionSym1 
1 (Type/Class)Data.List.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
PartitionSym2 
1 (Type/Class)Data.List.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
PBoundedData.Singletons.Base.Enum, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
PEnumData.Singletons.Base.Enum, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
PEqData.Eq.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
PermutationsData.List.Singletons
PermutationsSym0Data.List.Singletons
PermutationsSym1Data.List.Singletons
PErrorMessageData.Singletons.Base.TypeError
PFoldableData.Foldable.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
PFunctorData.Functor.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Control.Monad.Singletons, Prelude.Singletons
PIsStringData.String.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar
PMonadControl.Monad.Singletons, Prelude.Singletons
PMonadFailControl.Monad.Fail.Singletons, Control.Monad.Singletons, Prelude.Singletons
PMonadPlusControl.Monad.Singletons
PMonadZipControl.Monad.Zip.Singletons
PMonoidData.Monoid.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
PNumPrelude.Singletons
POrdData.Ord.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
PredData.Singletons.Base.Enum
PredSym0Data.Singletons.Base.Enum
PredSym1Data.Singletons.Base.Enum
ProductData.Foldable.Singletons, Data.List.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Data.Singletons.Base.CustomStar, Prelude.Singletons
ProductSym0 
1 (Type/Class)Data.Monoid.Singletons, Data.Semigroup.Singletons
2 (Type/Class)Data.Foldable.Singletons, Data.List.Singletons, Prelude.Singletons
ProductSym1 
1 (Type/Class)Data.Monoid.Singletons, Data.Semigroup.Singletons
2 (Type/Class)Data.Foldable.Singletons, Data.List.Singletons, Prelude.Singletons
promoteData.Singletons.Base.TH, Data.Singletons.Base.CustomStar
promoteBoundedInstanceData.Singletons.Base.TH, Data.Singletons.Base.CustomStar
promoteBoundedInstancesData.Singletons.Base.TH, Data.Singletons.Base.CustomStar
promoteEnumInstanceData.Singletons.Base.TH, Data.Singletons.Base.CustomStar
promoteEnumInstancesData.Singletons.Base.TH, Data.Singletons.Base.CustomStar
promoteEqInstanceData.Singletons.Base.TH, Data.Singletons.Base.CustomStar
promoteEqInstancesData.Singletons.Base.TH, Data.Singletons.Base.CustomStar
promoteOnlyData.Singletons.Base.TH, Data.Singletons.Base.CustomStar
promoteOrdInstanceData.Singletons.Base.TH, Data.Singletons.Base.CustomStar
promoteOrdInstancesData.Singletons.Base.TH, Data.Singletons.Base.CustomStar
promoteShowInstanceData.Singletons.Base.TH, Data.Singletons.Base.CustomStar
promoteShowInstancesData.Singletons.Base.TH, Data.Singletons.Base.CustomStar
ProvedData.Singletons.Base.TH, Data.Singletons.Base.CustomStar
Proxy 
1 (Data Constructor)Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
2 (Type/Class)Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
ProxySym0Data.Proxy.Singletons
PSemigroupData.Semigroup.Singletons, Prelude.Singletons
PShowText.Show.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
PTraversableData.Traversable.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
PureControl.Applicative.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Data.Singletons.Base.CustomStar, Prelude.Singletons
PureSym0Control.Applicative.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
PureSym1Control.Applicative.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
QuotGHC.TypeLits.Singletons
QuotRemGHC.TypeLits.Singletons
QuotRemSym0GHC.TypeLits.Singletons
QuotRemSym1GHC.TypeLits.Singletons
QuotRemSym2GHC.TypeLits.Singletons
QuotSym0GHC.TypeLits.Singletons
QuotSym1GHC.TypeLits.Singletons
QuotSym2GHC.TypeLits.Singletons
ReflData.Singletons.Base.TH, Data.Singletons.Base.CustomStar
RefutedData.Singletons.Base.TH, Data.Singletons.Base.CustomStar
RemGHC.TypeLits.Singletons
RemSym0GHC.TypeLits.Singletons
RemSym1GHC.TypeLits.Singletons
RemSym2GHC.TypeLits.Singletons
ReplicateData.List.Singletons, Prelude.Singletons
ReplicateMControl.Monad.Singletons
ReplicateMSym0Control.Monad.Singletons
ReplicateMSym1Control.Monad.Singletons
ReplicateMSym2Control.Monad.Singletons
ReplicateM_Control.Monad.Singletons
ReplicateM_Sym0Control.Monad.Singletons
ReplicateM_Sym1Control.Monad.Singletons
ReplicateM_Sym2Control.Monad.Singletons
ReplicateSym0Data.List.Singletons, Prelude.Singletons
ReplicateSym1Data.List.Singletons, Prelude.Singletons
ReplicateSym2Data.List.Singletons, Prelude.Singletons
ReturnControl.Monad.Singletons, Prelude.Singletons
ReturnSym0Control.Monad.Singletons, Prelude.Singletons
ReturnSym1Control.Monad.Singletons, Prelude.Singletons
Reverse 
1 (Type/Class)Data.List.Singletons, Prelude.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
ReverseSym0 
1 (Type/Class)Data.List.Singletons, Prelude.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
ReverseSym1 
1 (Type/Class)Data.List.Singletons, Prelude.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
RightsData.Either.Singletons
RightsSym0Data.Either.Singletons
RightsSym1Data.Either.Singletons
RightSym0Data.Either.Singletons, Prelude.Singletons
RightSym1Data.Either.Singletons, Prelude.Singletons
RunIdentityData.Functor.Identity.Singletons
RunIdentitySym0Data.Functor.Identity.Singletons
RunIdentitySym1Data.Functor.Identity.Singletons
sAbsPrelude.Singletons
sAbsurdData.Void.Singletons
SAll 
1 (Type/Class)Data.Monoid.Singletons, Data.Semigroup.Singletons
2 (Data Constructor)Data.Monoid.Singletons, Data.Semigroup.Singletons
sAllData.Foldable.Singletons, Data.List.Singletons, Prelude.Singletons
SAlternativeControl.Applicative.Singletons
SameKindData.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
SameKindSym0Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
SameKindSym1Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
SameKindSym2Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
sAndData.Foldable.Singletons, Data.List.Singletons, Prelude.Singletons
SAny 
1 (Type/Class)Data.Monoid.Singletons, Data.Semigroup.Singletons
2 (Data Constructor)Data.Monoid.Singletons, Data.Semigroup.Singletons
sAnyData.Foldable.Singletons, Data.List.Singletons, Prelude.Singletons
sApControl.Monad.Singletons
SApplicativeControl.Applicative.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
sAppPrecText.Show.Singletons
sAppPrec1Text.Show.Singletons
SArg 
1 (Type/Class)Data.Semigroup.Singletons
2 (Data Constructor)Data.Semigroup.Singletons
sAsProxyTypeOfData.Proxy.Singletons
sAsTypeOfPrelude.Singletons
sAsumData.Foldable.Singletons
SBoolData.Bool.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
sBool_Data.Bool.Singletons, Data.Singletons.Base.CustomStar
SBoundedData.Singletons.Base.Enum, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
sBreak 
1 (Function)Data.List.Singletons, Prelude.Singletons
2 (Function)Data.List.NonEmpty.Singletons
Scanl 
1 (Type/Class)Data.List.Singletons, Prelude.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
Scanl1 
1 (Type/Class)Data.List.Singletons, Prelude.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
Scanl1Sym0 
1 (Type/Class)Data.List.Singletons, Prelude.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
Scanl1Sym1 
1 (Type/Class)Data.List.Singletons, Prelude.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
Scanl1Sym2 
1 (Type/Class)Data.List.Singletons, Prelude.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
ScanlSym0 
1 (Type/Class)Data.List.Singletons, Prelude.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
ScanlSym1 
1 (Type/Class)Data.List.Singletons, Prelude.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
ScanlSym2 
1 (Type/Class)Data.List.Singletons, Prelude.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
ScanlSym3 
1 (Type/Class)Data.List.Singletons, Prelude.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
Scanr 
1 (Type/Class)Data.List.Singletons, Prelude.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
Scanr1 
1 (Type/Class)Data.List.Singletons, Prelude.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
Scanr1Sym0 
1 (Type/Class)Data.List.Singletons, Prelude.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
Scanr1Sym1 
1 (Type/Class)Data.List.Singletons, Prelude.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
Scanr1Sym2 
1 (Type/Class)Data.List.Singletons, Prelude.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
ScanrSym0 
1 (Type/Class)Data.List.Singletons, Prelude.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
ScanrSym1 
1 (Type/Class)Data.List.Singletons, Prelude.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
ScanrSym2 
1 (Type/Class)Data.List.Singletons, Prelude.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
ScanrSym3 
1 (Type/Class)Data.List.Singletons, Prelude.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
sCasesData.Singletons.Base.TH, Data.Singletons.Base.CustomStar
sCatMaybesData.Maybe.Singletons
SChar 
1 (Type/Class)GHC.TypeLits.Singletons, Prelude.Singletons
2 (Data Constructor)GHC.TypeLits.Singletons
sCharToNatGHC.TypeLits.Singletons
sCompareData.Ord.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
sComparingData.Ord.Singletons
SCompose 
1 (Type/Class)Data.Functor.Compose.Singletons
2 (Data Constructor)Data.Functor.Compose.Singletons
SconcatData.Semigroup.Singletons
sConcatData.Foldable.Singletons, Data.List.Singletons, Prelude.Singletons
sConcatMapData.Foldable.Singletons, Data.List.Singletons, Prelude.Singletons
SconcatSym0Data.Semigroup.Singletons
SconcatSym1Data.Semigroup.Singletons
SConsData.List.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
sConsData.List.NonEmpty.Singletons
sConsSymbolGHC.TypeLits.Singletons
SConst 
1 (Type/Class)Data.Functor.Const.Singletons, Control.Applicative.Singletons
2 (Data Constructor)Data.Functor.Const.Singletons, Control.Applicative.Singletons
sConstData.Function.Singletons, Prelude.Singletons
sCurryData.Tuple.Singletons, Prelude.Singletons
SDecideData.Singletons.Base.TH, Data.Singletons.Base.CustomStar
sDeleteData.List.Singletons
sDeleteByData.List.Singletons
sDeleteFirstsByData.List.Singletons
sDivGHC.TypeLits.Singletons
sDivModGHC.TypeLits.Singletons
SDown 
1 (Type/Class)Data.Ord.Singletons
2 (Data Constructor)Data.Ord.Singletons
sDrop 
1 (Function)Data.List.Singletons, Prelude.Singletons
2 (Function)Data.List.NonEmpty.Singletons
sDropWhile 
1 (Function)Data.List.Singletons, Prelude.Singletons
2 (Function)Data.List.NonEmpty.Singletons
sDropWhileEndData.List.Singletons
SDual 
1 (Type/Class)Data.Monoid.Singletons, Data.Semigroup.Singletons
2 (Data Constructor)Data.Monoid.Singletons, Data.Semigroup.Singletons
SEitherData.Either.Singletons, Prelude.Singletons
sEither_Data.Either.Singletons, Prelude.Singletons
sElemData.Foldable.Singletons, Data.List.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
sElemIndexData.List.Singletons
sElemIndicesData.List.Singletons
sEmptyControl.Applicative.Singletons
SEnumData.Singletons.Base.Enum, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
sEnumFromThenToData.Singletons.Base.Enum, Prelude.Singletons
sEnumFromToData.Singletons.Base.Enum, Prelude.Singletons
SEQData.Ord.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
SEqData.Eq.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
SeqPrelude.Singletons
SeqSym0Prelude.Singletons
SeqSym1Prelude.Singletons
SeqSym2Prelude.Singletons
SequenceData.Traversable.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Data.Singletons.Base.CustomStar, Control.Monad.Singletons, Prelude.Singletons
SequenceAData.Traversable.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Data.Singletons.Base.CustomStar, Prelude.Singletons
SequenceASym0Data.Traversable.Singletons, Prelude.Singletons
SequenceASym1Data.Traversable.Singletons, Prelude.Singletons
SequenceA_Data.Foldable.Singletons
SequenceA_Sym0Data.Foldable.Singletons
SequenceA_Sym1Data.Foldable.Singletons
SequenceSym0Data.Traversable.Singletons, Control.Monad.Singletons, Prelude.Singletons
SequenceSym1Data.Traversable.Singletons, Control.Monad.Singletons, Prelude.Singletons
Sequence_Data.Foldable.Singletons, Control.Monad.Singletons, Prelude.Singletons
Sequence_Sym0Data.Foldable.Singletons, Control.Monad.Singletons, Prelude.Singletons
Sequence_Sym1Data.Foldable.Singletons, Control.Monad.Singletons, Prelude.Singletons
sErrorGHC.TypeLits.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
SErrorMessageData.Singletons.Base.TypeError
sErrorWithoutStackTraceGHC.TypeLits.Singletons, Prelude.Singletons
sFailControl.Monad.Fail.Singletons, Control.Monad.Singletons, Prelude.Singletons
SFalseData.Bool.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
sFilter 
1 (Function)Data.List.Singletons, Prelude.Singletons
2 (Function)Data.List.NonEmpty.Singletons
sFilterMControl.Monad.Singletons
sFindData.Foldable.Singletons, Data.List.Singletons
sFindIndexData.List.Singletons
sFindIndicesData.List.Singletons
SFirst 
1 (Type/Class)Data.Semigroup.Singletons
2 (Data Constructor)Data.Semigroup.Singletons
3 (Type/Class)Data.Monoid.Singletons
4 (Data Constructor)Data.Monoid.Singletons
sFlipData.Function.Singletons, Prelude.Singletons
sFmapData.Functor.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Control.Monad.Singletons, Prelude.Singletons
sFmapDefaultData.Traversable.Singletons
sFoldData.Foldable.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar
SFoldableData.Foldable.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
sFoldlData.Foldable.Singletons, Data.List.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
sFoldl'Data.Foldable.Singletons, Data.List.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar
sFoldl1Data.Foldable.Singletons, Data.List.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
sFoldl1'Data.List.Singletons
sFoldlMData.Foldable.Singletons, Control.Monad.Singletons
sFoldMapData.Foldable.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
sFoldMapDefaultData.Traversable.Singletons
sFoldrData.Foldable.Singletons, Data.List.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
sFoldr'Data.Foldable.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar
sFoldr1Data.Foldable.Singletons, Data.List.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
sFoldrMData.Foldable.Singletons
sForData.Traversable.Singletons
sForMData.Traversable.Singletons, Control.Monad.Singletons
sForM_Data.Foldable.Singletons
sFor_Data.Foldable.Singletons
sFromEnumData.Singletons.Base.Enum, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
sFromIntegerData.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
sFromJustData.Maybe.Singletons
sFromListData.List.NonEmpty.Singletons
sFromMaybeData.Maybe.Singletons
sFromStringData.String.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar
sFstData.Tuple.Singletons, Prelude.Singletons
SFunctorData.Functor.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Control.Monad.Singletons, Prelude.Singletons
sGenericLengthData.List.Singletons
sGetAllData.Monoid.Singletons, Data.Semigroup.Singletons
sGetAnyData.Monoid.Singletons, Data.Semigroup.Singletons
sGetComposeData.Functor.Compose.Singletons
sGetConstData.Functor.Const.Singletons, Control.Applicative.Singletons
sGetDownData.Ord.Singletons
sGetDualData.Monoid.Singletons, Data.Semigroup.Singletons
sGetFirst 
1 (Function)Data.Semigroup.Singletons
2 (Function)Data.Monoid.Singletons
sGetLast 
1 (Function)Data.Semigroup.Singletons
2 (Function)Data.Monoid.Singletons
sGetMaxData.Semigroup.Singletons
sGetMinData.Semigroup.Singletons
sGetProductData.Monoid.Singletons, Data.Semigroup.Singletons
sGetSumData.Monoid.Singletons, Data.Semigroup.Singletons
sGroup 
1 (Function)Data.List.Singletons
2 (Function)Data.List.NonEmpty.Singletons
sGroup1Data.List.NonEmpty.Singletons
sGroupAllWithData.List.NonEmpty.Singletons
sGroupAllWith1Data.List.NonEmpty.Singletons
sGroupBy 
1 (Function)Data.List.Singletons
2 (Function)Data.List.NonEmpty.Singletons
sGroupBy1Data.List.NonEmpty.Singletons
sGroupWithData.List.NonEmpty.Singletons
sGroupWith1Data.List.NonEmpty.Singletons
SGTData.Ord.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
sGuardControl.Monad.Singletons
sHead 
1 (Function)Data.List.Singletons, Prelude.Singletons
2 (Function)Data.List.NonEmpty.Singletons
ShowCharText.Show.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
ShowCharSym0Text.Show.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
ShowCharSym1Text.Show.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
ShowCharSym2Text.Show.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
ShowCommaSpaceText.Show.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar
ShowCommaSpaceSym0Text.Show.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar
ShowCommaSpaceSym1Text.Show.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar
showErrorMessageData.Singletons.Base.TypeError
ShowListText.Show.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Data.Singletons.Base.CustomStar, Prelude.Singletons
ShowListSym0Text.Show.Singletons, Prelude.Singletons
ShowListSym1Text.Show.Singletons, Prelude.Singletons
ShowListSym2Text.Show.Singletons, Prelude.Singletons
ShowListWithText.Show.Singletons
ShowListWithSym0Text.Show.Singletons
ShowListWithSym1Text.Show.Singletons
ShowListWithSym2Text.Show.Singletons
ShowListWithSym3Text.Show.Singletons
ShowParenText.Show.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
ShowParenSym0Text.Show.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
ShowParenSym1Text.Show.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
ShowParenSym2Text.Show.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
ShowsText.Show.Singletons, Prelude.Singletons
showSingInstanceData.Singletons.Base.TH, Data.Singletons.Base.CustomStar
showSingInstancesData.Singletons.Base.TH, Data.Singletons.Base.CustomStar
ShowSpaceText.Show.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar
ShowSpaceSym0Text.Show.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar
ShowSpaceSym1Text.Show.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar
ShowsPrecText.Show.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Data.Singletons.Base.CustomStar, Prelude.Singletons
ShowsPrecSym0Text.Show.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
ShowsPrecSym1Text.Show.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
ShowsPrecSym2Text.Show.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
ShowsPrecSym3Text.Show.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
ShowsSym0Text.Show.Singletons, Prelude.Singletons
ShowsSym1Text.Show.Singletons, Prelude.Singletons
ShowsSym2Text.Show.Singletons, Prelude.Singletons
ShowStringText.Show.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
ShowStringSym0Text.Show.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
ShowStringSym1Text.Show.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
ShowStringSym2Text.Show.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
ShowTypeData.Singletons.Base.TypeError
ShowTypeSym0Data.Singletons.Base.TypeError
ShowTypeSym1Data.Singletons.Base.TypeError
Show_Text.Show.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Data.Singletons.Base.CustomStar, Prelude.Singletons
show_Text.Show.Singletons, Prelude.Singletons
Show_Sym0Text.Show.Singletons, Prelude.Singletons
Show_Sym1Text.Show.Singletons, Prelude.Singletons
sIdData.Function.Singletons, Prelude.Singletons
SIdentity 
1 (Type/Class)Data.Functor.Identity.Singletons
2 (Data Constructor)Data.Functor.Identity.Singletons
sIfData.Bool.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
SignumPrelude.Singletons
SignumSym0Prelude.Singletons
SignumSym1Prelude.Singletons
Sing 
1 (Data Constructor)Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
2 (Type/Class)Data.Bool.Singletons, Data.Singletons.Base.TypeRepTYPE, Data.Ord.Singletons, Data.Tuple.Singletons, Data.Void.Singletons, Data.Either.Singletons, GHC.TypeLits.Singletons, Data.Maybe.Singletons, Data.Singletons.Base.TypeError, Data.Monoid.Singletons, Data.Proxy.Singletons, Data.Functor.Identity.Singletons, Data.Functor.Const.Singletons, Data.Semigroup.Singletons, Data.List.Singletons, Data.List.NonEmpty.Singletons, Data.Functor.Sum.Singletons, Control.Applicative.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Data.Functor.Compose.Singletons, Prelude.Singletons, Data.Functor.Product.Singletons
singData.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
sing1Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
sing2Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
singBoundedInstanceData.Singletons.Base.TH, Data.Singletons.Base.CustomStar
singBoundedInstancesData.Singletons.Base.TH, Data.Singletons.Base.CustomStar
singByProxyData.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
singByProxy#Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
singByProxy1Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
singByProxy1#Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
singByProxy2Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
singByProxy2#Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
singDecideInstanceData.Singletons.Base.TH, Data.Singletons.Base.CustomStar
singDecideInstancesData.Singletons.Base.TH, Data.Singletons.Base.CustomStar
singEnumInstanceData.Singletons.Base.TH, Data.Singletons.Base.CustomStar
singEnumInstancesData.Singletons.Base.TH, Data.Singletons.Base.CustomStar
singEqInstanceData.Singletons.Base.TH, Data.Singletons.Base.CustomStar
singEqInstancesData.Singletons.Base.TH, Data.Singletons.Base.CustomStar
singFun1Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
singFun2Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
singFun3Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
singFun4Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
singFun5Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
singFun6Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
singFun7Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
singFun8Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
SingFunction1Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
SingFunction2Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
SingFunction3Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
SingFunction4Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
SingFunction5Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
SingFunction6Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
SingFunction7Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
SingFunction8Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
SingIData.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
SingI1Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
SingI2Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
SingInstance 
1 (Type/Class)Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
2 (Data Constructor)Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
singInstanceData.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
singITyConInstanceData.Singletons.Base.TH, Data.Singletons.Base.CustomStar
singITyConInstancesData.Singletons.Base.TH, Data.Singletons.Base.CustomStar
SingKindData.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
singletonsData.Singletons.Base.TH, Data.Singletons.Base.CustomStar
singletonsOnlyData.Singletons.Base.TH, Data.Singletons.Base.CustomStar
singletonStarData.Singletons.Base.CustomStar
singOrdInstanceData.Singletons.Base.TH, Data.Singletons.Base.CustomStar
singOrdInstancesData.Singletons.Base.TH, Data.Singletons.Base.CustomStar
singShowInstanceData.Singletons.Base.TH, Data.Singletons.Base.CustomStar
singShowInstancesData.Singletons.Base.TH, Data.Singletons.Base.CustomStar
singThatData.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
singThat1Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
singThat2Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
sInit 
1 (Function)Data.List.Singletons, Prelude.Singletons
2 (Function)Data.List.NonEmpty.Singletons
sInits 
1 (Function)Data.List.Singletons
2 (Function)Data.List.NonEmpty.Singletons
SInLData.Functor.Sum.Singletons
SInRData.Functor.Sum.Singletons
sInsert 
1 (Function)Data.List.Singletons
2 (Function)Data.List.NonEmpty.Singletons
sInsertByData.List.Singletons
sIntercalateData.List.Singletons
sIntersectData.List.Singletons
sIntersectByData.List.Singletons
sIntersperse 
1 (Function)Data.List.Singletons
2 (Function)Data.List.NonEmpty.Singletons
sIsInfixOfData.List.Singletons
sIsJustData.Maybe.Singletons
sIsLeftData.Either.Singletons
sIsNothingData.Maybe.Singletons
sIsPrefixOf 
1 (Function)Data.List.Singletons
2 (Function)Data.List.NonEmpty.Singletons
sIsRightData.Either.Singletons
SIsStringData.String.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar
sIsSuffixOfData.List.Singletons
sJoinControl.Monad.Singletons
SJustData.Maybe.Singletons, Prelude.Singletons
SLambda 
1 (Type/Class)Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
2 (Data Constructor)Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
SLambda2Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
SLambda3Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
SLambda4Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
SLambda5Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
SLambda6Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
SLambda7Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
SLambda8Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
SLast 
1 (Type/Class)Data.Semigroup.Singletons
2 (Data Constructor)Data.Semigroup.Singletons
3 (Type/Class)Data.Monoid.Singletons
4 (Data Constructor)Data.Monoid.Singletons
sLast 
1 (Function)Data.List.Singletons, Prelude.Singletons
2 (Function)Data.List.NonEmpty.Singletons
SLeftData.Either.Singletons, Prelude.Singletons
sLeftsData.Either.Singletons
sLength 
1 (Function)Data.Foldable.Singletons, Data.List.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
2 (Function)Data.List.NonEmpty.Singletons
sLiftAControl.Applicative.Singletons
sLiftA2Control.Applicative.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar
sLiftA3Control.Applicative.Singletons
sLiftMControl.Monad.Singletons
sLiftM2Control.Monad.Singletons
sLiftM3Control.Monad.Singletons
sLiftM4Control.Monad.Singletons
sLiftM5Control.Monad.Singletons
SListData.List.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
sListToMaybeData.Maybe.Singletons
sLog2GHC.TypeLits.Singletons
sLookupData.List.Singletons, Prelude.Singletons
SLTData.Ord.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
sMap 
1 (Function)Data.List.Singletons, Prelude.Singletons
2 (Function)Data.List.NonEmpty.Singletons
sMapAccumLData.Traversable.Singletons, Data.List.Singletons
sMapAccumRData.Traversable.Singletons, Data.List.Singletons
sMapAndUnzipMControl.Monad.Singletons
sMapMData.Traversable.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Control.Monad.Singletons, Prelude.Singletons
sMapMaybeData.Maybe.Singletons
sMapM_Data.Foldable.Singletons, Control.Monad.Singletons, Prelude.Singletons
sMappendData.Monoid.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
SMax 
1 (Type/Class)Data.Semigroup.Singletons
2 (Data Constructor)Data.Semigroup.Singletons
sMaxData.Ord.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
sMaxBoundData.Singletons.Base.Enum, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
sMaximumData.Foldable.Singletons, Data.List.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
sMaximumByData.Foldable.Singletons, Data.List.Singletons
SMaybeData.Maybe.Singletons, Prelude.Singletons
sMaybeToListData.Maybe.Singletons
sMaybe_Data.Maybe.Singletons, Prelude.Singletons
sMconcatData.Monoid.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
sMemptyData.Monoid.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
sMfilterControl.Monad.Singletons
SMin 
1 (Type/Class)Data.Semigroup.Singletons
2 (Data Constructor)Data.Semigroup.Singletons
sMinData.Ord.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
sMinBoundData.Singletons.Base.Enum, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
sMinimumData.Foldable.Singletons, Data.List.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
sMinimumByData.Foldable.Singletons, Data.List.Singletons
sModGHC.TypeLits.Singletons
SMonadControl.Monad.Singletons, Prelude.Singletons
SMonadFailControl.Monad.Fail.Singletons, Control.Monad.Singletons, Prelude.Singletons
SMonadPlusControl.Monad.Singletons
SMonadZipControl.Monad.Zip.Singletons
SMonoidData.Monoid.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
sMplusControl.Monad.Singletons
sMsumData.Foldable.Singletons, Control.Monad.Singletons
sMunzipControl.Monad.Zip.Singletons
sMzeroControl.Monad.Singletons
sMzipControl.Monad.Zip.Singletons
sMzipWithControl.Monad.Zip.Singletons
SNat 
1 (Type/Class)GHC.TypeLits.Singletons
2 (Data Constructor)GHC.TypeLits.Singletons
sNatToCharGHC.TypeLits.Singletons
SndData.Tuple.Singletons, Prelude.Singletons
SndSym0Data.Tuple.Singletons, Prelude.Singletons
SndSym1Data.Tuple.Singletons, Prelude.Singletons
sNegateData.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
SNilData.List.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
SNonEmptyData.List.NonEmpty.Singletons
sNonEmpty_Data.List.NonEmpty.Singletons
sNotData.Bool.Singletons, Data.Singletons.Base.CustomStar, Prelude.Singletons
sNotElemData.Foldable.Singletons, Data.List.Singletons, Prelude.Singletons
SNothingData.Maybe.Singletons, Prelude.Singletons
sNub 
1 (Function)Data.List.Singletons
2 (Function)Data.List.NonEmpty.Singletons
sNubBy 
1 (Function)Data.List.Singletons
2 (Function)Data.List.NonEmpty.Singletons
sNullData.Foldable.Singletons, Data.List.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
SNumPrelude.Singletons
SomeSing 
1 (Type/Class)Data.Singletons.Base.SomeSing, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
2 (Data Constructor)Data.Singletons.Base.SomeSing, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
SomeTypeRepTYPE 
1 (Type/Class)Data.Singletons.Base.TypeRepTYPE
2 (Data Constructor)Data.Singletons.Base.TypeRepTYPE
sOnData.Function.Singletons
sOptionalControl.Applicative.Singletons
sOrData.Foldable.Singletons, Data.List.Singletons, Prelude.Singletons
SOrdData.Ord.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
SOrderingData.Ord.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
Sort 
1 (Type/Class)Data.List.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
SortBy 
1 (Type/Class)Data.List.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
SortBySym0 
1 (Type/Class)Data.List.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
SortBySym1 
1 (Type/Class)Data.List.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
SortBySym2 
1 (Type/Class)Data.List.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
SortSym0 
1 (Type/Class)Data.List.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
SortSym1 
1 (Type/Class)Data.List.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
SortWithData.List.NonEmpty.Singletons
SortWithSym0Data.List.NonEmpty.Singletons
SortWithSym1Data.List.NonEmpty.Singletons
SortWithSym2Data.List.NonEmpty.Singletons
sOtherwiseData.Bool.Singletons, Data.Singletons.Base.CustomStar, Prelude.Singletons
SPairData.Functor.Product.Singletons
Span 
1 (Type/Class)Data.List.Singletons, Prelude.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
SpanSym0 
1 (Type/Class)Data.List.Singletons, Prelude.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
SpanSym1 
1 (Type/Class)Data.List.Singletons, Prelude.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
SpanSym2 
1 (Type/Class)Data.List.Singletons, Prelude.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
sPartition 
1 (Function)Data.List.Singletons
2 (Function)Data.List.NonEmpty.Singletons
sPartitionEithersData.Either.Singletons
sPermutationsData.List.Singletons
SplitAt 
1 (Type/Class)Data.List.Singletons, Prelude.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
SplitAtSym0 
1 (Type/Class)Data.List.Singletons, Prelude.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
SplitAtSym1 
1 (Type/Class)Data.List.Singletons, Prelude.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
SplitAtSym2 
1 (Type/Class)Data.List.Singletons, Prelude.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
sPredData.Singletons.Base.Enum
SProduct 
1 (Type/Class)Data.Monoid.Singletons, Data.Semigroup.Singletons
2 (Data Constructor)Data.Monoid.Singletons, Data.Semigroup.Singletons
3 (Type/Class)Data.Functor.Product.Singletons
sProductData.Foldable.Singletons, Data.List.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
SProxy 
1 (Type/Class)Data.Proxy.Singletons
2 (Data Constructor)Data.Proxy.Singletons
sPureControl.Applicative.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
sQuotGHC.TypeLits.Singletons
sQuotRemGHC.TypeLits.Singletons
sRemGHC.TypeLits.Singletons
sReplicateData.List.Singletons, Prelude.Singletons
sReplicateMControl.Monad.Singletons
sReplicateM_Control.Monad.Singletons
sReturnControl.Monad.Singletons, Prelude.Singletons
sReverse 
1 (Function)Data.List.Singletons, Prelude.Singletons
2 (Function)Data.List.NonEmpty.Singletons
SRightData.Either.Singletons, Prelude.Singletons
sRightsData.Either.Singletons
sRunIdentityData.Functor.Identity.Singletons
sScanl 
1 (Function)Data.List.Singletons, Prelude.Singletons
2 (Function)Data.List.NonEmpty.Singletons
sScanl1 
1 (Function)Data.List.Singletons, Prelude.Singletons
2 (Function)Data.List.NonEmpty.Singletons
sScanr 
1 (Function)Data.List.Singletons, Prelude.Singletons
2 (Function)Data.List.NonEmpty.Singletons
sScanr1 
1 (Function)Data.List.Singletons, Prelude.Singletons
2 (Function)Data.List.NonEmpty.Singletons
sSconcatData.Semigroup.Singletons
SSemigroupData.Semigroup.Singletons, Prelude.Singletons
sSeqPrelude.Singletons
sSequenceData.Traversable.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Control.Monad.Singletons, Prelude.Singletons
sSequenceAData.Traversable.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
sSequenceA_Data.Foldable.Singletons
sSequence_Data.Foldable.Singletons, Control.Monad.Singletons, Prelude.Singletons
SShowText.Show.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
sShowCharText.Show.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
sShowCommaSpaceText.Show.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar
sShowListText.Show.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
sShowListWithText.Show.Singletons
sShowParenText.Show.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
sShowsText.Show.Singletons, Prelude.Singletons
sShowSpaceText.Show.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar
sShowsPrecText.Show.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
sShowStringText.Show.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
SShowTypeData.Singletons.Base.TypeError
sShow_Text.Show.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
sSignumPrelude.Singletons
sSndData.Tuple.Singletons, Prelude.Singletons
sSort 
1 (Function)Data.List.Singletons
2 (Function)Data.List.NonEmpty.Singletons
sSortBy 
1 (Function)Data.List.Singletons
2 (Function)Data.List.NonEmpty.Singletons
sSortWithData.List.NonEmpty.Singletons
sSpan 
1 (Function)Data.List.Singletons, Prelude.Singletons
2 (Function)Data.List.NonEmpty.Singletons
sSplitAt 
1 (Function)Data.List.Singletons, Prelude.Singletons
2 (Function)Data.List.NonEmpty.Singletons
sSubsequencesData.List.Singletons
sSubtractPrelude.Singletons
sSuccData.Singletons.Base.Enum
SSum 
1 (Type/Class)Data.Monoid.Singletons, Data.Semigroup.Singletons
2 (Data Constructor)Data.Monoid.Singletons, Data.Semigroup.Singletons
3 (Type/Class)Data.Functor.Sum.Singletons
sSumData.Foldable.Singletons, Data.List.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
sSwapData.Tuple.Singletons
SSymGHC.TypeLits.Singletons
SSymbolGHC.TypeLits.Singletons
sTail 
1 (Function)Data.List.Singletons, Prelude.Singletons
2 (Function)Data.List.NonEmpty.Singletons
sTails 
1 (Function)Data.List.Singletons
2 (Function)Data.List.NonEmpty.Singletons
sTake 
1 (Function)Data.List.Singletons, Prelude.Singletons
2 (Function)Data.List.NonEmpty.Singletons
sTakeWhile 
1 (Function)Data.List.Singletons, Prelude.Singletons
2 (Function)Data.List.NonEmpty.Singletons
STextData.Singletons.Base.TypeError
sThenCmpData.Ord.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar
sToEnumData.Singletons.Base.Enum, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
sToList 
1 (Function)Data.Foldable.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar
2 (Function)Data.List.NonEmpty.Singletons
sTranspose 
1 (Function)Data.List.Singletons
2 (Function)Data.List.NonEmpty.Singletons
STraversableData.Traversable.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
sTraverseData.Traversable.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
sTraverse_Data.Foldable.Singletons
StripPrefixData.List.Singletons
StripPrefixSym0Data.List.Singletons
StripPrefixSym1Data.List.Singletons
StripPrefixSym2Data.List.Singletons
STrueData.Bool.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
STuple0 
1 (Type/Class)Data.Tuple.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
2 (Data Constructor)Data.Tuple.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
STuple2 
1 (Type/Class)Data.Tuple.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
2 (Data Constructor)Data.Tuple.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
STuple3 
1 (Type/Class)Data.Tuple.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
2 (Data Constructor)Data.Tuple.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
STuple4 
1 (Type/Class)Data.Tuple.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
2 (Data Constructor)Data.Tuple.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
STuple5 
1 (Type/Class)Data.Tuple.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
2 (Data Constructor)Data.Tuple.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
STuple6 
1 (Type/Class)Data.Tuple.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
2 (Data Constructor)Data.Tuple.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
STuple7 
1 (Type/Class)Data.Tuple.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
2 (Data Constructor)Data.Tuple.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
sTypeErrorData.Singletons.Base.TypeError
SubsequencesData.List.Singletons
SubsequencesSym0Data.List.Singletons
SubsequencesSym1Data.List.Singletons
SubtractPrelude.Singletons
SubtractSym0Prelude.Singletons
SubtractSym1Prelude.Singletons
SubtractSym2Prelude.Singletons
SuccData.Singletons.Base.Enum
SuccSym0Data.Singletons.Base.Enum
SuccSym1Data.Singletons.Base.Enum
SumData.Foldable.Singletons, Data.List.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Data.Singletons.Base.CustomStar, Prelude.Singletons
SumSym0 
1 (Type/Class)Data.Monoid.Singletons, Data.Semigroup.Singletons
2 (Type/Class)Data.Foldable.Singletons, Data.List.Singletons, Prelude.Singletons
SumSym1 
1 (Type/Class)Data.Monoid.Singletons, Data.Semigroup.Singletons
2 (Type/Class)Data.Foldable.Singletons, Data.List.Singletons, Prelude.Singletons
sUnconsData.List.NonEmpty.Singletons
sUnconsSymbolGHC.TypeLits.Singletons
sUncurryData.Tuple.Singletons, Prelude.Singletons
sUndefinedGHC.TypeLits.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
sUnfoldData.List.NonEmpty.Singletons
sUnfoldr 
1 (Function)Data.List.Singletons
2 (Function)Data.List.NonEmpty.Singletons
sUnionData.List.Singletons
sUnionByData.List.Singletons
sUnlessControl.Monad.Singletons
sUnlinesData.List.Singletons, Prelude.Singletons
sUntilPrelude.Singletons
sUnwordsData.List.Singletons, Prelude.Singletons
sUnwrapMonoidData.Semigroup.Singletons
sUnwrapSingData.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
sUnzip 
1 (Function)Data.List.Singletons, Prelude.Singletons
2 (Function)Data.List.NonEmpty.Singletons
sUnzip3Data.List.Singletons, Prelude.Singletons
sUnzip4Data.List.Singletons
sUnzip5Data.List.Singletons
sUnzip6Data.List.Singletons
sUnzip7Data.List.Singletons
SuppressUnusedWarningsData.Singletons.Base.TH, Data.Singletons.Base.CustomStar
suppressUnusedWarningsData.Singletons.Base.TH, Data.Singletons.Base.CustomStar
SVoidData.Void.Singletons
sVoidData.Functor.Singletons, Control.Monad.Singletons
SwapData.Tuple.Singletons
SwapSym0Data.Tuple.Singletons
SwapSym1Data.Tuple.Singletons
sWhenControl.Monad.Singletons
SWrapMonoidData.Semigroup.Singletons
SWrappedMonoidData.Semigroup.Singletons
SWrappedSingData.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
SWrapSingData.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
sXorData.List.NonEmpty.Singletons
SymbolGHC.TypeLits.Singletons, Prelude.Singletons
SymbolSText.Show.Singletons, Prelude.Singletons
symbolValGHC.TypeLits.Singletons
sZip 
1 (Function)Data.List.Singletons, Prelude.Singletons
2 (Function)Data.List.NonEmpty.Singletons
sZip3Data.List.Singletons, Prelude.Singletons
sZipWith 
1 (Function)Data.List.Singletons, Prelude.Singletons
2 (Function)Data.List.NonEmpty.Singletons
sZipWith3Data.List.Singletons, Prelude.Singletons
sZipWithMControl.Monad.Singletons
sZipWithM_Control.Monad.Singletons
Tail 
1 (Type/Class)Data.List.Singletons, Prelude.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
Tails 
1 (Type/Class)Data.List.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
TailsSym0 
1 (Type/Class)Data.List.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
TailsSym1 
1 (Type/Class)Data.List.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
TailSym0 
1 (Type/Class)Data.List.Singletons, Prelude.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
TailSym1 
1 (Type/Class)Data.List.Singletons, Prelude.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
Take 
1 (Type/Class)Data.List.Singletons, Prelude.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
TakeSym0 
1 (Type/Class)Data.List.Singletons, Prelude.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
TakeSym1 
1 (Type/Class)Data.List.Singletons, Prelude.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
TakeSym2 
1 (Type/Class)Data.List.Singletons, Prelude.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
TakeWhile 
1 (Type/Class)Data.List.Singletons, Prelude.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
TakeWhileSym0 
1 (Type/Class)Data.List.Singletons, Prelude.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
TakeWhileSym1 
1 (Type/Class)Data.List.Singletons, Prelude.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
TakeWhileSym2 
1 (Type/Class)Data.List.Singletons, Prelude.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
TextData.Singletons.Base.TypeError
TextSym0Data.Singletons.Base.TypeError
TextSym1Data.Singletons.Base.TypeError
ThenCmpData.Ord.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar
thenCmpData.Ord.Singletons
ThenCmpSym0Data.Ord.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar
ThenCmpSym1Data.Ord.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar
ThenCmpSym2Data.Ord.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar
ToEnumData.Singletons.Base.Enum, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Data.Singletons.Base.CustomStar, Prelude.Singletons
ToEnumSym0Data.Singletons.Base.Enum, Prelude.Singletons
ToEnumSym1Data.Singletons.Base.Enum, Prelude.Singletons
ToList 
1 (Type/Class)Data.Foldable.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Data.Singletons.Base.CustomStar
2 (Type/Class)Data.List.NonEmpty.Singletons
ToListSym0 
1 (Type/Class)Data.Foldable.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
ToListSym1 
1 (Type/Class)Data.Foldable.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
toSingData.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
Transpose 
1 (Type/Class)Data.List.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
TransposeSym0 
1 (Type/Class)Data.List.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
TransposeSym1 
1 (Type/Class)Data.List.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
TraverseData.Traversable.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Data.Singletons.Base.CustomStar, Prelude.Singletons
TraverseSym0Data.Traversable.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
TraverseSym1Data.Traversable.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
TraverseSym2Data.Traversable.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
Traverse_Data.Foldable.Singletons
Traverse_Sym0Data.Foldable.Singletons
Traverse_Sym1Data.Foldable.Singletons
Traverse_Sym2Data.Foldable.Singletons
TrueSym0Data.Bool.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
Tuple0Sym0Data.Tuple.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
Tuple2Sym0Data.Tuple.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
Tuple2Sym1Data.Tuple.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
Tuple2Sym2Data.Tuple.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
Tuple3Sym0Data.Tuple.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
Tuple3Sym1Data.Tuple.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
Tuple3Sym2Data.Tuple.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
Tuple3Sym3Data.Tuple.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
Tuple4Sym0Data.Tuple.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
Tuple4Sym1Data.Tuple.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
Tuple4Sym2Data.Tuple.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
Tuple4Sym3Data.Tuple.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
Tuple4Sym4Data.Tuple.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
Tuple5Sym0Data.Tuple.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
Tuple5Sym1Data.Tuple.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
Tuple5Sym2Data.Tuple.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
Tuple5Sym3Data.Tuple.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
Tuple5Sym4Data.Tuple.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
Tuple5Sym5Data.Tuple.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
Tuple6Sym0Data.Tuple.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
Tuple6Sym1Data.Tuple.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
Tuple6Sym2Data.Tuple.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
Tuple6Sym3Data.Tuple.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
Tuple6Sym4Data.Tuple.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
Tuple6Sym5Data.Tuple.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
Tuple6Sym6Data.Tuple.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
Tuple7Sym0Data.Tuple.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
Tuple7Sym1Data.Tuple.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
Tuple7Sym2Data.Tuple.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
Tuple7Sym3Data.Tuple.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
Tuple7Sym4Data.Tuple.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
Tuple7Sym5Data.Tuple.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
Tuple7Sym6Data.Tuple.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
Tuple7Sym7Data.Tuple.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
TyConData.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
TyCon1Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
TyCon2Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
TyCon3Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
TyCon4Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
TyCon5Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
TyCon6Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
TyCon7Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
TyCon8Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
TyFunData.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
TypeErrorData.Singletons.Base.TypeError
typeErrorData.Singletons.Base.TypeError
TypeErrorSym0Data.Singletons.Base.TypeError
TypeErrorSym1Data.Singletons.Base.TypeError
UnconsData.List.NonEmpty.Singletons
UnconsSym0Data.List.NonEmpty.Singletons
UnconsSym1Data.List.NonEmpty.Singletons
UnconsSymbolGHC.TypeLits.Singletons
unconsSymbolGHC.TypeLits.Singletons
UnconsSymbolSym0GHC.TypeLits.Singletons
UnconsSymbolSym1GHC.TypeLits.Singletons
UncurryData.Tuple.Singletons, Prelude.Singletons
UncurrySym0Data.Tuple.Singletons, Prelude.Singletons
UncurrySym1Data.Tuple.Singletons, Prelude.Singletons
UncurrySym2Data.Tuple.Singletons, Prelude.Singletons
UndefinedGHC.TypeLits.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
UndefinedSym0GHC.TypeLits.Singletons, Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
UnfoldData.List.NonEmpty.Singletons
Unfoldr 
1 (Type/Class)Data.List.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
UnfoldrSym0 
1 (Type/Class)Data.List.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
UnfoldrSym1 
1 (Type/Class)Data.List.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
UnfoldrSym2 
1 (Type/Class)Data.List.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
UnfoldSym0Data.List.NonEmpty.Singletons
UnfoldSym1Data.List.NonEmpty.Singletons
UnionData.List.Singletons
UnionByData.List.Singletons
UnionBySym0Data.List.Singletons
UnionBySym1Data.List.Singletons
UnionBySym2Data.List.Singletons
UnionBySym3Data.List.Singletons
UnionSym0Data.List.Singletons
UnionSym1Data.List.Singletons
UnionSym2Data.List.Singletons
UnlessControl.Monad.Singletons
UnlessSym0Control.Monad.Singletons
UnlessSym1Control.Monad.Singletons
UnlessSym2Control.Monad.Singletons
UnlinesData.List.Singletons, Prelude.Singletons
UnlinesSym0Data.List.Singletons, Prelude.Singletons
UnlinesSym1Data.List.Singletons, Prelude.Singletons
unSingFun1Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
unSingFun2Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
unSingFun3Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
unSingFun4Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
unSingFun5Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
unSingFun6Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
unSingFun7Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
unSingFun8Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
UntilPrelude.Singletons
UntilSym0Prelude.Singletons
UntilSym1Prelude.Singletons
UntilSym2Prelude.Singletons
UntilSym3Prelude.Singletons
UnwordsData.List.Singletons, Prelude.Singletons
UnwordsSym0Data.List.Singletons, Prelude.Singletons
UnwordsSym1Data.List.Singletons, Prelude.Singletons
UnwrapMonoidData.Semigroup.Singletons
UnwrapMonoidSym0Data.Semigroup.Singletons
UnwrapMonoidSym1Data.Semigroup.Singletons
UnwrapSingData.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
unwrapSingData.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
Unzip 
1 (Type/Class)Data.List.Singletons, Prelude.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
Unzip3Data.List.Singletons, Prelude.Singletons
Unzip3Sym0Data.List.Singletons, Prelude.Singletons
Unzip3Sym1Data.List.Singletons, Prelude.Singletons
Unzip4Data.List.Singletons
Unzip4Sym0Data.List.Singletons
Unzip4Sym1Data.List.Singletons
Unzip5Data.List.Singletons
Unzip5Sym0Data.List.Singletons
Unzip5Sym1Data.List.Singletons
Unzip6Data.List.Singletons
Unzip6Sym0Data.List.Singletons
Unzip6Sym1Data.List.Singletons
Unzip7Data.List.Singletons
Unzip7Sym0Data.List.Singletons
Unzip7Sym1Data.List.Singletons
UnzipSym0 
1 (Type/Class)Data.List.Singletons, Prelude.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
UnzipSym1 
1 (Type/Class)Data.List.Singletons, Prelude.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
usingSingI1Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
usingSingI2Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
Void 
1 (Type/Class)Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar
2 (Type/Class)Data.Functor.Singletons, Control.Monad.Singletons
VoidSym0Data.Functor.Singletons, Control.Monad.Singletons
VoidSym1Data.Functor.Singletons, Control.Monad.Singletons
WhenControl.Monad.Singletons
WhenSym0Control.Monad.Singletons
WhenSym1Control.Monad.Singletons
WhenSym2Control.Monad.Singletons
withKnownCharGHC.TypeLits.Singletons
withKnownNatGHC.TypeLits.Singletons
withKnownSymbolGHC.TypeLits.Singletons
withSingData.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
withSing1Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
withSing2Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
withSingIData.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
withSomeSingData.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
WrapMonoidSym0Data.Semigroup.Singletons
WrapMonoidSym1Data.Semigroup.Singletons
WrappedSingData.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
WrapSingData.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
XorData.List.NonEmpty.Singletons
XorSym0Data.List.NonEmpty.Singletons
XorSym1Data.List.NonEmpty.Singletons
Zip 
1 (Type/Class)Data.List.Singletons, Prelude.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
Zip3Data.List.Singletons, Prelude.Singletons
Zip3Sym0Data.List.Singletons, Prelude.Singletons
Zip3Sym1Data.List.Singletons, Prelude.Singletons
Zip3Sym2Data.List.Singletons, Prelude.Singletons
Zip3Sym3Data.List.Singletons, Prelude.Singletons
Zip4Data.List.Singletons
Zip4Sym0Data.List.Singletons
Zip4Sym1Data.List.Singletons
Zip4Sym2Data.List.Singletons
Zip4Sym3Data.List.Singletons
Zip4Sym4Data.List.Singletons
Zip5Data.List.Singletons
Zip5Sym0Data.List.Singletons
Zip5Sym1Data.List.Singletons
Zip5Sym2Data.List.Singletons
Zip5Sym3Data.List.Singletons
Zip5Sym4Data.List.Singletons
Zip5Sym5Data.List.Singletons
Zip6Data.List.Singletons
Zip6Sym0Data.List.Singletons
Zip6Sym1Data.List.Singletons
Zip6Sym2Data.List.Singletons
Zip6Sym3Data.List.Singletons
Zip6Sym4Data.List.Singletons
Zip6Sym5Data.List.Singletons
Zip6Sym6Data.List.Singletons
Zip7Data.List.Singletons
Zip7Sym0Data.List.Singletons
Zip7Sym1Data.List.Singletons
Zip7Sym2Data.List.Singletons
Zip7Sym3Data.List.Singletons
Zip7Sym4Data.List.Singletons
Zip7Sym5Data.List.Singletons
Zip7Sym6Data.List.Singletons
Zip7Sym7Data.List.Singletons
ZipSym0 
1 (Type/Class)Data.List.Singletons, Prelude.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
ZipSym1 
1 (Type/Class)Data.List.Singletons, Prelude.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
ZipSym2 
1 (Type/Class)Data.List.Singletons, Prelude.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
ZipWith 
1 (Type/Class)Data.List.Singletons, Prelude.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
ZipWith3Data.List.Singletons, Prelude.Singletons
ZipWith3Sym0Data.List.Singletons, Prelude.Singletons
ZipWith3Sym1Data.List.Singletons, Prelude.Singletons
ZipWith3Sym2Data.List.Singletons, Prelude.Singletons
ZipWith3Sym3Data.List.Singletons, Prelude.Singletons
ZipWith3Sym4Data.List.Singletons
ZipWith4Data.List.Singletons
ZipWith4Sym0Data.List.Singletons
ZipWith4Sym1Data.List.Singletons
ZipWith4Sym2Data.List.Singletons
ZipWith4Sym3Data.List.Singletons
ZipWith4Sym4Data.List.Singletons
ZipWith4Sym5Data.List.Singletons
ZipWith5Data.List.Singletons
ZipWith5Sym0Data.List.Singletons
ZipWith5Sym1Data.List.Singletons
ZipWith5Sym2Data.List.Singletons
ZipWith5Sym3Data.List.Singletons
ZipWith5Sym4Data.List.Singletons
ZipWith5Sym5Data.List.Singletons
ZipWith5Sym6Data.List.Singletons
ZipWith6Data.List.Singletons
ZipWith6Sym0Data.List.Singletons
ZipWith6Sym1Data.List.Singletons
ZipWith6Sym2Data.List.Singletons
ZipWith6Sym3Data.List.Singletons
ZipWith6Sym4Data.List.Singletons
ZipWith6Sym5Data.List.Singletons
ZipWith6Sym6Data.List.Singletons
ZipWith6Sym7Data.List.Singletons
ZipWith7Data.List.Singletons
ZipWith7Sym0Data.List.Singletons
ZipWith7Sym1Data.List.Singletons
ZipWith7Sym2Data.List.Singletons
ZipWith7Sym3Data.List.Singletons
ZipWith7Sym4Data.List.Singletons
ZipWith7Sym5Data.List.Singletons
ZipWith7Sym6Data.List.Singletons
ZipWith7Sym7Data.List.Singletons
ZipWith7Sym8Data.List.Singletons
ZipWithMControl.Monad.Singletons
ZipWithMSym0Control.Monad.Singletons
ZipWithMSym1Control.Monad.Singletons
ZipWithMSym2Control.Monad.Singletons
ZipWithMSym3Control.Monad.Singletons
ZipWithM_Control.Monad.Singletons
ZipWithM_Sym0Control.Monad.Singletons
ZipWithM_Sym1Control.Monad.Singletons
ZipWithM_Sym2Control.Monad.Singletons
ZipWithM_Sym3Control.Monad.Singletons
ZipWithSym0 
1 (Type/Class)Data.List.Singletons, Prelude.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
ZipWithSym1 
1 (Type/Class)Data.List.Singletons, Prelude.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
ZipWithSym2 
1 (Type/Class)Data.List.Singletons, Prelude.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
ZipWithSym3 
1 (Type/Class)Data.List.Singletons, Prelude.Singletons
2 (Type/Class)Data.List.NonEmpty.Singletons
\\Data.List.Singletons
\\@#@$Data.List.Singletons
\\@#@$$Data.List.Singletons
\\@#@$$$Data.List.Singletons
^GHC.TypeLits.Singletons
^@#@$GHC.TypeLits.Singletons
^@#@$$GHC.TypeLits.Singletons
^@#@$$$GHC.TypeLits.Singletons
||Data.Bool.Singletons, Data.Singletons.Base.CustomStar, Prelude.Singletons
||@#@$Data.Bool.Singletons, Data.Singletons.Base.CustomStar, Prelude.Singletons
||@#@$$Data.Bool.Singletons, Data.Singletons.Base.CustomStar, Prelude.Singletons
||@#@$$$Data.Bool.Singletons, Data.Singletons.Base.CustomStar, Prelude.Singletons
~>Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
~>@#@$Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
~>@#@$$Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons
~>@#@$$$Data.Singletons.Base.TH, Data.Singletons.Base.CustomStar, Prelude.Singletons