singletons-2.7: A framework for generating singleton types

Index

!! 
1 (Type/Class)Data.Singletons.Prelude.List
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
!!@#@$ 
1 (Type/Class)Data.Singletons.Prelude.List
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
!!@#@$$ 
1 (Type/Class)Data.Singletons.Prelude.List
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
!!@#@$$$ 
1 (Type/Class)Data.Singletons.Prelude.List
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
$Data.Singletons.Prelude.Base, Data.Singletons.Prelude.Function, Data.Singletons.Prelude
$!Data.Singletons.Prelude.Base, Data.Singletons.Prelude
$!@#@$Data.Singletons.Prelude.Base, Data.Singletons.Prelude
$!@#@$$Data.Singletons.Prelude.Base, Data.Singletons.Prelude
$!@#@$$$Data.Singletons.Prelude.Base, Data.Singletons.Prelude
$>Data.Singletons.Prelude.Functor
$>@#@$Data.Singletons.Prelude.Functor
$>@#@$$Data.Singletons.Prelude.Functor
$>@#@$$$Data.Singletons.Prelude.Functor
$@#@$Data.Singletons.Prelude.Base, Data.Singletons.Prelude.Function, Data.Singletons.Prelude
$@#@$$Data.Singletons.Prelude.Base, Data.Singletons.Prelude.Function, Data.Singletons.Prelude
$@#@$$$Data.Singletons.Prelude.Base, Data.Singletons.Prelude.Function, Data.Singletons.Prelude
%!! 
1 (Function)Data.Singletons.Prelude.List
2 (Function)Data.Singletons.Prelude.List.NonEmpty
%$Data.Singletons.Prelude.Base, Data.Singletons.Prelude.Function, Data.Singletons.Prelude
%$!Data.Singletons.Prelude.Base, Data.Singletons.Prelude
%$>Data.Singletons.Prelude.Functor
%&Data.Singletons.Prelude.Function
%&&Data.Singletons.Prelude.Bool, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
%*Data.Singletons.Prelude.Num, Data.Singletons.Prelude
%*>Data.Singletons.Prelude.Applicative, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
%+Data.Singletons.Prelude.Num, Data.Singletons.Prelude
%++Data.Singletons.Prelude.Base, Data.Singletons.Prelude.List, Data.Singletons.Prelude
%-Data.Singletons.Prelude.Num, Data.Singletons.Prelude
%.Data.Singletons.Prelude.Base, Data.Singletons.Prelude.Function, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
%/=Data.Singletons.Prelude.Eq, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
%<Data.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
%<$Data.Singletons.Prelude.Functor, Data.Singletons.Prelude.Applicative, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
%<$!>Data.Singletons.Prelude.Monad
%<$>Data.Singletons.Prelude.Functor, Data.Singletons.Prelude.Applicative, Data.Singletons.Prelude
%<&>Data.Singletons.Prelude.Functor
%<*Data.Singletons.Prelude.Applicative, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
%<**>Data.Singletons.Prelude.Applicative
%<*>Data.Singletons.Prelude.Applicative, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
%<=Data.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
%<=<Data.Singletons.Prelude.Monad
%<=?Data.Singletons.TypeLits
%<>Data.Singletons.Prelude.Semigroup, Data.Singletons.Prelude
%<|Data.Singletons.Prelude.List.NonEmpty
%<|>Data.Singletons.Prelude.Applicative
%=<<Data.Singletons.Prelude.Monad, Data.Singletons.Prelude
%==Data.Singletons.Prelude.Eq, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
%>Data.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
%>=Data.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
%>=>Data.Singletons.Prelude.Monad
%>>Data.Singletons.Prelude.Monad, Data.Singletons.Prelude
%>>=Data.Singletons.Prelude.Monad, Data.Singletons.Prelude
%\\Data.Singletons.Prelude.List
%^Data.Singletons.TypeLits, Data.Singletons.Prelude
%||Data.Singletons.Prelude.Bool, Data.Singletons.Prelude, Data.Singletons.CustomStar
%~Data.Singletons.Decide, Data.Singletons.TH, Data.Singletons.CustomStar
&Data.Singletons.Prelude.Function
&&Data.Singletons.Prelude.Bool, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
&&@#@$Data.Singletons.Prelude.Bool, Data.Singletons.Prelude, Data.Singletons.CustomStar
&&@#@$$Data.Singletons.Prelude.Bool, Data.Singletons.Prelude, Data.Singletons.CustomStar
&&@#@$$$Data.Singletons.Prelude.Bool, Data.Singletons.Prelude, Data.Singletons.CustomStar
&@#@$Data.Singletons.Prelude.Function
&@#@$$Data.Singletons.Prelude.Function
&@#@$$$Data.Singletons.Prelude.Function
*Data.Singletons.Prelude.Num, Data.Singletons.Prelude, Data.Singletons.Prelude
*>Data.Singletons.Prelude.Applicative, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar, Data.Singletons.CustomStar
*>@#@$Data.Singletons.Prelude.Applicative, Data.Singletons.Prelude
*>@#@$$Data.Singletons.Prelude.Applicative, Data.Singletons.Prelude
*>@#@$$$Data.Singletons.Prelude.Applicative, Data.Singletons.Prelude
*@#@$Data.Singletons.Prelude.Num, Data.Singletons.Prelude
*@#@$$Data.Singletons.Prelude.Num, Data.Singletons.Prelude
*@#@$$$Data.Singletons.Prelude.Num, Data.Singletons.Prelude
+Data.Singletons.Prelude.Num, Data.Singletons.Prelude, Data.Singletons.Prelude
++Data.Singletons.Prelude.Base, Data.Singletons.Prelude.List, Data.Singletons.Prelude
++@#@$Data.Singletons.Prelude.Base, Data.Singletons.Prelude.List, Data.Singletons.Prelude
++@#@$$Data.Singletons.Prelude.Base, Data.Singletons.Prelude.List, Data.Singletons.Prelude
++@#@$$$Data.Singletons.Prelude.Base, Data.Singletons.Prelude.List
+@#@$Data.Singletons.Prelude.Num, Data.Singletons.Prelude
+@#@$$Data.Singletons.Prelude.Num, Data.Singletons.Prelude
+@#@$$$Data.Singletons.Prelude.Num, Data.Singletons.Prelude
-Data.Singletons.Prelude.Num, Data.Singletons.Prelude, Data.Singletons.Prelude
-@#@$Data.Singletons.Prelude.Num, Data.Singletons.Prelude
-@#@$$Data.Singletons.Prelude.Num, Data.Singletons.Prelude
-@#@$$$Data.Singletons.Prelude.Num, Data.Singletons.Prelude
.Data.Singletons.Prelude.Base, Data.Singletons.Prelude.Function, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
.@#@$Data.Singletons.Prelude.Base, Data.Singletons.Prelude.Function, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
.@#@$$Data.Singletons.Prelude.Base, Data.Singletons.Prelude.Function, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
.@#@$$$Data.Singletons.Prelude.Base, Data.Singletons.Prelude.Function, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
.@#@$$$$Data.Singletons.Prelude.Base, Data.Singletons.Prelude.Function, Data.Singletons.TH, Data.Singletons.CustomStar
/=Data.Singletons.Prelude.Eq, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.Prelude, Data.Singletons.CustomStar, Data.Singletons.CustomStar
/=@#@$Data.Singletons.Prelude.Eq, Data.Singletons.Prelude, Data.Singletons.CustomStar
/=@#@$$Data.Singletons.Prelude.Eq, Data.Singletons.Prelude, Data.Singletons.CustomStar
/=@#@$$$Data.Singletons.Prelude.Eq, Data.Singletons.Prelude, Data.Singletons.CustomStar
:$$:Data.Singletons.TypeError
:$$:@#@$Data.Singletons.TypeError
:$$:@#@$$Data.Singletons.TypeError
:$$:@#@$$$Data.Singletons.TypeError
:%$$:Data.Singletons.TypeError
:%&:Data.Singletons.Sigma
:%<>:Data.Singletons.TypeError
:%|Data.Singletons.Prelude.List.NonEmpty
:&:Data.Singletons.Sigma
:<>:Data.Singletons.TypeError
:<>:@#@$Data.Singletons.TypeError
:<>:@#@$$Data.Singletons.TypeError
:<>:@#@$$$Data.Singletons.TypeError
:@#@$Data.Singletons.Prelude.List, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
:@#@$$Data.Singletons.Prelude.List, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
:@#@$$$Data.Singletons.Prelude.List, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
:|@#@$Data.Singletons.Prelude.List.NonEmpty
:|@#@$$Data.Singletons.Prelude.List.NonEmpty
:|@#@$$$Data.Singletons.Prelude.List.NonEmpty
:~:Data.Singletons.Decide, Data.Singletons.TH, Data.Singletons.CustomStar
<Data.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar, Data.Singletons.CustomStar
<$Data.Singletons.Prelude.Functor, Data.Singletons.Prelude.Applicative, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar, Data.Singletons.CustomStar
<$!>Data.Singletons.Prelude.Monad
<$!>@#@$Data.Singletons.Prelude.Monad
<$!>@#@$$Data.Singletons.Prelude.Monad
<$!>@#@$$$Data.Singletons.Prelude.Monad
<$>Data.Singletons.Prelude.Functor, Data.Singletons.Prelude.Applicative, Data.Singletons.Prelude
<$>@#@$Data.Singletons.Prelude.Functor, Data.Singletons.Prelude.Applicative, Data.Singletons.Prelude
<$>@#@$$Data.Singletons.Prelude.Functor, Data.Singletons.Prelude.Applicative, Data.Singletons.Prelude
<$>@#@$$$Data.Singletons.Prelude.Functor, Data.Singletons.Prelude.Applicative, Data.Singletons.Prelude
<$@#@$Data.Singletons.Prelude.Functor, Data.Singletons.Prelude.Applicative, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
<$@#@$$Data.Singletons.Prelude.Functor, Data.Singletons.Prelude.Applicative, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
<$@#@$$$Data.Singletons.Prelude.Functor, Data.Singletons.Prelude.Applicative, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
<&>Data.Singletons.Prelude.Functor
<&>@#@$Data.Singletons.Prelude.Functor
<&>@#@$$Data.Singletons.Prelude.Functor
<&>@#@$$$Data.Singletons.Prelude.Functor
<*Data.Singletons.Prelude.Applicative, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar, Data.Singletons.CustomStar
<**>Data.Singletons.Prelude.Applicative
<**>@#@$Data.Singletons.Prelude.Applicative
<**>@#@$$Data.Singletons.Prelude.Applicative
<**>@#@$$$Data.Singletons.Prelude.Applicative
<*>Data.Singletons.Prelude.Applicative, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar, Data.Singletons.CustomStar
<*>@#@$Data.Singletons.Prelude.Applicative, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
<*>@#@$$Data.Singletons.Prelude.Applicative, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
<*>@#@$$$Data.Singletons.Prelude.Applicative, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
<*@#@$Data.Singletons.Prelude.Applicative, Data.Singletons.Prelude
<*@#@$$Data.Singletons.Prelude.Applicative, Data.Singletons.Prelude
<*@#@$$$Data.Singletons.Prelude.Applicative, Data.Singletons.Prelude
<=Data.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar, Data.Singletons.CustomStar
<=<Data.Singletons.Prelude.Monad
<=<@#@$Data.Singletons.Prelude.Monad
<=<@#@$$Data.Singletons.Prelude.Monad
<=<@#@$$$Data.Singletons.Prelude.Monad
<=?Data.Singletons.TypeLits
<=?@#@$Data.Singletons.TypeLits
<=?@#@$$Data.Singletons.TypeLits
<=?@#@$$$Data.Singletons.TypeLits
<=@#@$Data.Singletons.Prelude.Ord, Data.Singletons.Prelude
<=@#@$$Data.Singletons.Prelude.Ord, Data.Singletons.Prelude
<=@#@$$$Data.Singletons.Prelude.Ord, Data.Singletons.Prelude
<>Data.Singletons.Prelude.Semigroup, Data.Singletons.Prelude
<>@#@$Data.Singletons.Prelude.Semigroup, Data.Singletons.Prelude
<>@#@$$Data.Singletons.Prelude.Semigroup, Data.Singletons.Prelude
<>@#@$$$Data.Singletons.Prelude.Semigroup, Data.Singletons.Prelude
<@#@$Data.Singletons.Prelude.Ord, Data.Singletons.Prelude
<@#@$$Data.Singletons.Prelude.Ord, Data.Singletons.Prelude
<@#@$$$Data.Singletons.Prelude.Ord, Data.Singletons.Prelude
<|Data.Singletons.Prelude.List.NonEmpty
<|>Data.Singletons.Prelude.Applicative
<|>@#@$Data.Singletons.Prelude.Applicative
<|>@#@$$Data.Singletons.Prelude.Applicative
<|>@#@$$$Data.Singletons.Prelude.Applicative
<|@#@$Data.Singletons.Prelude.List.NonEmpty
<|@#@$$Data.Singletons.Prelude.List.NonEmpty
<|@#@$$$Data.Singletons.Prelude.List.NonEmpty
=<<Data.Singletons.Prelude.Monad, Data.Singletons.Prelude
=<<@#@$Data.Singletons.Prelude.Monad, Data.Singletons.Prelude
=<<@#@$$Data.Singletons.Prelude.Monad, Data.Singletons.Prelude
=<<@#@$$$Data.Singletons.Prelude.Monad, Data.Singletons.Prelude
==Data.Singletons.Prelude.Eq, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.Prelude, Data.Singletons.CustomStar, Data.Singletons.CustomStar
==@#@$Data.Singletons.Prelude.Eq, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
==@#@$$Data.Singletons.Prelude.Eq, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
==@#@$$$Data.Singletons.Prelude.Eq, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
>Data.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar, Data.Singletons.CustomStar
>=Data.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar, Data.Singletons.CustomStar
>=>Data.Singletons.Prelude.Monad
>=>@#@$Data.Singletons.Prelude.Monad
>=>@#@$$Data.Singletons.Prelude.Monad
>=>@#@$$$Data.Singletons.Prelude.Monad
>=@#@$Data.Singletons.Prelude.Ord, Data.Singletons.Prelude
>=@#@$$Data.Singletons.Prelude.Ord, Data.Singletons.Prelude
>=@#@$$$Data.Singletons.Prelude.Ord, Data.Singletons.Prelude
>>Data.Singletons.Prelude.Monad, Data.Singletons.Prelude
>>=Data.Singletons.Prelude.Monad, Data.Singletons.Prelude
>>=@#@$Data.Singletons.Prelude.Monad, Data.Singletons.Prelude
>>=@#@$$Data.Singletons.Prelude.Monad, Data.Singletons.Prelude
>>=@#@$$$Data.Singletons.Prelude.Monad, Data.Singletons.Prelude
>>@#@$Data.Singletons.Prelude.Monad, Data.Singletons.Prelude
>>@#@$$Data.Singletons.Prelude.Monad, Data.Singletons.Prelude
>>@#@$$$Data.Singletons.Prelude.Monad, Data.Singletons.Prelude
>@#@$Data.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
>@#@$$Data.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
>@#@$$$Data.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
@@ 
1 (Type/Class)Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
2 (Function)Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
@@@#@$Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
@@@#@$$Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
@@@#@$$$Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
AbsData.Singletons.Prelude.Num, Data.Singletons.Prelude, Data.Singletons.Prelude
AbsSym0Data.Singletons.Prelude.Num, Data.Singletons.Prelude
AbsSym1Data.Singletons.Prelude.Num, Data.Singletons.Prelude
AbsurdData.Singletons.Prelude.Void
AbsurdSym0Data.Singletons.Prelude.Void
AbsurdSym1Data.Singletons.Prelude.Void
AllData.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
AllSym0 
1 (Type/Class)Data.Singletons.Prelude.Monoid, Data.Singletons.Prelude.Semigroup
2 (Type/Class)Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
AllSym1 
1 (Type/Class)Data.Singletons.Prelude.Monoid, Data.Singletons.Prelude.Semigroup
2 (Type/Class)Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
AllSym2Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
AndData.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
AndSym0Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
AndSym1Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
AnyData.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
AnySym0 
1 (Type/Class)Data.Singletons.Prelude.Monoid, Data.Singletons.Prelude.Semigroup
2 (Type/Class)Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
AnySym1 
1 (Type/Class)Data.Singletons.Prelude.Monoid, Data.Singletons.Prelude.Semigroup
2 (Type/Class)Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
AnySym2Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
ApData.Singletons.Prelude.Monad
ApplyData.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
applySingData.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
applySing2Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
applySing3Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
applySing4Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
applySing5Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
applySing6Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
applySing7Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
applySing8Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
ApplySym0Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
ApplySym1Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
ApplySym2Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
ApplyTyConData.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
ApplyTyConAux1Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
ApplyTyConAux2Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
AppPrecData.Singletons.Prelude.Show
AppPrec1Data.Singletons.Prelude.Show
AppPrec1Sym0Data.Singletons.Prelude.Show
AppPrecSym0Data.Singletons.Prelude.Show
ApSym0Data.Singletons.Prelude.Monad
ApSym1Data.Singletons.Prelude.Monad
ApSym2Data.Singletons.Prelude.Monad
ArgSym0Data.Singletons.Prelude.Semigroup
ArgSym1Data.Singletons.Prelude.Semigroup
ArgSym2Data.Singletons.Prelude.Semigroup
AsProxyTypeOfData.Singletons.Prelude.Proxy
AsProxyTypeOfSym0Data.Singletons.Prelude.Proxy
AsProxyTypeOfSym1Data.Singletons.Prelude.Proxy
AsProxyTypeOfSym2Data.Singletons.Prelude.Proxy
AsTypeOfData.Singletons.Prelude.Base, Data.Singletons.Prelude
AsTypeOfSym0Data.Singletons.Prelude.Base, Data.Singletons.Prelude
AsTypeOfSym1Data.Singletons.Prelude.Base, Data.Singletons.Prelude
AsTypeOfSym2Data.Singletons.Prelude.Base, Data.Singletons.Prelude
AsumData.Singletons.Prelude.Foldable
AsumSym0Data.Singletons.Prelude.Foldable
AsumSym1Data.Singletons.Prelude.Foldable
Bool_Data.Singletons.Prelude.Bool, Data.Singletons.CustomStar
bool_Data.Singletons.Prelude.Bool, Data.Singletons.Prelude, Data.Singletons.CustomStar
Bool_Sym0Data.Singletons.Prelude.Bool, Data.Singletons.CustomStar
Bool_Sym1Data.Singletons.Prelude.Bool, Data.Singletons.CustomStar
Bool_Sym2Data.Singletons.Prelude.Bool, Data.Singletons.CustomStar
Bool_Sym3Data.Singletons.Prelude.Bool, Data.Singletons.CustomStar
Break 
1 (Type/Class)Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
BreakSym0 
1 (Type/Class)Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
BreakSym1 
1 (Type/Class)Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
BreakSym2 
1 (Type/Class)Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
casesData.Singletons.TH, Data.Singletons.CustomStar
CatMaybesData.Singletons.Prelude.Maybe
CatMaybesSym0Data.Singletons.Prelude.Maybe
CatMaybesSym1Data.Singletons.Prelude.Maybe
CompareData.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar, Data.Singletons.CustomStar
CompareSym0Data.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
CompareSym1Data.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
CompareSym2Data.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
ComparingData.Singletons.Prelude.Ord
ComparingSym0Data.Singletons.Prelude.Ord
ComparingSym1Data.Singletons.Prelude.Ord
ComparingSym2Data.Singletons.Prelude.Ord
ComparingSym3Data.Singletons.Prelude.Ord
ConcatData.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
ConcatMapData.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
ConcatMapSym0Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
ConcatMapSym1Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
ConcatMapSym2Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
ConcatSym0Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
ConcatSym1Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
ConsData.Singletons.Prelude.List.NonEmpty
ConsSym0Data.Singletons.Prelude.List.NonEmpty
ConsSym1Data.Singletons.Prelude.List.NonEmpty
ConsSym2Data.Singletons.Prelude.List.NonEmpty
Const 
1 (Type/Class)Data.Singletons.Prelude.Applicative
2 (Type/Class)Data.Singletons.Prelude.Base, Data.Singletons.Prelude.Function, Data.Singletons.Prelude
ConstSym0 
1 (Type/Class)Data.Singletons.Prelude.Base, Data.Singletons.Prelude.Function, Data.Singletons.Prelude
2 (Type/Class)Data.Singletons.Prelude.Const, Data.Singletons.Prelude.Applicative
ConstSym1 
1 (Type/Class)Data.Singletons.Prelude.Base, Data.Singletons.Prelude.Function, Data.Singletons.Prelude
2 (Type/Class)Data.Singletons.Prelude.Const, Data.Singletons.Prelude.Applicative
ConstSym2Data.Singletons.Prelude.Base, Data.Singletons.Prelude.Function, Data.Singletons.Prelude
ConvertPErrorMessageData.Singletons.TypeError
CurryData.Singletons.Prelude.Tuple, Data.Singletons.Prelude
currySigmaData.Singletons.Sigma
CurrySym0Data.Singletons.Prelude.Tuple, Data.Singletons.Prelude
CurrySym1Data.Singletons.Prelude.Tuple, Data.Singletons.Prelude
CurrySym2Data.Singletons.Prelude.Tuple, Data.Singletons.Prelude
CurrySym3Data.Singletons.Prelude.Tuple, Data.Singletons.Prelude
decideCoercionData.Singletons.Decide
decideEqualityData.Singletons.Decide
DecisionData.Singletons.Decide, Data.Singletons.TH, Data.Singletons.CustomStar
DefaultEqData.Singletons.Prelude.Eq, Data.Singletons.Prelude, Data.Singletons.CustomStar
DefaultEqSym0Data.Singletons.Prelude.Eq, Data.Singletons.Prelude, Data.Singletons.CustomStar
DefaultEqSym1Data.Singletons.Prelude.Eq, Data.Singletons.Prelude, Data.Singletons.CustomStar
DefaultEqSym2Data.Singletons.Prelude.Eq, Data.Singletons.Prelude, Data.Singletons.CustomStar
defaultOptionsData.Singletons.TH.Options
defunctionalizedNameData.Singletons.TH.Options
defunctionalizedName0Data.Singletons.TH.Options
DeleteData.Singletons.Prelude.List
DeleteByData.Singletons.Prelude.List
DeleteBySym0Data.Singletons.Prelude.List
DeleteBySym1Data.Singletons.Prelude.List
DeleteBySym2Data.Singletons.Prelude.List
DeleteBySym3Data.Singletons.Prelude.List
DeleteFirstsByData.Singletons.Prelude.List
DeleteFirstsBySym0Data.Singletons.Prelude.List
DeleteFirstsBySym1Data.Singletons.Prelude.List
DeleteFirstsBySym2Data.Singletons.Prelude.List
DeleteFirstsBySym3Data.Singletons.Prelude.List
DeleteSym0Data.Singletons.Prelude.List
DeleteSym1Data.Singletons.Prelude.List
DeleteSym2Data.Singletons.Prelude.List
DemoteData.Singletons, Data.Singletons.TH, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.Prelude, Data.Singletons.CustomStar, Data.Singletons.CustomStar
demoteData.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
DemoteSym0Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
DemoteSym1Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
DisprovedData.Singletons.Decide, Data.Singletons.TH, Data.Singletons.CustomStar
DivData.Singletons.TypeLits
DivModData.Singletons.TypeLits
DivModSym0Data.Singletons.TypeLits
DivModSym1Data.Singletons.TypeLits
DivModSym2Data.Singletons.TypeLits
DivSym0Data.Singletons.TypeLits
DivSym1Data.Singletons.TypeLits
DivSym2Data.Singletons.TypeLits
DownSym0Data.Singletons.Prelude.Ord
DownSym1Data.Singletons.Prelude.Ord
Drop 
1 (Type/Class)Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
DropSym0 
1 (Type/Class)Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
DropSym1 
1 (Type/Class)Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
DropSym2 
1 (Type/Class)Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
DropWhile 
1 (Type/Class)Data.Singletons.Prelude.List
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
DropWhileEndData.Singletons.Prelude.List
DropWhileEndSym0Data.Singletons.Prelude.List, Data.Singletons.Prelude
DropWhileEndSym1Data.Singletons.Prelude.List, Data.Singletons.Prelude
DropWhileEndSym2Data.Singletons.Prelude.List, Data.Singletons.Prelude
DropWhileSym0 
1 (Type/Class)Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
DropWhileSym1 
1 (Type/Class)Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
DropWhileSym2 
1 (Type/Class)Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
DualSym0Data.Singletons.Prelude.Monoid, Data.Singletons.Prelude.Semigroup
DualSym1Data.Singletons.Prelude.Monoid, Data.Singletons.Prelude.Semigroup
Either_Data.Singletons.Prelude.Either, Data.Singletons.Prelude
either_Data.Singletons.Prelude.Either, Data.Singletons.Prelude
Either_Sym0Data.Singletons.Prelude.Either, Data.Singletons.Prelude
Either_Sym1Data.Singletons.Prelude.Either, Data.Singletons.Prelude
Either_Sym2Data.Singletons.Prelude.Either, Data.Singletons.Prelude
Either_Sym3Data.Singletons.Prelude.Either, Data.Singletons.Prelude
ElemData.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar, Data.Singletons.CustomStar
ElemIndexData.Singletons.Prelude.List
ElemIndexSym0Data.Singletons.Prelude.List
ElemIndexSym1Data.Singletons.Prelude.List
ElemIndexSym2Data.Singletons.Prelude.List
ElemIndicesData.Singletons.Prelude.List
ElemIndicesSym0Data.Singletons.Prelude.List
ElemIndicesSym1Data.Singletons.Prelude.List
ElemIndicesSym2Data.Singletons.Prelude.List
ElemSym0Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
ElemSym1Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
ElemSym2Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
EmptyData.Singletons.Prelude.Applicative
EmptySym0Data.Singletons.Prelude.Applicative
EnumFromThenToData.Singletons.Prelude.Enum, Data.Singletons.Prelude, Data.Singletons.Prelude
EnumFromThenToSym0Data.Singletons.Prelude.Enum, Data.Singletons.Prelude
EnumFromThenToSym1Data.Singletons.Prelude.Enum, Data.Singletons.Prelude
EnumFromThenToSym2Data.Singletons.Prelude.Enum, Data.Singletons.Prelude
EnumFromThenToSym3Data.Singletons.Prelude.Enum, Data.Singletons.Prelude
EnumFromToData.Singletons.Prelude.Enum, Data.Singletons.Prelude, Data.Singletons.Prelude
EnumFromToSym0Data.Singletons.Prelude.Enum, Data.Singletons.Prelude
EnumFromToSym1Data.Singletons.Prelude.Enum, Data.Singletons.Prelude
EnumFromToSym2Data.Singletons.Prelude.Enum, Data.Singletons.Prelude
EQSym0Data.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
ErrorData.Singletons.TypeLits, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
ErrorMessageData.Singletons.TypeError
ErrorMessage'Data.Singletons.TypeError
ErrorSym0Data.Singletons.TypeLits, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
ErrorSym1Data.Singletons.TypeLits, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
ErrorWithoutStackTraceData.Singletons.TypeLits, Data.Singletons.Prelude
ErrorWithoutStackTraceSym0Data.Singletons.TypeLits, Data.Singletons.Prelude
ErrorWithoutStackTraceSym1Data.Singletons.TypeLits, Data.Singletons.Prelude
FailData.Singletons.Prelude.Monad.Fail, Data.Singletons.Prelude.Monad, Data.Singletons.Prelude
FailSym0Data.Singletons.Prelude.Monad.Fail, Data.Singletons.Prelude.Monad, Data.Singletons.Prelude
FailSym1Data.Singletons.Prelude.Monad.Fail, Data.Singletons.Prelude.Monad, Data.Singletons.Prelude
FalseSym0Data.Singletons.Prelude.Bool, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
Filter 
1 (Type/Class)Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
FilterMData.Singletons.Prelude.Monad
FilterMSym0Data.Singletons.Prelude.Monad
FilterMSym1Data.Singletons.Prelude.Monad
FilterMSym2Data.Singletons.Prelude.Monad
FilterSym0 
1 (Type/Class)Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
FilterSym1 
1 (Type/Class)Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
FilterSym2 
1 (Type/Class)Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
FindData.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List
FindIndexData.Singletons.Prelude.List
FindIndexSym0Data.Singletons.Prelude.List
FindIndexSym1Data.Singletons.Prelude.List
FindIndexSym2Data.Singletons.Prelude.List
FindIndicesData.Singletons.Prelude.List
FindIndicesSym0Data.Singletons.Prelude.List
FindIndicesSym1Data.Singletons.Prelude.List
FindIndicesSym2Data.Singletons.Prelude.List
FindSym0Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List
FindSym1Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List
FindSym2Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List
FirstSym0 
1 (Type/Class)Data.Singletons.Prelude.Semigroup
2 (Type/Class)Data.Singletons.Prelude.Monoid
FirstSym1 
1 (Type/Class)Data.Singletons.Prelude.Semigroup
2 (Type/Class)Data.Singletons.Prelude.Monoid
FlipData.Singletons.Prelude.Base, Data.Singletons.Prelude.Function, Data.Singletons.Prelude
FlipSym0Data.Singletons.Prelude.Base, Data.Singletons.Prelude.Function, Data.Singletons.Prelude
FlipSym1Data.Singletons.Prelude.Base, Data.Singletons.Prelude.Function, Data.Singletons.Prelude
FlipSym2Data.Singletons.Prelude.Base, Data.Singletons.Prelude.Function, Data.Singletons.Prelude
FlipSym3Data.Singletons.Prelude.Base, Data.Singletons.Prelude.Function
FmapData.Singletons.Prelude.Functor, Data.Singletons.Prelude.Monad, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar, Data.Singletons.CustomStar
FmapDefaultData.Singletons.Prelude.Traversable
FmapDefaultSym0Data.Singletons.Prelude.Traversable
FmapDefaultSym1Data.Singletons.Prelude.Traversable
FmapDefaultSym2Data.Singletons.Prelude.Traversable
FmapSym0Data.Singletons.Prelude.Functor, Data.Singletons.Prelude.Monad, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
FmapSym1Data.Singletons.Prelude.Functor, Data.Singletons.Prelude.Monad, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
FmapSym2Data.Singletons.Prelude.Functor, Data.Singletons.Prelude.Monad, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
FoldData.Singletons.Prelude.Foldable, Data.Singletons.TH, Data.Singletons.CustomStar, Data.Singletons.CustomStar
FoldlData.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar, Data.Singletons.CustomStar
Foldl'Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.TH, Data.Singletons.CustomStar, Data.Singletons.CustomStar
Foldl'Sym0Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List
Foldl'Sym1Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List
Foldl'Sym2Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List
Foldl'Sym3Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List
Foldl1Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar, Data.Singletons.CustomStar
Foldl1'Data.Singletons.Prelude.List
Foldl1'Sym0Data.Singletons.Prelude.List
Foldl1'Sym1Data.Singletons.Prelude.List
Foldl1'Sym2Data.Singletons.Prelude.List
Foldl1Sym0Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
Foldl1Sym1Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
Foldl1Sym2Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
FoldlMData.Singletons.Prelude.Foldable, Data.Singletons.Prelude.Monad
FoldlMSym0Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.Monad
FoldlMSym1Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.Monad
FoldlMSym2Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.Monad
FoldlMSym3Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.Monad
FoldlSym0Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
FoldlSym1Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
FoldlSym2Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
FoldlSym3Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
FoldMapData.Singletons.Prelude.Foldable, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar, Data.Singletons.CustomStar
FoldMapDefaultData.Singletons.Prelude.Traversable
FoldMapDefaultSym0Data.Singletons.Prelude.Traversable
FoldMapDefaultSym1Data.Singletons.Prelude.Traversable
FoldMapDefaultSym2Data.Singletons.Prelude.Traversable
FoldMapSym0Data.Singletons.Prelude.Foldable, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
FoldMapSym1Data.Singletons.Prelude.Foldable, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
FoldMapSym2Data.Singletons.Prelude.Foldable, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
Foldr 
1 (Type/Class)Data.Singletons.Prelude.Base
2 (Type/Class)Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar, Data.Singletons.CustomStar
Foldr'Data.Singletons.Prelude.Foldable, Data.Singletons.TH, Data.Singletons.CustomStar, Data.Singletons.CustomStar
Foldr'Sym0Data.Singletons.Prelude.Foldable
Foldr'Sym1Data.Singletons.Prelude.Foldable
Foldr'Sym2Data.Singletons.Prelude.Foldable
Foldr'Sym3Data.Singletons.Prelude.Foldable
Foldr1Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar, Data.Singletons.CustomStar
Foldr1Sym0Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
Foldr1Sym1Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
Foldr1Sym2Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
FoldrMData.Singletons.Prelude.Foldable
FoldrMSym0Data.Singletons.Prelude.Foldable
FoldrMSym1Data.Singletons.Prelude.Foldable
FoldrMSym2Data.Singletons.Prelude.Foldable
FoldrMSym3Data.Singletons.Prelude.Foldable
FoldrSym0 
1 (Type/Class)Data.Singletons.Prelude.Base
2 (Type/Class)Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
FoldrSym1 
1 (Type/Class)Data.Singletons.Prelude.Base
2 (Type/Class)Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
FoldrSym2 
1 (Type/Class)Data.Singletons.Prelude.Base
2 (Type/Class)Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
FoldrSym3 
1 (Type/Class)Data.Singletons.Prelude.Base
2 (Type/Class)Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
FoldSym0Data.Singletons.Prelude.Foldable
FoldSym1Data.Singletons.Prelude.Foldable
ForData.Singletons.Prelude.Traversable
ForMData.Singletons.Prelude.Traversable, Data.Singletons.Prelude.Monad
ForMSym0Data.Singletons.Prelude.Traversable, Data.Singletons.Prelude.Monad
ForMSym1Data.Singletons.Prelude.Traversable, Data.Singletons.Prelude.Monad
ForMSym2Data.Singletons.Prelude.Traversable, Data.Singletons.Prelude.Monad
ForM_Data.Singletons.Prelude.Foldable
ForM_Sym0Data.Singletons.Prelude.Foldable
ForM_Sym1Data.Singletons.Prelude.Foldable
ForM_Sym2Data.Singletons.Prelude.Foldable
ForSym0Data.Singletons.Prelude.Traversable
ForSym1Data.Singletons.Prelude.Traversable
ForSym2Data.Singletons.Prelude.Traversable
For_Data.Singletons.Prelude.Foldable
For_Sym0Data.Singletons.Prelude.Foldable
For_Sym1Data.Singletons.Prelude.Foldable
For_Sym2Data.Singletons.Prelude.Foldable
FromEnumData.Singletons.Prelude.Enum, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.Prelude, Data.Singletons.CustomStar, Data.Singletons.CustomStar
FromEnumSym0Data.Singletons.Prelude.Enum, Data.Singletons.Prelude
FromEnumSym1Data.Singletons.Prelude.Enum, Data.Singletons.Prelude
FromIntegerData.Singletons.Prelude.Num, Data.Singletons.Prelude, Data.Singletons.Prelude
FromIntegerSym0Data.Singletons.Prelude.Num, Data.Singletons.Prelude
FromIntegerSym1Data.Singletons.Prelude.Num, Data.Singletons.Prelude
FromJustData.Singletons.Prelude.Maybe
FromJustSym0Data.Singletons.Prelude.Maybe
FromJustSym1Data.Singletons.Prelude.Maybe
FromListData.Singletons.Prelude.List.NonEmpty
FromListSym0Data.Singletons.Prelude.List.NonEmpty
FromListSym1Data.Singletons.Prelude.List.NonEmpty
FromMaybeData.Singletons.Prelude.Maybe
FromMaybeSym0Data.Singletons.Prelude.Maybe
FromMaybeSym1Data.Singletons.Prelude.Maybe
FromMaybeSym2Data.Singletons.Prelude.Maybe
FromSingData.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
fromSingData.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
FromStringData.Singletons.Prelude.IsString
FromStringSym0Data.Singletons.Prelude.IsString
FromStringSym1Data.Singletons.Prelude.IsString
FstData.Singletons.Prelude.Tuple, Data.Singletons.Prelude
FstSigmaData.Singletons.Sigma
fstSigmaData.Singletons.Sigma
FstSym0Data.Singletons.Prelude.Tuple, Data.Singletons.Prelude
FstSym1Data.Singletons.Prelude.Tuple, Data.Singletons.Prelude
genDefunSymbolsData.Singletons.TH, Data.Singletons.CustomStar
GenericLengthData.Singletons.Prelude.List
GenericLengthSym0Data.Singletons.Prelude.List
GenericLengthSym1Data.Singletons.Prelude.List
genPromotionsData.Singletons.TH, Data.Singletons.CustomStar
genQuotedDecsData.Singletons.TH.Options
genSingKindInstsData.Singletons.TH.Options
genSingletonsData.Singletons.TH, Data.Singletons.CustomStar
GetAllData.Singletons.Prelude.Monoid, Data.Singletons.Prelude.Semigroup
GetAllSym0Data.Singletons.Prelude.Monoid, Data.Singletons.Prelude.Semigroup
GetAllSym1Data.Singletons.Prelude.Monoid, Data.Singletons.Prelude.Semigroup
GetAnyData.Singletons.Prelude.Monoid, Data.Singletons.Prelude.Semigroup
GetAnySym0Data.Singletons.Prelude.Monoid, Data.Singletons.Prelude.Semigroup
GetAnySym1Data.Singletons.Prelude.Monoid, Data.Singletons.Prelude.Semigroup
GetConstData.Singletons.Prelude.Const, Data.Singletons.Prelude.Applicative
GetConstSym0Data.Singletons.Prelude.Const, Data.Singletons.Prelude.Applicative
GetConstSym1Data.Singletons.Prelude.Const, Data.Singletons.Prelude.Applicative
GetDownData.Singletons.Prelude.Ord
GetDownSym0Data.Singletons.Prelude.Ord
GetDownSym1Data.Singletons.Prelude.Ord
GetDualData.Singletons.Prelude.Monoid, Data.Singletons.Prelude.Semigroup
GetDualSym0Data.Singletons.Prelude.Monoid, Data.Singletons.Prelude.Semigroup
GetDualSym1Data.Singletons.Prelude.Monoid, Data.Singletons.Prelude.Semigroup
GetFirst 
1 (Type/Class)Data.Singletons.Prelude.Semigroup
2 (Type/Class)Data.Singletons.Prelude.Monoid
GetFirstSym0 
1 (Type/Class)Data.Singletons.Prelude.Semigroup
2 (Type/Class)Data.Singletons.Prelude.Monoid
GetFirstSym1 
1 (Type/Class)Data.Singletons.Prelude.Semigroup
2 (Type/Class)Data.Singletons.Prelude.Monoid
GetLast 
1 (Type/Class)Data.Singletons.Prelude.Semigroup
2 (Type/Class)Data.Singletons.Prelude.Monoid
GetLastSym0 
1 (Type/Class)Data.Singletons.Prelude.Semigroup
2 (Type/Class)Data.Singletons.Prelude.Monoid
GetLastSym1 
1 (Type/Class)Data.Singletons.Prelude.Semigroup
2 (Type/Class)Data.Singletons.Prelude.Monoid
GetMaxData.Singletons.Prelude.Semigroup
GetMaxSym0Data.Singletons.Prelude.Semigroup
GetMaxSym1Data.Singletons.Prelude.Semigroup
GetMinData.Singletons.Prelude.Semigroup
GetMinSym0Data.Singletons.Prelude.Semigroup
GetMinSym1Data.Singletons.Prelude.Semigroup
GetOptionData.Singletons.Prelude.Semigroup
getOptionsData.Singletons.TH.Options
GetOptionSym0Data.Singletons.Prelude.Semigroup
GetOptionSym1Data.Singletons.Prelude.Semigroup
GetProductData.Singletons.Prelude.Monoid, Data.Singletons.Prelude.Semigroup
GetProductSym0Data.Singletons.Prelude.Monoid, Data.Singletons.Prelude.Semigroup
GetProductSym1Data.Singletons.Prelude.Monoid, Data.Singletons.Prelude.Semigroup
GetSumData.Singletons.Prelude.Monoid, Data.Singletons.Prelude.Semigroup
GetSumSym0Data.Singletons.Prelude.Monoid, Data.Singletons.Prelude.Semigroup
GetSumSym1Data.Singletons.Prelude.Monoid, Data.Singletons.Prelude.Semigroup
Group 
1 (Type/Class)Data.Singletons.Prelude.List
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
Group1Data.Singletons.Prelude.List.NonEmpty
Group1Sym0Data.Singletons.Prelude.List.NonEmpty
Group1Sym1Data.Singletons.Prelude.List.NonEmpty
GroupAllWithData.Singletons.Prelude.List.NonEmpty
GroupAllWith1Data.Singletons.Prelude.List.NonEmpty
GroupAllWith1Sym0Data.Singletons.Prelude.List.NonEmpty
GroupAllWith1Sym1Data.Singletons.Prelude.List.NonEmpty
GroupAllWith1Sym2Data.Singletons.Prelude.List.NonEmpty
GroupAllWithSym0Data.Singletons.Prelude.List.NonEmpty
GroupAllWithSym1Data.Singletons.Prelude.List.NonEmpty
GroupAllWithSym2Data.Singletons.Prelude.List.NonEmpty
GroupBy 
1 (Type/Class)Data.Singletons.Prelude.List
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
GroupBy1Data.Singletons.Prelude.List.NonEmpty
GroupBy1Sym0Data.Singletons.Prelude.List.NonEmpty
GroupBy1Sym1Data.Singletons.Prelude.List.NonEmpty
GroupBy1Sym2Data.Singletons.Prelude.List.NonEmpty
GroupBySym0 
1 (Type/Class)Data.Singletons.Prelude.List
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
GroupBySym1 
1 (Type/Class)Data.Singletons.Prelude.List
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
GroupBySym2 
1 (Type/Class)Data.Singletons.Prelude.List
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
GroupSym0 
1 (Type/Class)Data.Singletons.Prelude.List
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
GroupSym1 
1 (Type/Class)Data.Singletons.Prelude.List
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
GroupWithData.Singletons.Prelude.List.NonEmpty
GroupWith1Data.Singletons.Prelude.List.NonEmpty
GroupWith1Sym0Data.Singletons.Prelude.List.NonEmpty
GroupWith1Sym1Data.Singletons.Prelude.List.NonEmpty
GroupWith1Sym2Data.Singletons.Prelude.List.NonEmpty
GroupWithSym0Data.Singletons.Prelude.List.NonEmpty
GroupWithSym1Data.Singletons.Prelude.List.NonEmpty
GroupWithSym2Data.Singletons.Prelude.List.NonEmpty
GTSym0Data.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
GuardData.Singletons.Prelude.Monad
GuardSym0Data.Singletons.Prelude.Monad
GuardSym1Data.Singletons.Prelude.Monad
Head 
1 (Type/Class)Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
HeadSym0 
1 (Type/Class)Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
HeadSym1 
1 (Type/Class)Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
IdData.Singletons.Prelude.Base, Data.Singletons.Prelude.Function, Data.Singletons.Prelude
IdentitySym0Data.Singletons.Prelude.Identity
IdentitySym1Data.Singletons.Prelude.Identity
IdSym0Data.Singletons.Prelude.Base, Data.Singletons.Prelude.Function, Data.Singletons.Prelude
IdSym1Data.Singletons.Prelude.Base, Data.Singletons.Prelude.Function, Data.Singletons.Prelude
IfData.Singletons.Prelude.Bool, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
Init 
1 (Type/Class)Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
Inits 
1 (Type/Class)Data.Singletons.Prelude.List
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
InitsSym0 
1 (Type/Class)Data.Singletons.Prelude.List
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
InitsSym1 
1 (Type/Class)Data.Singletons.Prelude.List
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
InitSym0 
1 (Type/Class)Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
InitSym1 
1 (Type/Class)Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
Insert 
1 (Type/Class)Data.Singletons.Prelude.List
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
InsertByData.Singletons.Prelude.List
InsertBySym0Data.Singletons.Prelude.List
InsertBySym1Data.Singletons.Prelude.List
InsertBySym2Data.Singletons.Prelude.List
InsertBySym3Data.Singletons.Prelude.List
InsertSym0 
1 (Type/Class)Data.Singletons.Prelude.List
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
InsertSym1 
1 (Type/Class)Data.Singletons.Prelude.List
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
InsertSym2 
1 (Type/Class)Data.Singletons.Prelude.List
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
IntercalateData.Singletons.Prelude.List
IntercalateSym0Data.Singletons.Prelude.List
IntercalateSym1Data.Singletons.Prelude.List
IntercalateSym2Data.Singletons.Prelude.List
IntersectData.Singletons.Prelude.List
IntersectByData.Singletons.Prelude.List
IntersectBySym0Data.Singletons.Prelude.List
IntersectBySym1Data.Singletons.Prelude.List
IntersectBySym2Data.Singletons.Prelude.List
IntersectBySym3Data.Singletons.Prelude.List
IntersectSym0Data.Singletons.Prelude.List
IntersectSym1Data.Singletons.Prelude.List
IntersectSym2Data.Singletons.Prelude.List
Intersperse 
1 (Type/Class)Data.Singletons.Prelude.List
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
IntersperseSym0 
1 (Type/Class)Data.Singletons.Prelude.List
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
IntersperseSym1 
1 (Type/Class)Data.Singletons.Prelude.List
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
IntersperseSym2 
1 (Type/Class)Data.Singletons.Prelude.List
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
IsInfixOfData.Singletons.Prelude.List
IsInfixOfSym0Data.Singletons.Prelude.List
IsInfixOfSym1Data.Singletons.Prelude.List
IsInfixOfSym2Data.Singletons.Prelude.List
IsJustData.Singletons.Prelude.Maybe
IsJustSym0Data.Singletons.Prelude.Maybe
IsJustSym1Data.Singletons.Prelude.Maybe
IsLeftData.Singletons.Prelude.Either
IsLeftSym0Data.Singletons.Prelude.Either
IsLeftSym1Data.Singletons.Prelude.Either
IsNothingData.Singletons.Prelude.Maybe
IsNothingSym0Data.Singletons.Prelude.Maybe
IsNothingSym1Data.Singletons.Prelude.Maybe
IsPrefixOf 
1 (Type/Class)Data.Singletons.Prelude.List
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
IsPrefixOfSym0 
1 (Type/Class)Data.Singletons.Prelude.List
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
IsPrefixOfSym1 
1 (Type/Class)Data.Singletons.Prelude.List
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
IsPrefixOfSym2 
1 (Type/Class)Data.Singletons.Prelude.List
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
IsRightData.Singletons.Prelude.Either
IsRightSym0Data.Singletons.Prelude.Either
IsRightSym1Data.Singletons.Prelude.Either
IsSuffixOfData.Singletons.Prelude.List
IsSuffixOfSym0Data.Singletons.Prelude.List
IsSuffixOfSym1Data.Singletons.Prelude.List
IsSuffixOfSym2Data.Singletons.Prelude.List
JoinData.Singletons.Prelude.Monad
JoinSym0Data.Singletons.Prelude.Monad
JoinSym1Data.Singletons.Prelude.Monad
JustSym0Data.Singletons.Prelude.Maybe, Data.Singletons.Prelude
JustSym1Data.Singletons.Prelude.Maybe, Data.Singletons.Prelude
KindOfData.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
KindOfSym0Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
KindOfSym1Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
KnownNatData.Singletons.TypeLits
KnownNatSym0Data.Singletons.TypeLits
KnownNatSym1Data.Singletons.TypeLits
KnownSymbolData.Singletons.TypeLits
KnownSymbolSym0Data.Singletons.TypeLits
KnownSymbolSym1Data.Singletons.TypeLits
Last 
1 (Type/Class)Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
LastSym0 
1 (Type/Class)Data.Singletons.Prelude.Semigroup
2 (Type/Class)Data.Singletons.Prelude.List, Data.Singletons.Prelude
3 (Type/Class)Data.Singletons.Prelude.Monoid
4 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
LastSym1 
1 (Type/Class)Data.Singletons.Prelude.Semigroup
2 (Type/Class)Data.Singletons.Prelude.List, Data.Singletons.Prelude
3 (Type/Class)Data.Singletons.Prelude.Monoid
4 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
LeftsData.Singletons.Prelude.Either
LeftsSym0Data.Singletons.Prelude.Either
LeftsSym1Data.Singletons.Prelude.Either
LeftSym0Data.Singletons.Prelude.Either, Data.Singletons.Prelude
LeftSym1Data.Singletons.Prelude.Either, Data.Singletons.Prelude
Length 
1 (Type/Class)Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.TH, Data.Singletons.CustomStar, Data.Singletons.CustomStar
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
LengthSym0 
1 (Type/Class)Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
LengthSym1 
1 (Type/Class)Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
LiftAData.Singletons.Prelude.Applicative
LiftA2Data.Singletons.Prelude.Applicative, Data.Singletons.TH, Data.Singletons.CustomStar, Data.Singletons.CustomStar
LiftA2Sym0Data.Singletons.Prelude.Applicative, Data.Singletons.TH, Data.Singletons.CustomStar
LiftA2Sym1Data.Singletons.Prelude.Applicative, Data.Singletons.TH, Data.Singletons.CustomStar
LiftA2Sym2Data.Singletons.Prelude.Applicative, Data.Singletons.TH, Data.Singletons.CustomStar
LiftA2Sym3Data.Singletons.Prelude.Applicative, Data.Singletons.TH, Data.Singletons.CustomStar
LiftA3Data.Singletons.Prelude.Applicative
LiftA3Sym0Data.Singletons.Prelude.Applicative
LiftA3Sym1Data.Singletons.Prelude.Applicative
LiftA3Sym2Data.Singletons.Prelude.Applicative
LiftA3Sym3Data.Singletons.Prelude.Applicative
LiftASym0Data.Singletons.Prelude.Applicative
LiftASym1Data.Singletons.Prelude.Applicative
LiftASym2Data.Singletons.Prelude.Applicative
LiftMData.Singletons.Prelude.Monad
LiftM2Data.Singletons.Prelude.Monad
LiftM2Sym0Data.Singletons.Prelude.Monad
LiftM2Sym1Data.Singletons.Prelude.Monad
LiftM2Sym2Data.Singletons.Prelude.Monad
LiftM2Sym3Data.Singletons.Prelude.Monad
LiftM3Data.Singletons.Prelude.Monad
LiftM3Sym0Data.Singletons.Prelude.Monad
LiftM3Sym1Data.Singletons.Prelude.Monad
LiftM3Sym2Data.Singletons.Prelude.Monad
LiftM3Sym3Data.Singletons.Prelude.Monad
LiftM3Sym4Data.Singletons.Prelude.Monad
LiftM4Data.Singletons.Prelude.Monad
LiftM4Sym0Data.Singletons.Prelude.Monad
LiftM4Sym1Data.Singletons.Prelude.Monad
LiftM4Sym2Data.Singletons.Prelude.Monad
LiftM4Sym3Data.Singletons.Prelude.Monad
LiftM4Sym4Data.Singletons.Prelude.Monad
LiftM4Sym5Data.Singletons.Prelude.Monad
LiftM5Data.Singletons.Prelude.Monad
LiftM5Sym0Data.Singletons.Prelude.Monad
LiftM5Sym1Data.Singletons.Prelude.Monad
LiftM5Sym2Data.Singletons.Prelude.Monad
LiftM5Sym3Data.Singletons.Prelude.Monad
LiftM5Sym4Data.Singletons.Prelude.Monad
LiftM5Sym5Data.Singletons.Prelude.Monad
LiftM5Sym6Data.Singletons.Prelude.Monad
LiftMSym0Data.Singletons.Prelude.Monad
LiftMSym1Data.Singletons.Prelude.Monad
LiftMSym2Data.Singletons.Prelude.Monad
ListToMaybeData.Singletons.Prelude.Maybe
ListToMaybeSym0Data.Singletons.Prelude.Maybe
ListToMaybeSym1Data.Singletons.Prelude.Maybe
Log2Data.Singletons.TypeLits
Log2Sym0Data.Singletons.TypeLits
Log2Sym1Data.Singletons.TypeLits
LookupData.Singletons.Prelude.List, Data.Singletons.Prelude
LookupSym0Data.Singletons.Prelude.List
LookupSym1Data.Singletons.Prelude.List
LookupSym2Data.Singletons.Prelude.List
LTSym0Data.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
Map 
1 (Type/Class)Data.Singletons.Prelude.Base, Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
MapAccumLData.Singletons.Prelude.Traversable, Data.Singletons.Prelude.List
MapAccumLSym0Data.Singletons.Prelude.Traversable, Data.Singletons.Prelude.List
MapAccumLSym1Data.Singletons.Prelude.Traversable, Data.Singletons.Prelude.List
MapAccumLSym2Data.Singletons.Prelude.Traversable, Data.Singletons.Prelude.List
MapAccumLSym3Data.Singletons.Prelude.Traversable, Data.Singletons.Prelude.List
MapAccumRData.Singletons.Prelude.Traversable, Data.Singletons.Prelude.List
MapAccumRSym0Data.Singletons.Prelude.Traversable, Data.Singletons.Prelude.List
MapAccumRSym1Data.Singletons.Prelude.Traversable, Data.Singletons.Prelude.List
MapAccumRSym2Data.Singletons.Prelude.Traversable, Data.Singletons.Prelude.List
MapAccumRSym3Data.Singletons.Prelude.Traversable, Data.Singletons.Prelude.List
MapAndUnzipMData.Singletons.Prelude.Monad
MapAndUnzipMSym0Data.Singletons.Prelude.Monad
MapAndUnzipMSym1Data.Singletons.Prelude.Monad
MapAndUnzipMSym2Data.Singletons.Prelude.Monad
MapMData.Singletons.Prelude.Traversable, Data.Singletons.Prelude.Monad, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar, Data.Singletons.CustomStar
MapMaybeData.Singletons.Prelude.Maybe
MapMaybeSym0Data.Singletons.Prelude.Maybe
MapMaybeSym1Data.Singletons.Prelude.Maybe
MapMaybeSym2Data.Singletons.Prelude.Maybe
MapMSym0Data.Singletons.Prelude.Traversable, Data.Singletons.Prelude.Monad, Data.Singletons.Prelude
MapMSym1Data.Singletons.Prelude.Traversable, Data.Singletons.Prelude.Monad, Data.Singletons.Prelude
MapMSym2Data.Singletons.Prelude.Traversable, Data.Singletons.Prelude.Monad, Data.Singletons.Prelude
MapM_Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.Monad, Data.Singletons.Prelude
MapM_Sym0Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.Monad, Data.Singletons.Prelude
MapM_Sym1Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.Monad, Data.Singletons.Prelude
MapM_Sym2Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.Monad, Data.Singletons.Prelude
MappendData.Singletons.Prelude.Monoid, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar, Data.Singletons.CustomStar
MappendSym0Data.Singletons.Prelude.Monoid, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
MappendSym1Data.Singletons.Prelude.Monoid, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
MappendSym2Data.Singletons.Prelude.Monoid, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
mapSigmaData.Singletons.Sigma
MapSym0 
1 (Type/Class)Data.Singletons.Prelude.Base, Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
MapSym1 
1 (Type/Class)Data.Singletons.Prelude.Base, Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
MapSym2 
1 (Type/Class)Data.Singletons.Prelude.Base, Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
MaxData.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar, Data.Singletons.CustomStar
MaxBoundData.Singletons.Prelude.Enum, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.Prelude, Data.Singletons.CustomStar, Data.Singletons.CustomStar
MaxBoundSym0Data.Singletons.Prelude.Enum, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
MaximumData.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar, Data.Singletons.CustomStar
MaximumByData.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List
MaximumBySym0Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List
MaximumBySym1Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List
MaximumBySym2Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List
MaximumSym0Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
MaximumSym1Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
MaxSym0 
1 (Type/Class)Data.Singletons.Prelude.Ord, Data.Singletons.Prelude
2 (Type/Class)Data.Singletons.Prelude.Semigroup
MaxSym1 
1 (Type/Class)Data.Singletons.Prelude.Ord, Data.Singletons.Prelude
2 (Type/Class)Data.Singletons.Prelude.Semigroup
MaxSym2Data.Singletons.Prelude.Ord, Data.Singletons.Prelude
MaybeToListData.Singletons.Prelude.Maybe
MaybeToListSym0Data.Singletons.Prelude.Maybe
MaybeToListSym1Data.Singletons.Prelude.Maybe
Maybe_Data.Singletons.Prelude.Maybe, Data.Singletons.Prelude
maybe_Data.Singletons.Prelude.Maybe, Data.Singletons.Prelude
Maybe_Sym0Data.Singletons.Prelude.Maybe, Data.Singletons.Prelude
Maybe_Sym1Data.Singletons.Prelude.Maybe, Data.Singletons.Prelude
Maybe_Sym2Data.Singletons.Prelude.Maybe, Data.Singletons.Prelude
Maybe_Sym3Data.Singletons.Prelude.Maybe, Data.Singletons.Prelude
MconcatData.Singletons.Prelude.Monoid, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar, Data.Singletons.CustomStar
MconcatSym0Data.Singletons.Prelude.Monoid, Data.Singletons.Prelude
MconcatSym1Data.Singletons.Prelude.Monoid, Data.Singletons.Prelude
MemptyData.Singletons.Prelude.Monoid, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar, Data.Singletons.CustomStar
MemptySym0Data.Singletons.Prelude.Monoid, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
MfilterData.Singletons.Prelude.Monad
MfilterSym0Data.Singletons.Prelude.Monad
MfilterSym1Data.Singletons.Prelude.Monad
MfilterSym2Data.Singletons.Prelude.Monad
MinData.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar, Data.Singletons.CustomStar
MinBoundData.Singletons.Prelude.Enum, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.Prelude, Data.Singletons.CustomStar, Data.Singletons.CustomStar
MinBoundSym0Data.Singletons.Prelude.Enum, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
MinimumData.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar, Data.Singletons.CustomStar
MinimumByData.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List
MinimumBySym0Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List
MinimumBySym1Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List
MinimumBySym2Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List
MinimumSym0Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
MinimumSym1Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
MinSym0 
1 (Type/Class)Data.Singletons.Prelude.Ord, Data.Singletons.Prelude
2 (Type/Class)Data.Singletons.Prelude.Semigroup
MinSym1 
1 (Type/Class)Data.Singletons.Prelude.Ord, Data.Singletons.Prelude
2 (Type/Class)Data.Singletons.Prelude.Semigroup
MinSym2Data.Singletons.Prelude.Ord, Data.Singletons.Prelude
ModData.Singletons.TypeLits
ModSym0Data.Singletons.TypeLits
ModSym1Data.Singletons.TypeLits
ModSym2Data.Singletons.TypeLits
MplusData.Singletons.Prelude.Monad
MplusSym0Data.Singletons.Prelude.Monad
MplusSym1Data.Singletons.Prelude.Monad
MplusSym2Data.Singletons.Prelude.Monad
MsumData.Singletons.Prelude.Foldable, Data.Singletons.Prelude.Monad
MsumSym0Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.Monad
MsumSym1Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.Monad
MunzipData.Singletons.Prelude.Monad.Zip
MunzipSym0Data.Singletons.Prelude.Monad.Zip
MunzipSym1Data.Singletons.Prelude.Monad.Zip
MzeroData.Singletons.Prelude.Monad
MzeroSym0Data.Singletons.Prelude.Monad
MzipData.Singletons.Prelude.Monad.Zip
MzipSym0Data.Singletons.Prelude.Monad.Zip
MzipSym1Data.Singletons.Prelude.Monad.Zip
MzipSym2Data.Singletons.Prelude.Monad.Zip
MzipWithData.Singletons.Prelude.Monad.Zip
MzipWithSym0Data.Singletons.Prelude.Monad.Zip
MzipWithSym1Data.Singletons.Prelude.Monad.Zip
MzipWithSym2Data.Singletons.Prelude.Monad.Zip
MzipWithSym3Data.Singletons.Prelude.Monad.Zip
NatData.Singletons.TypeLits
natValData.Singletons.TypeLits
NegateData.Singletons.Prelude.Num, Data.Singletons.Prelude, Data.Singletons.Prelude
NegateSym0Data.Singletons.Prelude.Num, Data.Singletons.Prelude
NegateSym1Data.Singletons.Prelude.Num, Data.Singletons.Prelude
NilSym0Data.Singletons.Prelude.List, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
NonEmpty_Data.Singletons.Prelude.List.NonEmpty
NonEmpty_Sym0Data.Singletons.Prelude.List.NonEmpty
NonEmpty_Sym1Data.Singletons.Prelude.List.NonEmpty
NotData.Singletons.Prelude.Bool, Data.Singletons.Prelude, Data.Singletons.CustomStar
NotElemData.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
NotElemSym0Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
NotElemSym1Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
NotElemSym2Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
NothingSym0Data.Singletons.Prelude.Maybe, Data.Singletons.Prelude
NotSym0Data.Singletons.Prelude.Bool, Data.Singletons.Prelude, Data.Singletons.CustomStar
NotSym1Data.Singletons.Prelude.Bool, Data.Singletons.Prelude, Data.Singletons.CustomStar
Nub 
1 (Type/Class)Data.Singletons.Prelude.List
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
NubBy 
1 (Type/Class)Data.Singletons.Prelude.List
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
NubBySym0 
1 (Type/Class)Data.Singletons.Prelude.List
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
NubBySym1 
1 (Type/Class)Data.Singletons.Prelude.List
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
NubBySym2 
1 (Type/Class)Data.Singletons.Prelude.List
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
NubSym0 
1 (Type/Class)Data.Singletons.Prelude.List
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
NubSym1 
1 (Type/Class)Data.Singletons.Prelude.List
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
NullData.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar, Data.Singletons.CustomStar
NullSym0Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
NullSym1Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
OnData.Singletons.Prelude.Function
OnSym0Data.Singletons.Prelude.Function
OnSym1Data.Singletons.Prelude.Function
OnSym2Data.Singletons.Prelude.Function
OnSym3Data.Singletons.Prelude.Function
OnSym4Data.Singletons.Prelude.Function
OptionalData.Singletons.Prelude.Applicative
OptionalSym0Data.Singletons.Prelude.Applicative
OptionalSym1Data.Singletons.Prelude.Applicative
OptionsData.Singletons.TH.Options
OptionsMData.Singletons.TH.Options
OptionsMonadData.Singletons.TH.Options
OptionSym0Data.Singletons.Prelude.Semigroup
OptionSym1Data.Singletons.Prelude.Semigroup
Option_Data.Singletons.Prelude.Semigroup
option_Data.Singletons.Prelude.Semigroup
OrData.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
OrSym0Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
OrSym1Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
OtherwiseData.Singletons.Prelude.Bool, Data.Singletons.Prelude.Base, Data.Singletons.Prelude, Data.Singletons.CustomStar
OtherwiseSym0Data.Singletons.Prelude.Bool, Data.Singletons.Prelude.Base, Data.Singletons.Prelude, Data.Singletons.CustomStar
PAlternativeData.Singletons.Prelude.Applicative
PApplicativeData.Singletons.Prelude.Applicative, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
Partition 
1 (Type/Class)Data.Singletons.Prelude.List
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
PartitionEithersData.Singletons.Prelude.Either
PartitionSym0 
1 (Type/Class)Data.Singletons.Prelude.List
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
PartitionSym1 
1 (Type/Class)Data.Singletons.Prelude.List
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
PartitionSym2 
1 (Type/Class)Data.Singletons.Prelude.List
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
PBoundedData.Singletons.Prelude.Enum, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
PEnumData.Singletons.Prelude.Enum, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
PEqData.Singletons.Prelude.Eq, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
PermutationsData.Singletons.Prelude.List
PermutationsSym0Data.Singletons.Prelude.List
PermutationsSym1Data.Singletons.Prelude.List
PErrorMessageData.Singletons.TypeError
PFoldableData.Singletons.Prelude.Foldable, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
PFunctorData.Singletons.Prelude.Functor, Data.Singletons.Prelude.Monad, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
PIsStringData.Singletons.Prelude.IsString
PMonadData.Singletons.Prelude.Monad, Data.Singletons.Prelude
PMonadFailData.Singletons.Prelude.Monad.Fail, Data.Singletons.Prelude.Monad, Data.Singletons.Prelude
PMonadPlusData.Singletons.Prelude.Monad
PMonadZipData.Singletons.Prelude.Monad.Zip
PMonoidData.Singletons.Prelude.Monoid, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
PNumData.Singletons.Prelude.Num, Data.Singletons.Prelude
POrdData.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
PredData.Singletons.Prelude.Enum
PredSym0Data.Singletons.Prelude.Enum
PredSym1Data.Singletons.Prelude.Enum
ProductData.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar, Data.Singletons.CustomStar
ProductSym0 
1 (Type/Class)Data.Singletons.Prelude.Monoid, Data.Singletons.Prelude.Semigroup
2 (Type/Class)Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
ProductSym1 
1 (Type/Class)Data.Singletons.Prelude.Monoid, Data.Singletons.Prelude.Semigroup
2 (Type/Class)Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
projSigma1Data.Singletons.Sigma
projSigma2Data.Singletons.Sigma
promoteData.Singletons.TH, Data.Singletons.CustomStar
promoteBoundedInstanceData.Singletons.TH, Data.Singletons.CustomStar
promoteBoundedInstancesData.Singletons.TH, Data.Singletons.CustomStar
promotedClassNameData.Singletons.TH.Options
promotedLetBoundValueNameData.Singletons.TH.Options
promotedTopLevelValueNameData.Singletons.TH.Options
promotedValueNameData.Singletons.TH.Options
promoteEnumInstanceData.Singletons.TH, Data.Singletons.CustomStar
promoteEnumInstancesData.Singletons.TH, Data.Singletons.CustomStar
promoteEqInstanceData.Singletons.TH, Data.Singletons.CustomStar
promoteEqInstancesData.Singletons.TH, Data.Singletons.CustomStar
promoteOnlyData.Singletons.TH, Data.Singletons.CustomStar
promoteOrdInstanceData.Singletons.TH, Data.Singletons.CustomStar
promoteOrdInstancesData.Singletons.TH, Data.Singletons.CustomStar
promoteShowInstanceData.Singletons.TH, Data.Singletons.CustomStar
promoteShowInstancesData.Singletons.TH, Data.Singletons.CustomStar
ProvedData.Singletons.Decide, Data.Singletons.TH, Data.Singletons.CustomStar
Proxy 
1 (Data Constructor)Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
2 (Type/Class)Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
ProxySym0Data.Singletons.Prelude.Proxy
PSemigroupData.Singletons.Prelude.Semigroup, Data.Singletons.Prelude
PShowData.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
PTraversableData.Singletons.Prelude.Traversable, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
PureData.Singletons.Prelude.Applicative, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar, Data.Singletons.CustomStar
PureSym0Data.Singletons.Prelude.Applicative, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
PureSym1Data.Singletons.Prelude.Applicative, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
QuotData.Singletons.TypeLits
QuotRemData.Singletons.TypeLits
QuotRemSym0Data.Singletons.TypeLits
QuotRemSym1Data.Singletons.TypeLits
QuotRemSym2Data.Singletons.TypeLits
QuotSym0Data.Singletons.TypeLits
QuotSym1Data.Singletons.TypeLits
QuotSym2Data.Singletons.TypeLits
ReflData.Singletons.Decide, Data.Singletons.TH, Data.Singletons.CustomStar
RefutedData.Singletons.Decide, Data.Singletons.TH, Data.Singletons.CustomStar
RemData.Singletons.TypeLits
RemSym0Data.Singletons.TypeLits
RemSym1Data.Singletons.TypeLits
RemSym2Data.Singletons.TypeLits
ReplicateData.Singletons.Prelude.List, Data.Singletons.Prelude
ReplicateMData.Singletons.Prelude.Monad
ReplicateMSym0Data.Singletons.Prelude.Monad
ReplicateMSym1Data.Singletons.Prelude.Monad
ReplicateMSym2Data.Singletons.Prelude.Monad
ReplicateM_Data.Singletons.Prelude.Monad
ReplicateM_Sym0Data.Singletons.Prelude.Monad
ReplicateM_Sym1Data.Singletons.Prelude.Monad
ReplicateM_Sym2Data.Singletons.Prelude.Monad
ReplicateSym0Data.Singletons.Prelude.List, Data.Singletons.Prelude
ReplicateSym1Data.Singletons.Prelude.List, Data.Singletons.Prelude
ReplicateSym2Data.Singletons.Prelude.List, Data.Singletons.Prelude
ReturnData.Singletons.Prelude.Monad, Data.Singletons.Prelude
ReturnSym0Data.Singletons.Prelude.Monad, Data.Singletons.Prelude
ReturnSym1Data.Singletons.Prelude.Monad, Data.Singletons.Prelude
Reverse 
1 (Type/Class)Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
ReverseSym0 
1 (Type/Class)Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
ReverseSym1 
1 (Type/Class)Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
RightsData.Singletons.Prelude.Either
RightsSym0Data.Singletons.Prelude.Either
RightsSym1Data.Singletons.Prelude.Either
RightSym0Data.Singletons.Prelude.Either, Data.Singletons.Prelude
RightSym1Data.Singletons.Prelude.Either, Data.Singletons.Prelude
RunIdentityData.Singletons.Prelude.Identity
RunIdentitySym0Data.Singletons.Prelude.Identity
RunIdentitySym1Data.Singletons.Prelude.Identity
sAbsData.Singletons.Prelude.Num, Data.Singletons.Prelude
sAbsurdData.Singletons.Prelude.Void
SAll 
1 (Type/Class)Data.Singletons.Prelude.Monoid, Data.Singletons.Prelude.Semigroup
2 (Data Constructor)Data.Singletons.Prelude.Monoid, Data.Singletons.Prelude.Semigroup
sAllData.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
SAlternativeData.Singletons.Prelude.Applicative
SameKindData.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
SameKindSym0Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
SameKindSym1Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
SameKindSym2Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sAndData.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
SAny 
1 (Type/Class)Data.Singletons.Prelude.Monoid, Data.Singletons.Prelude.Semigroup
2 (Data Constructor)Data.Singletons.Prelude.Monoid, Data.Singletons.Prelude.Semigroup
sAnyData.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
sApData.Singletons.Prelude.Monad
SApplicativeData.Singletons.Prelude.Applicative, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sAppPrecData.Singletons.Prelude.Show
sAppPrec1Data.Singletons.Prelude.Show
SArg 
1 (Type/Class)Data.Singletons.Prelude.Semigroup
2 (Data Constructor)Data.Singletons.Prelude.Semigroup
sAsProxyTypeOfData.Singletons.Prelude.Proxy
sAsTypeOfData.Singletons.Prelude.Base, Data.Singletons.Prelude
sAsumData.Singletons.Prelude.Foldable
SBoolData.Singletons.Prelude.Bool, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sBool_Data.Singletons.Prelude.Bool, Data.Singletons.CustomStar
SBoundedData.Singletons.Prelude.Enum, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sBreak 
1 (Function)Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Function)Data.Singletons.Prelude.List.NonEmpty
Scanl 
1 (Type/Class)Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
Scanl1 
1 (Type/Class)Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
Scanl1Sym0 
1 (Type/Class)Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
Scanl1Sym1 
1 (Type/Class)Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
Scanl1Sym2 
1 (Type/Class)Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
ScanlSym0 
1 (Type/Class)Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
ScanlSym1 
1 (Type/Class)Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
ScanlSym2 
1 (Type/Class)Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
ScanlSym3 
1 (Type/Class)Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
Scanr 
1 (Type/Class)Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
Scanr1 
1 (Type/Class)Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
Scanr1Sym0 
1 (Type/Class)Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
Scanr1Sym1 
1 (Type/Class)Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
Scanr1Sym2 
1 (Type/Class)Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
ScanrSym0 
1 (Type/Class)Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
ScanrSym1 
1 (Type/Class)Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
ScanrSym2 
1 (Type/Class)Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
ScanrSym3 
1 (Type/Class)Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
sCasesData.Singletons.TH, Data.Singletons.CustomStar
sCatMaybesData.Singletons.Prelude.Maybe
SCharData.Singletons.Prelude.Show, Data.Singletons.Prelude
sCompareData.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sComparingData.Singletons.Prelude.Ord
SconcatData.Singletons.Prelude.Semigroup
sConcatData.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
sConcatMapData.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
SconcatSym0Data.Singletons.Prelude.Semigroup
SconcatSym1Data.Singletons.Prelude.Semigroup
SConsData.Singletons.Prelude.List, Data.Singletons.Prelude
sConsData.Singletons.Prelude.List.NonEmpty
SConst 
1 (Type/Class)Data.Singletons.Prelude.Const, Data.Singletons.Prelude.Applicative
2 (Data Constructor)Data.Singletons.Prelude.Const, Data.Singletons.Prelude.Applicative
sConstData.Singletons.Prelude.Base, Data.Singletons.Prelude.Function, Data.Singletons.Prelude
sCurryData.Singletons.Prelude.Tuple, Data.Singletons.Prelude
SDecideData.Singletons.Decide, Data.Singletons.TH, Data.Singletons.CustomStar
sDeleteData.Singletons.Prelude.List
sDeleteByData.Singletons.Prelude.List
sDeleteFirstsByData.Singletons.Prelude.List
sDivData.Singletons.TypeLits
sDivModData.Singletons.TypeLits
SDown 
1 (Type/Class)Data.Singletons.Prelude.Ord
2 (Data Constructor)Data.Singletons.Prelude.Ord
sDrop 
1 (Function)Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Function)Data.Singletons.Prelude.List.NonEmpty
sDropWhile 
1 (Function)Data.Singletons.Prelude.List
2 (Function)Data.Singletons.Prelude.List.NonEmpty
sDropWhileEndData.Singletons.Prelude.List
SDual 
1 (Type/Class)Data.Singletons.Prelude.Monoid, Data.Singletons.Prelude.Semigroup
2 (Data Constructor)Data.Singletons.Prelude.Monoid, Data.Singletons.Prelude.Semigroup
SEitherData.Singletons.Prelude.Either, Data.Singletons.Prelude
sEither_Data.Singletons.Prelude.Either, Data.Singletons.Prelude
sElemData.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sElemIndexData.Singletons.Prelude.List
sElemIndicesData.Singletons.Prelude.List
sEmptyData.Singletons.Prelude.Applicative
SEnumData.Singletons.Prelude.Enum, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sEnumFromThenToData.Singletons.Prelude.Enum, Data.Singletons.Prelude
sEnumFromToData.Singletons.Prelude.Enum, Data.Singletons.Prelude
SEQData.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
SEqData.Singletons.Prelude.Eq, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
SeqData.Singletons.Prelude.Base, Data.Singletons.Prelude
SeqSym0Data.Singletons.Prelude.Base, Data.Singletons.Prelude
SeqSym1Data.Singletons.Prelude.Base, Data.Singletons.Prelude
SeqSym2Data.Singletons.Prelude.Base, Data.Singletons.Prelude
SequenceData.Singletons.Prelude.Traversable, Data.Singletons.Prelude.Monad, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar, Data.Singletons.CustomStar
SequenceAData.Singletons.Prelude.Traversable, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar, Data.Singletons.CustomStar
SequenceASym0Data.Singletons.Prelude.Traversable, Data.Singletons.Prelude
SequenceASym1Data.Singletons.Prelude.Traversable, Data.Singletons.Prelude
SequenceA_Data.Singletons.Prelude.Foldable
SequenceA_Sym0Data.Singletons.Prelude.Foldable
SequenceA_Sym1Data.Singletons.Prelude.Foldable
SequenceSym0Data.Singletons.Prelude.Traversable, Data.Singletons.Prelude.Monad, Data.Singletons.Prelude
SequenceSym1Data.Singletons.Prelude.Traversable, Data.Singletons.Prelude.Monad, Data.Singletons.Prelude
Sequence_Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.Monad, Data.Singletons.Prelude
Sequence_Sym0Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.Monad, Data.Singletons.Prelude
Sequence_Sym1Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.Monad, Data.Singletons.Prelude
sErrorData.Singletons.TypeLits, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
SErrorMessageData.Singletons.TypeError
sErrorWithoutStackTraceData.Singletons.TypeLits, Data.Singletons.Prelude
sFailData.Singletons.Prelude.Monad.Fail, Data.Singletons.Prelude.Monad, Data.Singletons.Prelude
SFalseData.Singletons.Prelude.Bool, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sFilter 
1 (Function)Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Function)Data.Singletons.Prelude.List.NonEmpty
sFilterMData.Singletons.Prelude.Monad
sFindData.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List
sFindIndexData.Singletons.Prelude.List
sFindIndicesData.Singletons.Prelude.List
SFirst 
1 (Type/Class)Data.Singletons.Prelude.Semigroup
2 (Data Constructor)Data.Singletons.Prelude.Semigroup
3 (Type/Class)Data.Singletons.Prelude.Monoid
4 (Data Constructor)Data.Singletons.Prelude.Monoid
sFlipData.Singletons.Prelude.Base, Data.Singletons.Prelude.Function, Data.Singletons.Prelude
sFmapData.Singletons.Prelude.Functor, Data.Singletons.Prelude.Monad, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sFmapDefaultData.Singletons.Prelude.Traversable
sFoldData.Singletons.Prelude.Foldable, Data.Singletons.TH, Data.Singletons.CustomStar
SFoldableData.Singletons.Prelude.Foldable, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sFoldlData.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sFoldl'Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.TH, Data.Singletons.CustomStar
sFoldl1Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sFoldl1'Data.Singletons.Prelude.List
sFoldlMData.Singletons.Prelude.Foldable, Data.Singletons.Prelude.Monad
sFoldMapData.Singletons.Prelude.Foldable, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sFoldMapDefaultData.Singletons.Prelude.Traversable
sFoldr 
1 (Function)Data.Singletons.Prelude.Base
2 (Function)Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sFoldr'Data.Singletons.Prelude.Foldable, Data.Singletons.TH, Data.Singletons.CustomStar
sFoldr1Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sFoldrMData.Singletons.Prelude.Foldable
sForData.Singletons.Prelude.Traversable
sForMData.Singletons.Prelude.Traversable, Data.Singletons.Prelude.Monad
sForM_Data.Singletons.Prelude.Foldable
sFor_Data.Singletons.Prelude.Foldable
sFromEnumData.Singletons.Prelude.Enum, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sFromIntegerData.Singletons.Prelude.Num, Data.Singletons.Prelude
sFromJustData.Singletons.Prelude.Maybe
sFromListData.Singletons.Prelude.List.NonEmpty
sFromMaybeData.Singletons.Prelude.Maybe
sFromStringData.Singletons.Prelude.IsString
sFstData.Singletons.Prelude.Tuple, Data.Singletons.Prelude
SFunctorData.Singletons.Prelude.Functor, Data.Singletons.Prelude.Monad, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sGenericLengthData.Singletons.Prelude.List
sGetAllData.Singletons.Prelude.Monoid, Data.Singletons.Prelude.Semigroup
sGetAnyData.Singletons.Prelude.Monoid, Data.Singletons.Prelude.Semigroup
sGetConstData.Singletons.Prelude.Const, Data.Singletons.Prelude.Applicative
sGetDownData.Singletons.Prelude.Ord
sGetDualData.Singletons.Prelude.Monoid, Data.Singletons.Prelude.Semigroup
sGetFirst 
1 (Function)Data.Singletons.Prelude.Semigroup
2 (Function)Data.Singletons.Prelude.Monoid
sGetLast 
1 (Function)Data.Singletons.Prelude.Semigroup
2 (Function)Data.Singletons.Prelude.Monoid
sGetMaxData.Singletons.Prelude.Semigroup
sGetMinData.Singletons.Prelude.Semigroup
sGetOptionData.Singletons.Prelude.Semigroup
sGetProductData.Singletons.Prelude.Monoid, Data.Singletons.Prelude.Semigroup
sGetSumData.Singletons.Prelude.Monoid, Data.Singletons.Prelude.Semigroup
sGroup 
1 (Function)Data.Singletons.Prelude.List
2 (Function)Data.Singletons.Prelude.List.NonEmpty
sGroup1Data.Singletons.Prelude.List.NonEmpty
sGroupAllWithData.Singletons.Prelude.List.NonEmpty
sGroupAllWith1Data.Singletons.Prelude.List.NonEmpty
sGroupBy 
1 (Function)Data.Singletons.Prelude.List
2 (Function)Data.Singletons.Prelude.List.NonEmpty
sGroupBy1Data.Singletons.Prelude.List.NonEmpty
sGroupWithData.Singletons.Prelude.List.NonEmpty
sGroupWith1Data.Singletons.Prelude.List.NonEmpty
SGTData.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sGuardData.Singletons.Prelude.Monad
sHead 
1 (Function)Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Function)Data.Singletons.Prelude.List.NonEmpty
ShowApplyData.Singletons.Sigma
ShowApply'Data.Singletons.Sigma
ShowCharData.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
ShowCharSym0Data.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
ShowCharSym1Data.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
ShowCharSym2Data.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
ShowCommaSpaceData.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.CustomStar
ShowCommaSpaceSym0Data.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.CustomStar
ShowCommaSpaceSym1Data.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.CustomStar
showErrorMessageData.Singletons.TypeError
ShowListData.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar, Data.Singletons.CustomStar
ShowListSym0Data.Singletons.Prelude.Show, Data.Singletons.Prelude
ShowListSym1Data.Singletons.Prelude.Show, Data.Singletons.Prelude
ShowListSym2Data.Singletons.Prelude.Show, Data.Singletons.Prelude
ShowListWithData.Singletons.Prelude.Show
ShowListWithSym0Data.Singletons.Prelude.Show
ShowListWithSym1Data.Singletons.Prelude.Show
ShowListWithSym2Data.Singletons.Prelude.Show
ShowListWithSym3Data.Singletons.Prelude.Show
ShowParenData.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
ShowParenSym0Data.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
ShowParenSym1Data.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
ShowParenSym2Data.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
ShowSData.Singletons.Prelude
ShowsData.Singletons.Prelude.Show, Data.Singletons.Prelude
ShowSingData.Singletons.ShowSing
ShowSing'Data.Singletons.ShowSing
ShowSingApplyData.Singletons.Sigma
ShowSingApply'Data.Singletons.Sigma
showSingInstanceData.Singletons.TH, Data.Singletons.CustomStar
showSingInstancesData.Singletons.TH, Data.Singletons.CustomStar
ShowSpaceData.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.CustomStar
ShowSpaceSym0Data.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.CustomStar
ShowSpaceSym1Data.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.CustomStar
ShowsPrecData.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar, Data.Singletons.CustomStar
ShowsPrecSym0Data.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
ShowsPrecSym1Data.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
ShowsPrecSym2Data.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
ShowsPrecSym3Data.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
ShowsSym0Data.Singletons.Prelude.Show, Data.Singletons.Prelude
ShowsSym1Data.Singletons.Prelude.Show, Data.Singletons.Prelude
ShowsSym2Data.Singletons.Prelude.Show, Data.Singletons.Prelude
ShowStringData.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
ShowStringSym0Data.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
ShowStringSym1Data.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
ShowStringSym2Data.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
ShowTypeData.Singletons.TypeError
ShowTypeSym0Data.Singletons.TypeError
ShowTypeSym1Data.Singletons.TypeError
Show_Data.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar, Data.Singletons.CustomStar
show_Data.Singletons.Prelude.Show, Data.Singletons.Prelude
Show_Sym0Data.Singletons.Prelude.Show, Data.Singletons.Prelude
Show_Sym1Data.Singletons.Prelude.Show, Data.Singletons.Prelude
sIdData.Singletons.Prelude.Base, Data.Singletons.Prelude.Function, Data.Singletons.Prelude
SIdentity 
1 (Type/Class)Data.Singletons.Prelude.Identity
2 (Data Constructor)Data.Singletons.Prelude.Identity
sIfData.Singletons.Prelude.Bool, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
SigmaData.Singletons.Sigma
SignumData.Singletons.Prelude.Num, Data.Singletons.Prelude, Data.Singletons.Prelude
SignumSym0Data.Singletons.Prelude.Num, Data.Singletons.Prelude
SignumSym1Data.Singletons.Prelude.Num, Data.Singletons.Prelude
Sing 
1 (Type/Class)Data.Singletons.Prelude.Void, Data.Singletons.Prelude.Tuple, Data.Singletons.Prelude.Bool, Data.Singletons.TypeRepTYPE, Data.Singletons.Prelude.Ord, Data.Singletons.TypeLits, Data.Singletons.Prelude.Maybe, Data.Singletons.Sigma, Data.Singletons.Prelude.Monoid, Data.Singletons.Prelude.Proxy, Data.Singletons.Prelude.Either, Data.Singletons.Prelude.Identity, Data.Singletons.Prelude.Const, Data.Singletons.Prelude.Semigroup, Data.Singletons.Prelude.List, Data.Singletons.Prelude.List.NonEmpty, Data.Singletons.Prelude.Applicative, Data.Singletons, Data.Singletons.TH, Data.Singletons.TypeError, Data.Singletons.Prelude, Data.Singletons.CustomStar
2 (Data Constructor)Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
singData.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
singBoundedInstanceData.Singletons.TH, Data.Singletons.CustomStar
singBoundedInstancesData.Singletons.TH, Data.Singletons.CustomStar
singByProxyData.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
singByProxy#Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
singDecideInstanceData.Singletons.TH, Data.Singletons.CustomStar
singDecideInstancesData.Singletons.TH, Data.Singletons.CustomStar
singEnumInstanceData.Singletons.TH, Data.Singletons.CustomStar
singEnumInstancesData.Singletons.TH, Data.Singletons.CustomStar
singEqInstanceData.Singletons.TH, Data.Singletons.CustomStar
singEqInstanceOnlyData.Singletons.TH, Data.Singletons.CustomStar
singEqInstancesData.Singletons.TH, Data.Singletons.CustomStar
singEqInstancesOnlyData.Singletons.TH, Data.Singletons.CustomStar
singFun1Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
singFun2Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
singFun3Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
singFun4Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
singFun5Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
singFun6Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
singFun7Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
singFun8Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
SingFunction1Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
SingFunction2Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
SingFunction3Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
SingFunction4Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
SingFunction5Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
SingFunction6Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
SingFunction7Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
SingFunction8Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
SingIData.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
SingInstance 
1 (Type/Class)Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
2 (Data Constructor)Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
singInstanceData.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
singITyConInstanceData.Singletons.TH, Data.Singletons.CustomStar
singITyConInstancesData.Singletons.TH, Data.Singletons.CustomStar
SingKindData.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
singledClassNameData.Singletons.TH.Options
singledDataConNameData.Singletons.TH.Options
singledDataTypeNameData.Singletons.TH.Options
singledValueNameData.Singletons.TH.Options
singletonsData.Singletons.TH, Data.Singletons.CustomStar
singletonsOnlyData.Singletons.TH, Data.Singletons.CustomStar
singletonStarData.Singletons.CustomStar
singOrdInstanceData.Singletons.TH, Data.Singletons.CustomStar
singOrdInstancesData.Singletons.TH, Data.Singletons.CustomStar
singShowInstanceData.Singletons.TH, Data.Singletons.CustomStar
singShowInstancesData.Singletons.TH, Data.Singletons.CustomStar
singThatData.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sInit 
1 (Function)Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Function)Data.Singletons.Prelude.List.NonEmpty
sInits 
1 (Function)Data.Singletons.Prelude.List
2 (Function)Data.Singletons.Prelude.List.NonEmpty
sInsert 
1 (Function)Data.Singletons.Prelude.List
2 (Function)Data.Singletons.Prelude.List.NonEmpty
sInsertByData.Singletons.Prelude.List
sIntercalateData.Singletons.Prelude.List
sIntersectData.Singletons.Prelude.List
sIntersectByData.Singletons.Prelude.List
sIntersperse 
1 (Function)Data.Singletons.Prelude.List
2 (Function)Data.Singletons.Prelude.List.NonEmpty
sIsInfixOfData.Singletons.Prelude.List
sIsJustData.Singletons.Prelude.Maybe
sIsLeftData.Singletons.Prelude.Either
sIsNothingData.Singletons.Prelude.Maybe
sIsPrefixOf 
1 (Function)Data.Singletons.Prelude.List
2 (Function)Data.Singletons.Prelude.List.NonEmpty
sIsRightData.Singletons.Prelude.Either
SIsStringData.Singletons.Prelude.IsString
sIsSuffixOfData.Singletons.Prelude.List
sJoinData.Singletons.Prelude.Monad
SJustData.Singletons.Prelude.Maybe, Data.Singletons.Prelude
SLambda 
1 (Type/Class)Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
2 (Data Constructor)Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
SLambda2Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
SLambda3Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
SLambda4Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
SLambda5Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
SLambda6Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
SLambda7Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
SLambda8Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
SLast 
1 (Type/Class)Data.Singletons.Prelude.Semigroup
2 (Data Constructor)Data.Singletons.Prelude.Semigroup
3 (Type/Class)Data.Singletons.Prelude.Monoid
4 (Data Constructor)Data.Singletons.Prelude.Monoid
sLast 
1 (Function)Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Function)Data.Singletons.Prelude.List.NonEmpty
SLeftData.Singletons.Prelude.Either, Data.Singletons.Prelude
sLeftsData.Singletons.Prelude.Either
sLength 
1 (Function)Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.TH, Data.Singletons.CustomStar
2 (Function)Data.Singletons.Prelude.List.NonEmpty
sLiftAData.Singletons.Prelude.Applicative
sLiftA2Data.Singletons.Prelude.Applicative, Data.Singletons.TH, Data.Singletons.CustomStar
sLiftA3Data.Singletons.Prelude.Applicative
sLiftMData.Singletons.Prelude.Monad
sLiftM2Data.Singletons.Prelude.Monad
sLiftM3Data.Singletons.Prelude.Monad
sLiftM4Data.Singletons.Prelude.Monad
sLiftM5Data.Singletons.Prelude.Monad
SListData.Singletons.Prelude.List, Data.Singletons.Prelude
sListToMaybeData.Singletons.Prelude.Maybe
sLog2Data.Singletons.TypeLits
sLookupData.Singletons.Prelude.List, Data.Singletons.Prelude
SLTData.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sMap 
1 (Function)Data.Singletons.Prelude.Base, Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Function)Data.Singletons.Prelude.List.NonEmpty
sMapAccumLData.Singletons.Prelude.Traversable, Data.Singletons.Prelude.List
sMapAccumRData.Singletons.Prelude.Traversable, Data.Singletons.Prelude.List
sMapAndUnzipMData.Singletons.Prelude.Monad
sMapMData.Singletons.Prelude.Traversable, Data.Singletons.Prelude.Monad, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sMapMaybeData.Singletons.Prelude.Maybe
sMapM_Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.Monad, Data.Singletons.Prelude
sMappendData.Singletons.Prelude.Monoid, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
SMax 
1 (Type/Class)Data.Singletons.Prelude.Semigroup
2 (Data Constructor)Data.Singletons.Prelude.Semigroup
sMaxData.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sMaxBoundData.Singletons.Prelude.Enum, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sMaximumData.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sMaximumByData.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List
SMaybeData.Singletons.Prelude.Maybe, Data.Singletons.Prelude
sMaybeToListData.Singletons.Prelude.Maybe
sMaybe_Data.Singletons.Prelude.Maybe, Data.Singletons.Prelude
sMconcatData.Singletons.Prelude.Monoid, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sMemptyData.Singletons.Prelude.Monoid, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sMfilterData.Singletons.Prelude.Monad
SMin 
1 (Type/Class)Data.Singletons.Prelude.Semigroup
2 (Data Constructor)Data.Singletons.Prelude.Semigroup
sMinData.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sMinBoundData.Singletons.Prelude.Enum, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sMinimumData.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sMinimumByData.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List
sModData.Singletons.TypeLits
SMonadData.Singletons.Prelude.Monad, Data.Singletons.Prelude
SMonadFailData.Singletons.Prelude.Monad.Fail, Data.Singletons.Prelude.Monad, Data.Singletons.Prelude
SMonadPlusData.Singletons.Prelude.Monad
SMonadZipData.Singletons.Prelude.Monad.Zip
SMonoidData.Singletons.Prelude.Monoid, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sMplusData.Singletons.Prelude.Monad
sMsumData.Singletons.Prelude.Foldable, Data.Singletons.Prelude.Monad
sMunzipData.Singletons.Prelude.Monad.Zip
sMzeroData.Singletons.Prelude.Monad
sMzipData.Singletons.Prelude.Monad.Zip
sMzipWithData.Singletons.Prelude.Monad.Zip
SNat 
1 (Type/Class)Data.Singletons.TypeLits
2 (Data Constructor)Data.Singletons.TypeLits
SndData.Singletons.Prelude.Tuple, Data.Singletons.Prelude
SndSigmaData.Singletons.Sigma
sndSigmaData.Singletons.Sigma
SndSym0Data.Singletons.Prelude.Tuple, Data.Singletons.Prelude
SndSym1Data.Singletons.Prelude.Tuple, Data.Singletons.Prelude
sNegateData.Singletons.Prelude.Num, Data.Singletons.Prelude
SNilData.Singletons.Prelude.List, Data.Singletons.Prelude
SNonEmptyData.Singletons.Prelude.List.NonEmpty
sNonEmpty_Data.Singletons.Prelude.List.NonEmpty
sNotData.Singletons.Prelude.Bool, Data.Singletons.Prelude, Data.Singletons.CustomStar
sNotElemData.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
SNothingData.Singletons.Prelude.Maybe, Data.Singletons.Prelude
sNub 
1 (Function)Data.Singletons.Prelude.List
2 (Function)Data.Singletons.Prelude.List.NonEmpty
sNubBy 
1 (Function)Data.Singletons.Prelude.List
2 (Function)Data.Singletons.Prelude.List.NonEmpty
sNullData.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
SNumData.Singletons.Prelude.Num, Data.Singletons.Prelude
SomeSing 
1 (Type/Class)Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
2 (Data Constructor)Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
SomeTypeRepTYPE 
1 (Type/Class)Data.Singletons.TypeRepTYPE
2 (Data Constructor)Data.Singletons.TypeRepTYPE
sOnData.Singletons.Prelude.Function
SOption 
1 (Type/Class)Data.Singletons.Prelude.Semigroup
2 (Data Constructor)Data.Singletons.Prelude.Semigroup
sOptionalData.Singletons.Prelude.Applicative
sOption_Data.Singletons.Prelude.Semigroup
sOrData.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
SOrdData.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
SOrderingData.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
Sort 
1 (Type/Class)Data.Singletons.Prelude.List
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
SortBy 
1 (Type/Class)Data.Singletons.Prelude.List
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
SortBySym0 
1 (Type/Class)Data.Singletons.Prelude.List
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
SortBySym1 
1 (Type/Class)Data.Singletons.Prelude.List
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
SortBySym2 
1 (Type/Class)Data.Singletons.Prelude.List
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
SortSym0 
1 (Type/Class)Data.Singletons.Prelude.List
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
SortSym1 
1 (Type/Class)Data.Singletons.Prelude.List
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
SortWithData.Singletons.Prelude.List.NonEmpty
SortWithSym0Data.Singletons.Prelude.List.NonEmpty
SortWithSym1Data.Singletons.Prelude.List.NonEmpty
SortWithSym2Data.Singletons.Prelude.List.NonEmpty
sOtherwiseData.Singletons.Prelude.Bool, Data.Singletons.Prelude.Base, Data.Singletons.Prelude, Data.Singletons.CustomStar
Span 
1 (Type/Class)Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
SpanSym0 
1 (Type/Class)Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
SpanSym1 
1 (Type/Class)Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
SpanSym2 
1 (Type/Class)Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
sPartition 
1 (Function)Data.Singletons.Prelude.List
2 (Function)Data.Singletons.Prelude.List.NonEmpty
sPartitionEithersData.Singletons.Prelude.Either
sPermutationsData.Singletons.Prelude.List
SplitAt 
1 (Type/Class)Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
SplitAtSym0 
1 (Type/Class)Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
SplitAtSym1 
1 (Type/Class)Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
SplitAtSym2 
1 (Type/Class)Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
sPredData.Singletons.Prelude.Enum
SProduct 
1 (Type/Class)Data.Singletons.Prelude.Monoid, Data.Singletons.Prelude.Semigroup
2 (Data Constructor)Data.Singletons.Prelude.Monoid, Data.Singletons.Prelude.Semigroup
sProductData.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
SProxy 
1 (Type/Class)Data.Singletons.Prelude.Proxy
2 (Data Constructor)Data.Singletons.Prelude.Proxy
sPureData.Singletons.Prelude.Applicative, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sQuotData.Singletons.TypeLits
sQuotRemData.Singletons.TypeLits
sRemData.Singletons.TypeLits
sReplicateData.Singletons.Prelude.List, Data.Singletons.Prelude
sReplicateMData.Singletons.Prelude.Monad
sReplicateM_Data.Singletons.Prelude.Monad
sReturnData.Singletons.Prelude.Monad, Data.Singletons.Prelude
sReverse 
1 (Function)Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Function)Data.Singletons.Prelude.List.NonEmpty
SRightData.Singletons.Prelude.Either, Data.Singletons.Prelude
sRightsData.Singletons.Prelude.Either
sRunIdentityData.Singletons.Prelude.Identity
sScanl 
1 (Function)Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Function)Data.Singletons.Prelude.List.NonEmpty
sScanl1 
1 (Function)Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Function)Data.Singletons.Prelude.List.NonEmpty
sScanr 
1 (Function)Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Function)Data.Singletons.Prelude.List.NonEmpty
sScanr1 
1 (Function)Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Function)Data.Singletons.Prelude.List.NonEmpty
sSconcatData.Singletons.Prelude.Semigroup
SSemigroupData.Singletons.Prelude.Semigroup, Data.Singletons.Prelude
sSeqData.Singletons.Prelude.Base, Data.Singletons.Prelude
sSequenceData.Singletons.Prelude.Traversable, Data.Singletons.Prelude.Monad, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sSequenceAData.Singletons.Prelude.Traversable, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sSequenceA_Data.Singletons.Prelude.Foldable
sSequence_Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.Monad, Data.Singletons.Prelude
SShowData.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sShowCharData.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sShowCommaSpaceData.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.CustomStar
sShowListData.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sShowListWithData.Singletons.Prelude.Show
sShowParenData.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sShowsData.Singletons.Prelude.Show, Data.Singletons.Prelude
sShowSpaceData.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.CustomStar
sShowsPrecData.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sShowStringData.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
SShowTypeData.Singletons.TypeError
sShow_Data.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
SSigmaData.Singletons.Sigma
sSignumData.Singletons.Prelude.Num, Data.Singletons.Prelude
sSndData.Singletons.Prelude.Tuple, Data.Singletons.Prelude
sSort 
1 (Function)Data.Singletons.Prelude.List
2 (Function)Data.Singletons.Prelude.List.NonEmpty
sSortBy 
1 (Function)Data.Singletons.Prelude.List
2 (Function)Data.Singletons.Prelude.List.NonEmpty
sSortWithData.Singletons.Prelude.List.NonEmpty
sSpan 
1 (Function)Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Function)Data.Singletons.Prelude.List.NonEmpty
sSplitAt 
1 (Function)Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Function)Data.Singletons.Prelude.List.NonEmpty
sSubsequencesData.Singletons.Prelude.List
sSubtractData.Singletons.Prelude.Num, Data.Singletons.Prelude
sSuccData.Singletons.Prelude.Enum
SSum 
1 (Type/Class)Data.Singletons.Prelude.Monoid, Data.Singletons.Prelude.Semigroup
2 (Data Constructor)Data.Singletons.Prelude.Monoid, Data.Singletons.Prelude.Semigroup
sSumData.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sSwapData.Singletons.Prelude.Tuple
SSymData.Singletons.TypeLits
SSymbolData.Singletons.TypeLits
sTail 
1 (Function)Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Function)Data.Singletons.Prelude.List.NonEmpty
sTails 
1 (Function)Data.Singletons.Prelude.List
2 (Function)Data.Singletons.Prelude.List.NonEmpty
sTake 
1 (Function)Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Function)Data.Singletons.Prelude.List.NonEmpty
sTakeWhile 
1 (Function)Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Function)Data.Singletons.Prelude.List.NonEmpty
STextData.Singletons.TypeError
sThenCmpData.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Singletons.CustomStar
sToEnumData.Singletons.Prelude.Enum, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sToList 
1 (Function)Data.Singletons.Prelude.Foldable, Data.Singletons.TH, Data.Singletons.CustomStar
2 (Function)Data.Singletons.Prelude.List.NonEmpty
sTranspose 
1 (Function)Data.Singletons.Prelude.List
2 (Function)Data.Singletons.Prelude.List.NonEmpty
STraversableData.Singletons.Prelude.Traversable, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sTraverseData.Singletons.Prelude.Traversable, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sTraverse_Data.Singletons.Prelude.Foldable
StripPrefixData.Singletons.Prelude.List
StripPrefixSym0Data.Singletons.Prelude.List
StripPrefixSym1Data.Singletons.Prelude.List
StripPrefixSym2Data.Singletons.Prelude.List
STrueData.Singletons.Prelude.Bool, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
STuple0 
1 (Type/Class)Data.Singletons.Prelude.Tuple, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
2 (Data Constructor)Data.Singletons.Prelude.Tuple, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
STuple2 
1 (Type/Class)Data.Singletons.Prelude.Tuple, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
2 (Data Constructor)Data.Singletons.Prelude.Tuple, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
STuple3 
1 (Type/Class)Data.Singletons.Prelude.Tuple, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
2 (Data Constructor)Data.Singletons.Prelude.Tuple, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
STuple4 
1 (Type/Class)Data.Singletons.Prelude.Tuple, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
2 (Data Constructor)Data.Singletons.Prelude.Tuple, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
STuple5 
1 (Type/Class)Data.Singletons.Prelude.Tuple, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
2 (Data Constructor)Data.Singletons.Prelude.Tuple, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
STuple6 
1 (Type/Class)Data.Singletons.Prelude.Tuple, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
2 (Data Constructor)Data.Singletons.Prelude.Tuple, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
STuple7 
1 (Type/Class)Data.Singletons.Prelude.Tuple, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
2 (Data Constructor)Data.Singletons.Prelude.Tuple, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sTypeErrorData.Singletons.TypeError
SubsequencesData.Singletons.Prelude.List
SubsequencesSym0Data.Singletons.Prelude.List
SubsequencesSym1Data.Singletons.Prelude.List
SubtractData.Singletons.Prelude.Num, Data.Singletons.Prelude
SubtractSym0Data.Singletons.Prelude.Num, Data.Singletons.Prelude
SubtractSym1Data.Singletons.Prelude.Num, Data.Singletons.Prelude
SubtractSym2Data.Singletons.Prelude.Num, Data.Singletons.Prelude
SuccData.Singletons.Prelude.Enum
SuccSym0Data.Singletons.Prelude.Enum
SuccSym1Data.Singletons.Prelude.Enum
SumData.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar, Data.Singletons.CustomStar
SumSym0 
1 (Type/Class)Data.Singletons.Prelude.Monoid, Data.Singletons.Prelude.Semigroup
2 (Type/Class)Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
SumSym1 
1 (Type/Class)Data.Singletons.Prelude.Monoid, Data.Singletons.Prelude.Semigroup
2 (Type/Class)Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
sUnconsData.Singletons.Prelude.List.NonEmpty
sUncurryData.Singletons.Prelude.Tuple, Data.Singletons.Prelude
sUndefinedData.Singletons.TypeLits, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sUnfoldData.Singletons.Prelude.List.NonEmpty
sUnfoldr 
1 (Function)Data.Singletons.Prelude.List
2 (Function)Data.Singletons.Prelude.List.NonEmpty
sUnionData.Singletons.Prelude.List
sUnionByData.Singletons.Prelude.List
sUnlessData.Singletons.Prelude.Monad
sUnlinesData.Singletons.Prelude.List, Data.Singletons.Prelude
sUntilData.Singletons.Prelude.Base
sUnwordsData.Singletons.Prelude.List, Data.Singletons.Prelude
sUnwrapMonoidData.Singletons.Prelude.Semigroup
sUnwrapSingData.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sUnzip 
1 (Function)Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Function)Data.Singletons.Prelude.List.NonEmpty
sUnzip3Data.Singletons.Prelude.List, Data.Singletons.Prelude
sUnzip4Data.Singletons.Prelude.List
sUnzip5Data.Singletons.Prelude.List
sUnzip6Data.Singletons.Prelude.List
sUnzip7Data.Singletons.Prelude.List
SuppressUnusedWarningsData.Singletons.SuppressUnusedWarnings, Data.Singletons.TH, Data.Singletons.CustomStar
suppressUnusedWarningsData.Singletons.SuppressUnusedWarnings, Data.Singletons.TH, Data.Singletons.CustomStar
SVoidData.Singletons.Prelude.Void
sVoidData.Singletons.Prelude.Functor, Data.Singletons.Prelude.Monad
SwapData.Singletons.Prelude.Tuple
SwapSym0Data.Singletons.Prelude.Tuple
SwapSym1Data.Singletons.Prelude.Tuple
sWhenData.Singletons.Prelude.Monad
SWrapMonoidData.Singletons.Prelude.Semigroup
SWrappedMonoidData.Singletons.Prelude.Semigroup
SWrappedSingData.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
SWrapSingData.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sXorData.Singletons.Prelude.List.NonEmpty
SymbolData.Singletons.TypeLits, Data.Singletons.Prelude
SymbolSData.Singletons.Prelude.Show
symbolValData.Singletons.TypeLits
sZip 
1 (Function)Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Function)Data.Singletons.Prelude.List.NonEmpty
sZip3Data.Singletons.Prelude.List, Data.Singletons.Prelude
sZipWith 
1 (Function)Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Function)Data.Singletons.Prelude.List.NonEmpty
sZipWith3Data.Singletons.Prelude.List, Data.Singletons.Prelude
sZipWithMData.Singletons.Prelude.Monad
sZipWithM_Data.Singletons.Prelude.Monad
SΣData.Singletons.Sigma
Tail 
1 (Type/Class)Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
Tails 
1 (Type/Class)Data.Singletons.Prelude.List
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
TailsSym0 
1 (Type/Class)Data.Singletons.Prelude.List
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
TailsSym1 
1 (Type/Class)Data.Singletons.Prelude.List
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
TailSym0 
1 (Type/Class)Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
TailSym1 
1 (Type/Class)Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
Take 
1 (Type/Class)Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
TakeSym0 
1 (Type/Class)Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
TakeSym1 
1 (Type/Class)Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
TakeSym2 
1 (Type/Class)Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
TakeWhile 
1 (Type/Class)Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
TakeWhileSym0 
1 (Type/Class)Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
TakeWhileSym1 
1 (Type/Class)Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
TakeWhileSym2 
1 (Type/Class)Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
TextData.Singletons.TypeError
TextSym0Data.Singletons.TypeError
TextSym1Data.Singletons.TypeError
ThenCmpData.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Singletons.CustomStar
thenCmpData.Singletons.Prelude.Ord
ThenCmpSym0Data.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Singletons.CustomStar
ThenCmpSym1Data.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Singletons.CustomStar
ThenCmpSym2Data.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Singletons.CustomStar
ToEnumData.Singletons.Prelude.Enum, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.Prelude, Data.Singletons.CustomStar, Data.Singletons.CustomStar
ToEnumSym0Data.Singletons.Prelude.Enum, Data.Singletons.Prelude
ToEnumSym1Data.Singletons.Prelude.Enum, Data.Singletons.Prelude
ToList 
1 (Type/Class)Data.Singletons.Prelude.Foldable, Data.Singletons.TH, Data.Singletons.CustomStar, Data.Singletons.CustomStar
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
ToListSym0 
1 (Type/Class)Data.Singletons.Prelude.Foldable
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
ToListSym1 
1 (Type/Class)Data.Singletons.Prelude.Foldable
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
toSingData.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
Transpose 
1 (Type/Class)Data.Singletons.Prelude.List
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
TransposeSym0 
1 (Type/Class)Data.Singletons.Prelude.List
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
TransposeSym1 
1 (Type/Class)Data.Singletons.Prelude.List
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
TraverseData.Singletons.Prelude.Traversable, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar, Data.Singletons.CustomStar
TraverseSym0Data.Singletons.Prelude.Traversable, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
TraverseSym1Data.Singletons.Prelude.Traversable, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
TraverseSym2Data.Singletons.Prelude.Traversable, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
Traverse_Data.Singletons.Prelude.Foldable
Traverse_Sym0Data.Singletons.Prelude.Foldable
Traverse_Sym1Data.Singletons.Prelude.Foldable
Traverse_Sym2Data.Singletons.Prelude.Foldable
TrueSym0Data.Singletons.Prelude.Bool, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
Tuple0Sym0Data.Singletons.Prelude.Tuple, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
Tuple2Sym0Data.Singletons.Prelude.Tuple, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
Tuple2Sym1Data.Singletons.Prelude.Tuple, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
Tuple2Sym2Data.Singletons.Prelude.Tuple, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
Tuple3Sym0Data.Singletons.Prelude.Tuple, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
Tuple3Sym1Data.Singletons.Prelude.Tuple, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
Tuple3Sym2Data.Singletons.Prelude.Tuple, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
Tuple3Sym3Data.Singletons.Prelude.Tuple, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
Tuple4Sym0Data.Singletons.Prelude.Tuple, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
Tuple4Sym1Data.Singletons.Prelude.Tuple, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
Tuple4Sym2Data.Singletons.Prelude.Tuple, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
Tuple4Sym3Data.Singletons.Prelude.Tuple, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
Tuple4Sym4Data.Singletons.Prelude.Tuple, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
Tuple5Sym0Data.Singletons.Prelude.Tuple, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
Tuple5Sym1Data.Singletons.Prelude.Tuple, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
Tuple5Sym2Data.Singletons.Prelude.Tuple, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
Tuple5Sym3Data.Singletons.Prelude.Tuple, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
Tuple5Sym4Data.Singletons.Prelude.Tuple, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
Tuple5Sym5Data.Singletons.Prelude.Tuple, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
Tuple6Sym0Data.Singletons.Prelude.Tuple, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
Tuple6Sym1Data.Singletons.Prelude.Tuple, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
Tuple6Sym2Data.Singletons.Prelude.Tuple, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
Tuple6Sym3Data.Singletons.Prelude.Tuple, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
Tuple6Sym4Data.Singletons.Prelude.Tuple, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
Tuple6Sym5Data.Singletons.Prelude.Tuple, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
Tuple6Sym6Data.Singletons.Prelude.Tuple, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
Tuple7Sym0Data.Singletons.Prelude.Tuple, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
Tuple7Sym1Data.Singletons.Prelude.Tuple, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
Tuple7Sym2Data.Singletons.Prelude.Tuple, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
Tuple7Sym3Data.Singletons.Prelude.Tuple, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
Tuple7Sym4Data.Singletons.Prelude.Tuple, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
Tuple7Sym5Data.Singletons.Prelude.Tuple, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
Tuple7Sym6Data.Singletons.Prelude.Tuple, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
Tuple7Sym7Data.Singletons.Prelude.Tuple, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
TyConData.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
TyCon1Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
TyCon2Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
TyCon3Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
TyCon4Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
TyCon5Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
TyCon6Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
TyCon7Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
TyCon8Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
TyFunData.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
TypeErrorData.Singletons.TypeError
typeErrorData.Singletons.TypeError
TypeErrorSym0Data.Singletons.TypeError
TypeErrorSym1Data.Singletons.TypeError
UnconsData.Singletons.Prelude.List.NonEmpty
UnconsSym0Data.Singletons.Prelude.List.NonEmpty
UnconsSym1Data.Singletons.Prelude.List.NonEmpty
UncurryData.Singletons.Prelude.Tuple, Data.Singletons.Prelude
uncurrySigmaData.Singletons.Sigma
UncurrySym0Data.Singletons.Prelude.Tuple, Data.Singletons.Prelude
UncurrySym1Data.Singletons.Prelude.Tuple, Data.Singletons.Prelude
UncurrySym2Data.Singletons.Prelude.Tuple, Data.Singletons.Prelude
UndefinedData.Singletons.TypeLits, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
UndefinedSym0Data.Singletons.TypeLits, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
UnfoldData.Singletons.Prelude.List.NonEmpty
Unfoldr 
1 (Type/Class)Data.Singletons.Prelude.List
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
UnfoldrSym0 
1 (Type/Class)Data.Singletons.Prelude.List
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
UnfoldrSym1 
1 (Type/Class)Data.Singletons.Prelude.List
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
UnfoldrSym2 
1 (Type/Class)Data.Singletons.Prelude.List
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
UnfoldSym0Data.Singletons.Prelude.List.NonEmpty
UnfoldSym1Data.Singletons.Prelude.List.NonEmpty
UnionData.Singletons.Prelude.List
UnionByData.Singletons.Prelude.List
UnionBySym0Data.Singletons.Prelude.List
UnionBySym1Data.Singletons.Prelude.List
UnionBySym2Data.Singletons.Prelude.List
UnionBySym3Data.Singletons.Prelude.List
UnionSym0Data.Singletons.Prelude.List
UnionSym1Data.Singletons.Prelude.List
UnionSym2Data.Singletons.Prelude.List
UnlessData.Singletons.Prelude.Monad
UnlessSym0Data.Singletons.Prelude.Monad
UnlessSym1Data.Singletons.Prelude.Monad
UnlessSym2Data.Singletons.Prelude.Monad
UnlinesData.Singletons.Prelude.List, Data.Singletons.Prelude
UnlinesSym0Data.Singletons.Prelude.List, Data.Singletons.Prelude
UnlinesSym1Data.Singletons.Prelude.List, Data.Singletons.Prelude
unSingFun1Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
unSingFun2Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
unSingFun3Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
unSingFun4Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
unSingFun5Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
unSingFun6Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
unSingFun7Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
unSingFun8Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
UntilData.Singletons.Prelude.Base
UntilSym0Data.Singletons.Prelude.Base
UntilSym1Data.Singletons.Prelude.Base
UntilSym2Data.Singletons.Prelude.Base
UntilSym3Data.Singletons.Prelude.Base
UnwordsData.Singletons.Prelude.List, Data.Singletons.Prelude
UnwordsSym0Data.Singletons.Prelude.List, Data.Singletons.Prelude
UnwordsSym1Data.Singletons.Prelude.List, Data.Singletons.Prelude
UnwrapMonoidData.Singletons.Prelude.Semigroup
UnwrapMonoidSym0Data.Singletons.Prelude.Semigroup
UnwrapMonoidSym1Data.Singletons.Prelude.Semigroup
UnwrapSingData.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
unwrapSingData.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
Unzip 
1 (Type/Class)Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
Unzip3Data.Singletons.Prelude.List, Data.Singletons.Prelude
Unzip3Sym0Data.Singletons.Prelude.List
Unzip3Sym1Data.Singletons.Prelude.List
Unzip4Data.Singletons.Prelude.List
Unzip4Sym0Data.Singletons.Prelude.List
Unzip4Sym1Data.Singletons.Prelude.List
Unzip5Data.Singletons.Prelude.List
Unzip5Sym0Data.Singletons.Prelude.List
Unzip5Sym1Data.Singletons.Prelude.List
Unzip6Data.Singletons.Prelude.List
Unzip6Sym0Data.Singletons.Prelude.List
Unzip6Sym1Data.Singletons.Prelude.List
Unzip7Data.Singletons.Prelude.List
Unzip7Sym0Data.Singletons.Prelude.List
Unzip7Sym1Data.Singletons.Prelude.List
UnzipSym0 
1 (Type/Class)Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
UnzipSym1 
1 (Type/Class)Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
Void 
1 (Type/Class)Data.Singletons.Decide, Data.Singletons.TH, Data.Singletons.CustomStar
2 (Type/Class)Data.Singletons.Prelude.Functor, Data.Singletons.Prelude.Monad
VoidSym0Data.Singletons.Prelude.Functor, Data.Singletons.Prelude.Monad
VoidSym1Data.Singletons.Prelude.Functor, Data.Singletons.Prelude.Monad
WhenData.Singletons.Prelude.Monad
WhenSym0Data.Singletons.Prelude.Monad
WhenSym1Data.Singletons.Prelude.Monad
WhenSym2Data.Singletons.Prelude.Monad
withKnownNatData.Singletons.TypeLits
withKnownSymbolData.Singletons.TypeLits
withOptionsData.Singletons.TH.Options
withSingData.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
withSingIData.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
withSomeSingData.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
WrapMonoidSym0Data.Singletons.Prelude.Semigroup
WrapMonoidSym1Data.Singletons.Prelude.Semigroup
WrappedSingData.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
WrapSingData.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
XorData.Singletons.Prelude.List.NonEmpty
XorSym0Data.Singletons.Prelude.List.NonEmpty
XorSym1Data.Singletons.Prelude.List.NonEmpty
Zip 
1 (Type/Class)Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
Zip3Data.Singletons.Prelude.List, Data.Singletons.Prelude
Zip3Sym0Data.Singletons.Prelude.List, Data.Singletons.Prelude
Zip3Sym1Data.Singletons.Prelude.List, Data.Singletons.Prelude
Zip3Sym2Data.Singletons.Prelude.List, Data.Singletons.Prelude
Zip3Sym3Data.Singletons.Prelude.List, Data.Singletons.Prelude
Zip4Data.Singletons.Prelude.List
Zip4Sym0Data.Singletons.Prelude.List
Zip4Sym1Data.Singletons.Prelude.List
Zip4Sym2Data.Singletons.Prelude.List
Zip4Sym3Data.Singletons.Prelude.List
Zip4Sym4Data.Singletons.Prelude.List
Zip5Data.Singletons.Prelude.List
Zip5Sym0Data.Singletons.Prelude.List
Zip5Sym1Data.Singletons.Prelude.List
Zip5Sym2Data.Singletons.Prelude.List
Zip5Sym3Data.Singletons.Prelude.List
Zip5Sym4Data.Singletons.Prelude.List
Zip5Sym5Data.Singletons.Prelude.List
Zip6Data.Singletons.Prelude.List
Zip6Sym0Data.Singletons.Prelude.List
Zip6Sym1Data.Singletons.Prelude.List
Zip6Sym2Data.Singletons.Prelude.List
Zip6Sym3Data.Singletons.Prelude.List
Zip6Sym4Data.Singletons.Prelude.List
Zip6Sym5Data.Singletons.Prelude.List
Zip6Sym6Data.Singletons.Prelude.List
Zip7Data.Singletons.Prelude.List
Zip7Sym0Data.Singletons.Prelude.List
Zip7Sym1Data.Singletons.Prelude.List
Zip7Sym2Data.Singletons.Prelude.List
Zip7Sym3Data.Singletons.Prelude.List
Zip7Sym4Data.Singletons.Prelude.List
Zip7Sym5Data.Singletons.Prelude.List
Zip7Sym6Data.Singletons.Prelude.List
Zip7Sym7Data.Singletons.Prelude.List
zipSigmaData.Singletons.Sigma
ZipSym0 
1 (Type/Class)Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
ZipSym1 
1 (Type/Class)Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
ZipSym2 
1 (Type/Class)Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
ZipWith 
1 (Type/Class)Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
ZipWith3Data.Singletons.Prelude.List, Data.Singletons.Prelude
ZipWith3Sym0Data.Singletons.Prelude.List, Data.Singletons.Prelude
ZipWith3Sym1Data.Singletons.Prelude.List, Data.Singletons.Prelude
ZipWith3Sym2Data.Singletons.Prelude.List, Data.Singletons.Prelude
ZipWith3Sym3Data.Singletons.Prelude.List, Data.Singletons.Prelude
ZipWith3Sym4Data.Singletons.Prelude.List
ZipWith4Data.Singletons.Prelude.List
ZipWith4Sym0Data.Singletons.Prelude.List
ZipWith4Sym1Data.Singletons.Prelude.List
ZipWith4Sym2Data.Singletons.Prelude.List
ZipWith4Sym3Data.Singletons.Prelude.List
ZipWith4Sym4Data.Singletons.Prelude.List
ZipWith4Sym5Data.Singletons.Prelude.List
ZipWith5Data.Singletons.Prelude.List
ZipWith5Sym0Data.Singletons.Prelude.List
ZipWith5Sym1Data.Singletons.Prelude.List
ZipWith5Sym2Data.Singletons.Prelude.List
ZipWith5Sym3Data.Singletons.Prelude.List
ZipWith5Sym4Data.Singletons.Prelude.List
ZipWith5Sym5Data.Singletons.Prelude.List
ZipWith5Sym6Data.Singletons.Prelude.List
ZipWith6Data.Singletons.Prelude.List
ZipWith6Sym0Data.Singletons.Prelude.List
ZipWith6Sym1Data.Singletons.Prelude.List
ZipWith6Sym2Data.Singletons.Prelude.List
ZipWith6Sym3Data.Singletons.Prelude.List
ZipWith6Sym4Data.Singletons.Prelude.List
ZipWith6Sym5Data.Singletons.Prelude.List
ZipWith6Sym6Data.Singletons.Prelude.List
ZipWith6Sym7Data.Singletons.Prelude.List
ZipWith7Data.Singletons.Prelude.List
ZipWith7Sym0Data.Singletons.Prelude.List
ZipWith7Sym1Data.Singletons.Prelude.List
ZipWith7Sym2Data.Singletons.Prelude.List
ZipWith7Sym3Data.Singletons.Prelude.List
ZipWith7Sym4Data.Singletons.Prelude.List
ZipWith7Sym5Data.Singletons.Prelude.List
ZipWith7Sym6Data.Singletons.Prelude.List
ZipWith7Sym7Data.Singletons.Prelude.List
ZipWith7Sym8Data.Singletons.Prelude.List
ZipWithMData.Singletons.Prelude.Monad
ZipWithMSym0Data.Singletons.Prelude.Monad
ZipWithMSym1Data.Singletons.Prelude.Monad
ZipWithMSym2Data.Singletons.Prelude.Monad
ZipWithMSym3Data.Singletons.Prelude.Monad
ZipWithM_Data.Singletons.Prelude.Monad
ZipWithM_Sym0Data.Singletons.Prelude.Monad
ZipWithM_Sym1Data.Singletons.Prelude.Monad
ZipWithM_Sym2Data.Singletons.Prelude.Monad
ZipWithM_Sym3Data.Singletons.Prelude.Monad
ZipWithSym0 
1 (Type/Class)Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
ZipWithSym1 
1 (Type/Class)Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
ZipWithSym2 
1 (Type/Class)Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
ZipWithSym3 
1 (Type/Class)Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty
\\Data.Singletons.Prelude.List
\\@#@$Data.Singletons.Prelude.List
\\@#@$$Data.Singletons.Prelude.List
\\@#@$$$Data.Singletons.Prelude.List
^Data.Singletons.TypeLits, Data.Singletons.Prelude
^@#@$Data.Singletons.TypeLits, Data.Singletons.Prelude
^@#@$$Data.Singletons.TypeLits, Data.Singletons.Prelude
^@#@$$$Data.Singletons.TypeLits, Data.Singletons.Prelude
||Data.Singletons.Prelude.Bool, Data.Singletons.Prelude, Data.Singletons.CustomStar
||@#@$Data.Singletons.Prelude.Bool, Data.Singletons.Prelude, Data.Singletons.CustomStar
||@#@$$Data.Singletons.Prelude.Bool, Data.Singletons.Prelude, Data.Singletons.CustomStar
||@#@$$$Data.Singletons.Prelude.Bool, Data.Singletons.Prelude, Data.Singletons.CustomStar
~>Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
~>@#@$Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
~>@#@$$Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
~>@#@$$$Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
ΣData.Singletons.Sigma