singletons-2.6: 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
Abs | Data.Singletons.Prelude.Num, Data.Singletons.Prelude, Data.Singletons.Prelude
AbsSym0 | Data.Singletons.Prelude.Num, Data.Singletons.Prelude
AbsSym1 | Data.Singletons.Prelude.Num, Data.Singletons.Prelude
Absurd | Data.Singletons.Prelude.Void
AbsurdSym0 | Data.Singletons.Prelude.Void
AbsurdSym1 | Data.Singletons.Prelude.Void
All | Data.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
AllSym2 | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
And | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
AndSym0 | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
AndSym1 | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
Any | Data.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
AnySym2 | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
Ap | Data.Singletons.Prelude.Monad
Apply | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
applySing | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
ApplySym0 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
ApplySym1 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
ApplySym2 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
AppPrec | Data.Singletons.Prelude.Show
AppPrec1 | Data.Singletons.Prelude.Show
AppPrec1Sym0 | Data.Singletons.Prelude.Show
AppPrecSym0 | Data.Singletons.Prelude.Show
ApSym0 | Data.Singletons.Prelude.Monad
ApSym1 | Data.Singletons.Prelude.Monad
ApSym2 | Data.Singletons.Prelude.Monad
ArgSym0 | Data.Singletons.Prelude.Semigroup
ArgSym1 | Data.Singletons.Prelude.Semigroup
ArgSym2 | Data.Singletons.Prelude.Semigroup
AsTypeOf | Data.Singletons.Prelude.Base, Data.Singletons.Prelude
AsTypeOfSym0 | Data.Singletons.Prelude.Base, Data.Singletons.Prelude
AsTypeOfSym1 | Data.Singletons.Prelude.Base, Data.Singletons.Prelude
AsTypeOfSym2 | Data.Singletons.Prelude.Base, Data.Singletons.Prelude
Asum | Data.Singletons.Prelude.Foldable
AsumSym0 | Data.Singletons.Prelude.Foldable
AsumSym1 | Data.Singletons.Prelude.Foldable
Bool_ | Data.Singletons.Prelude.Bool, Data.Singletons.CustomStar
bool_ | Data.Singletons.Prelude.Bool, Data.Singletons.Prelude, Data.Singletons.CustomStar
Bool_Sym0 | Data.Singletons.Prelude.Bool, Data.Singletons.CustomStar
Bool_Sym1 | Data.Singletons.Prelude.Bool, Data.Singletons.CustomStar
Bool_Sym2 | Data.Singletons.Prelude.Bool, Data.Singletons.CustomStar
Bool_Sym3 | Data.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
cases | Data.Singletons.TH, Data.Singletons.CustomStar
CatMaybes | Data.Singletons.Prelude.Maybe
CatMaybesSym0 | Data.Singletons.Prelude.Maybe
CatMaybesSym1 | Data.Singletons.Prelude.Maybe
Compare | Data.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar, Data.Singletons.CustomStar
CompareSym0 | Data.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
CompareSym1 | Data.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
CompareSym2 | Data.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
Comparing | Data.Singletons.Prelude.Ord
ComparingSym0 | Data.Singletons.Prelude.Ord
ComparingSym1 | Data.Singletons.Prelude.Ord
ComparingSym2 | Data.Singletons.Prelude.Ord
ComparingSym3 | Data.Singletons.Prelude.Ord
Concat | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
ConcatMap | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
ConcatMapSym0 | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
ConcatMapSym1 | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
ConcatMapSym2 | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
ConcatSym0 | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
ConcatSym1 | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
Cons | Data.Singletons.Prelude.List.NonEmpty
ConsSym0 | Data.Singletons.Prelude.List.NonEmpty
ConsSym1 | Data.Singletons.Prelude.List.NonEmpty
ConsSym2 | Data.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
ConstSym2 | Data.Singletons.Prelude.Base, Data.Singletons.Prelude.Function, Data.Singletons.Prelude
ConvertPErrorMessage | Data.Singletons.TypeError
Curry | Data.Singletons.Prelude.Tuple, Data.Singletons.Prelude
currySigma | Data.Singletons.Sigma
CurrySym0 | Data.Singletons.Prelude.Tuple, Data.Singletons.Prelude
CurrySym1 | Data.Singletons.Prelude.Tuple, Data.Singletons.Prelude
CurrySym2 | Data.Singletons.Prelude.Tuple, Data.Singletons.Prelude
CurrySym3 | Data.Singletons.Prelude.Tuple, Data.Singletons.Prelude
decideCoercion | Data.Singletons.Decide
decideEquality | Data.Singletons.Decide
Decision | Data.Singletons.Decide, Data.Singletons.TH, Data.Singletons.CustomStar
DefaultEq | Data.Singletons.Prelude.Eq, Data.Singletons.Prelude, Data.Singletons.CustomStar
DefaultEqSym0 | Data.Singletons.Prelude.Eq, Data.Singletons.Prelude, Data.Singletons.CustomStar
DefaultEqSym1 | Data.Singletons.Prelude.Eq, Data.Singletons.Prelude, Data.Singletons.CustomStar
DefaultEqSym2 | Data.Singletons.Prelude.Eq, Data.Singletons.Prelude, Data.Singletons.CustomStar
Delete | Data.Singletons.Prelude.List
DeleteBy | Data.Singletons.Prelude.List
DeleteBySym0 | Data.Singletons.Prelude.List
DeleteBySym1 | Data.Singletons.Prelude.List
DeleteBySym2 | Data.Singletons.Prelude.List
DeleteBySym3 | Data.Singletons.Prelude.List
DeleteFirstsBy | Data.Singletons.Prelude.List
DeleteFirstsBySym0 | Data.Singletons.Prelude.List
DeleteFirstsBySym1 | Data.Singletons.Prelude.List
DeleteFirstsBySym2 | Data.Singletons.Prelude.List
DeleteFirstsBySym3 | Data.Singletons.Prelude.List
DeleteSym0 | Data.Singletons.Prelude.List
DeleteSym1 | Data.Singletons.Prelude.List
DeleteSym2 | Data.Singletons.Prelude.List
Demote | Data.Singletons, Data.Singletons.TH, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.Prelude, Data.Singletons.CustomStar, Data.Singletons.CustomStar
demote | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
DemoteSym0 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
DemoteSym1 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
Disproved | Data.Singletons.Decide, Data.Singletons.TH, Data.Singletons.CustomStar
Div | Data.Singletons.TypeLits
DivMod | Data.Singletons.TypeLits
DivModSym0 | Data.Singletons.TypeLits
DivModSym1 | Data.Singletons.TypeLits
DivModSym2 | Data.Singletons.TypeLits
DivSym0 | Data.Singletons.TypeLits
DivSym1 | Data.Singletons.TypeLits
DivSym2 | Data.Singletons.TypeLits
DownSym0 | Data.Singletons.Prelude.Ord
DownSym1 | Data.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
DropWhileEnd | Data.Singletons.Prelude.List
DropWhileEndSym0 | Data.Singletons.Prelude.List, Data.Singletons.Prelude
DropWhileEndSym1 | Data.Singletons.Prelude.List, Data.Singletons.Prelude
DropWhileEndSym2 | Data.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
DualSym0 | Data.Singletons.Prelude.Monoid, Data.Singletons.Prelude.Semigroup
DualSym1 | Data.Singletons.Prelude.Monoid, Data.Singletons.Prelude.Semigroup
Either_ | Data.Singletons.Prelude.Either, Data.Singletons.Prelude
either_ | Data.Singletons.Prelude.Either, Data.Singletons.Prelude
Either_Sym0 | Data.Singletons.Prelude.Either, Data.Singletons.Prelude
Either_Sym1 | Data.Singletons.Prelude.Either, Data.Singletons.Prelude
Either_Sym2 | Data.Singletons.Prelude.Either, Data.Singletons.Prelude
Either_Sym3 | Data.Singletons.Prelude.Either, Data.Singletons.Prelude
Elem | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar, Data.Singletons.CustomStar
ElemIndex | Data.Singletons.Prelude.List
ElemIndexSym0 | Data.Singletons.Prelude.List
ElemIndexSym1 | Data.Singletons.Prelude.List
ElemIndexSym2 | Data.Singletons.Prelude.List
ElemIndices | Data.Singletons.Prelude.List
ElemIndicesSym0 | Data.Singletons.Prelude.List
ElemIndicesSym1 | Data.Singletons.Prelude.List
ElemIndicesSym2 | Data.Singletons.Prelude.List
ElemSym0 | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
ElemSym1 | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
ElemSym2 | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
Empty | Data.Singletons.Prelude.Applicative
EmptySym0 | Data.Singletons.Prelude.Applicative
EnumFromThenTo | Data.Singletons.Prelude.Enum, Data.Singletons.Prelude, Data.Singletons.Prelude
EnumFromThenToSym0 | Data.Singletons.Prelude.Enum, Data.Singletons.Prelude
EnumFromThenToSym1 | Data.Singletons.Prelude.Enum, Data.Singletons.Prelude
EnumFromThenToSym2 | Data.Singletons.Prelude.Enum, Data.Singletons.Prelude
EnumFromThenToSym3 | Data.Singletons.Prelude.Enum, Data.Singletons.Prelude
EnumFromTo | Data.Singletons.Prelude.Enum, Data.Singletons.Prelude, Data.Singletons.Prelude
EnumFromToSym0 | Data.Singletons.Prelude.Enum, Data.Singletons.Prelude
EnumFromToSym1 | Data.Singletons.Prelude.Enum, Data.Singletons.Prelude
EnumFromToSym2 | Data.Singletons.Prelude.Enum, Data.Singletons.Prelude
EQSym0 | Data.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
Error | Data.Singletons.TypeLits, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
ErrorMessage | Data.Singletons.TypeError
ErrorMessage' | Data.Singletons.TypeError
ErrorSym0 | Data.Singletons.TypeLits, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
ErrorSym1 | Data.Singletons.TypeLits, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
ErrorWithoutStackTrace | Data.Singletons.TypeLits, Data.Singletons.Prelude
ErrorWithoutStackTraceSym0 | Data.Singletons.TypeLits, Data.Singletons.Prelude
ErrorWithoutStackTraceSym1 | Data.Singletons.TypeLits, Data.Singletons.Prelude
Fail | Data.Singletons.Prelude.Monad.Fail, Data.Singletons.Prelude.Monad, Data.Singletons.Prelude
FailSym0 | Data.Singletons.Prelude.Monad.Fail, Data.Singletons.Prelude.Monad, Data.Singletons.Prelude
FailSym1 | Data.Singletons.Prelude.Monad.Fail, Data.Singletons.Prelude.Monad, Data.Singletons.Prelude
FalseSym0 | Data.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
FilterM | Data.Singletons.Prelude.Monad
FilterMSym0 | Data.Singletons.Prelude.Monad
FilterMSym1 | Data.Singletons.Prelude.Monad
FilterMSym2 | Data.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
Find | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List
FindIndex | Data.Singletons.Prelude.List
FindIndexSym0 | Data.Singletons.Prelude.List
FindIndexSym1 | Data.Singletons.Prelude.List
FindIndexSym2 | Data.Singletons.Prelude.List
FindIndices | Data.Singletons.Prelude.List
FindIndicesSym0 | Data.Singletons.Prelude.List
FindIndicesSym1 | Data.Singletons.Prelude.List
FindIndicesSym2 | Data.Singletons.Prelude.List
FindSym0 | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List
FindSym1 | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List
FindSym2 | Data.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
Flip | Data.Singletons.Prelude.Base, Data.Singletons.Prelude.Function, Data.Singletons.Prelude
FlipSym0 | Data.Singletons.Prelude.Base, Data.Singletons.Prelude.Function, Data.Singletons.Prelude
FlipSym1 | Data.Singletons.Prelude.Base, Data.Singletons.Prelude.Function, Data.Singletons.Prelude
FlipSym2 | Data.Singletons.Prelude.Base, Data.Singletons.Prelude.Function, Data.Singletons.Prelude
FlipSym3 | Data.Singletons.Prelude.Base, Data.Singletons.Prelude.Function
Fmap | Data.Singletons.Prelude.Functor, Data.Singletons.Prelude.Monad, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar, Data.Singletons.CustomStar
FmapDefault | Data.Singletons.Prelude.Traversable
FmapDefaultSym0 | Data.Singletons.Prelude.Traversable
FmapDefaultSym1 | Data.Singletons.Prelude.Traversable
FmapDefaultSym2 | Data.Singletons.Prelude.Traversable
FmapSym0 | Data.Singletons.Prelude.Functor, Data.Singletons.Prelude.Monad, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
FmapSym1 | Data.Singletons.Prelude.Functor, Data.Singletons.Prelude.Monad, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
FmapSym2 | Data.Singletons.Prelude.Functor, Data.Singletons.Prelude.Monad, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
Fold | Data.Singletons.Prelude.Foldable, Data.Singletons.TH, Data.Singletons.CustomStar, Data.Singletons.CustomStar
Foldl | Data.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'Sym0 | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List
Foldl'Sym1 | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List
Foldl'Sym2 | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List
Foldl'Sym3 | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List
Foldl1 | Data.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'Sym0 | Data.Singletons.Prelude.List
Foldl1'Sym1 | Data.Singletons.Prelude.List
Foldl1'Sym2 | Data.Singletons.Prelude.List
Foldl1Sym0 | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
Foldl1Sym1 | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
Foldl1Sym2 | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
FoldlM | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.Monad
FoldlMSym0 | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.Monad
FoldlMSym1 | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.Monad
FoldlMSym2 | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.Monad
FoldlMSym3 | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.Monad
FoldlSym0 | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
FoldlSym1 | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
FoldlSym2 | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
FoldlSym3 | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
FoldMap | Data.Singletons.Prelude.Foldable, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar, Data.Singletons.CustomStar
FoldMapDefault | Data.Singletons.Prelude.Traversable
FoldMapDefaultSym0 | Data.Singletons.Prelude.Traversable
FoldMapDefaultSym1 | Data.Singletons.Prelude.Traversable
FoldMapDefaultSym2 | Data.Singletons.Prelude.Traversable
FoldMapSym0 | Data.Singletons.Prelude.Foldable, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
FoldMapSym1 | Data.Singletons.Prelude.Foldable, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
FoldMapSym2 | Data.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'Sym0 | Data.Singletons.Prelude.Foldable
Foldr'Sym1 | Data.Singletons.Prelude.Foldable
Foldr'Sym2 | Data.Singletons.Prelude.Foldable
Foldr'Sym3 | Data.Singletons.Prelude.Foldable
Foldr1 | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar, Data.Singletons.CustomStar
Foldr1Sym0 | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
Foldr1Sym1 | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
Foldr1Sym2 | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
FoldrM | Data.Singletons.Prelude.Foldable
FoldrMSym0 | Data.Singletons.Prelude.Foldable
FoldrMSym1 | Data.Singletons.Prelude.Foldable
FoldrMSym2 | Data.Singletons.Prelude.Foldable
FoldrMSym3 | Data.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
FoldSym0 | Data.Singletons.Prelude.Foldable
FoldSym1 | Data.Singletons.Prelude.Foldable
For | Data.Singletons.Prelude.Traversable
ForM | Data.Singletons.Prelude.Traversable, Data.Singletons.Prelude.Monad
ForMSym0 | Data.Singletons.Prelude.Traversable, Data.Singletons.Prelude.Monad
ForMSym1 | Data.Singletons.Prelude.Traversable, Data.Singletons.Prelude.Monad
ForMSym2 | Data.Singletons.Prelude.Traversable, Data.Singletons.Prelude.Monad
ForM_ | Data.Singletons.Prelude.Foldable
ForM_Sym0 | Data.Singletons.Prelude.Foldable
ForM_Sym1 | Data.Singletons.Prelude.Foldable
ForM_Sym2 | Data.Singletons.Prelude.Foldable
ForSym0 | Data.Singletons.Prelude.Traversable
ForSym1 | Data.Singletons.Prelude.Traversable
ForSym2 | Data.Singletons.Prelude.Traversable
For_ | Data.Singletons.Prelude.Foldable
For_Sym0 | Data.Singletons.Prelude.Foldable
For_Sym1 | Data.Singletons.Prelude.Foldable
For_Sym2 | Data.Singletons.Prelude.Foldable
FromEnum | Data.Singletons.Prelude.Enum, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.Prelude, Data.Singletons.CustomStar, Data.Singletons.CustomStar
FromEnumSym0 | Data.Singletons.Prelude.Enum, Data.Singletons.Prelude
FromEnumSym1 | Data.Singletons.Prelude.Enum, Data.Singletons.Prelude
FromInteger | Data.Singletons.Prelude.Num, Data.Singletons.Prelude, Data.Singletons.Prelude
FromIntegerSym0 | Data.Singletons.Prelude.Num, Data.Singletons.Prelude
FromIntegerSym1 | Data.Singletons.Prelude.Num, Data.Singletons.Prelude
FromJust | Data.Singletons.Prelude.Maybe
FromJustSym0 | Data.Singletons.Prelude.Maybe
FromJustSym1 | Data.Singletons.Prelude.Maybe
FromList | Data.Singletons.Prelude.List.NonEmpty
FromListSym0 | Data.Singletons.Prelude.List.NonEmpty
FromListSym1 | Data.Singletons.Prelude.List.NonEmpty
FromMaybe | Data.Singletons.Prelude.Maybe
FromMaybeSym0 | Data.Singletons.Prelude.Maybe
FromMaybeSym1 | Data.Singletons.Prelude.Maybe
FromMaybeSym2 | Data.Singletons.Prelude.Maybe
FromSing | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
fromSing | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
FromString | Data.Singletons.Prelude.IsString
FromStringSym0 | Data.Singletons.Prelude.IsString
FromStringSym1 | Data.Singletons.Prelude.IsString
Fst | Data.Singletons.Prelude.Tuple, Data.Singletons.Prelude
FstSigma | Data.Singletons.Sigma
fstSigma | Data.Singletons.Sigma
FstSym0 | Data.Singletons.Prelude.Tuple, Data.Singletons.Prelude
FstSym1 | Data.Singletons.Prelude.Tuple, Data.Singletons.Prelude
genDefunSymbols | Data.Singletons.TH, Data.Singletons.CustomStar
GenericDrop | Data.Singletons.Prelude.List
GenericDropSym0 | Data.Singletons.Prelude.List
GenericDropSym1 | Data.Singletons.Prelude.List
GenericDropSym2 | Data.Singletons.Prelude.List
GenericIndex | Data.Singletons.Prelude.List
GenericIndexSym0 | Data.Singletons.Prelude.List
GenericIndexSym1 | Data.Singletons.Prelude.List
GenericIndexSym2 | Data.Singletons.Prelude.List
GenericLength | Data.Singletons.Prelude.List
GenericLengthSym0 | Data.Singletons.Prelude.List
GenericLengthSym1 | Data.Singletons.Prelude.List
GenericReplicate | Data.Singletons.Prelude.List
GenericReplicateSym0 | Data.Singletons.Prelude.List
GenericReplicateSym1 | Data.Singletons.Prelude.List
GenericReplicateSym2 | Data.Singletons.Prelude.List
GenericSplitAt | Data.Singletons.Prelude.List
GenericSplitAtSym0 | Data.Singletons.Prelude.List
GenericSplitAtSym1 | Data.Singletons.Prelude.List
GenericSplitAtSym2 | Data.Singletons.Prelude.List
GenericTake | Data.Singletons.Prelude.List
GenericTakeSym0 | Data.Singletons.Prelude.List
GenericTakeSym1 | Data.Singletons.Prelude.List
GenericTakeSym2 | Data.Singletons.Prelude.List
genPromotions | Data.Singletons.TH, Data.Singletons.CustomStar
genSingletons | Data.Singletons.TH, Data.Singletons.CustomStar
GetAll | Data.Singletons.Prelude.Monoid, Data.Singletons.Prelude.Semigroup
GetAllSym0 | Data.Singletons.Prelude.Monoid, Data.Singletons.Prelude.Semigroup
GetAllSym1 | Data.Singletons.Prelude.Monoid, Data.Singletons.Prelude.Semigroup
GetAny | Data.Singletons.Prelude.Monoid, Data.Singletons.Prelude.Semigroup
GetAnySym0 | Data.Singletons.Prelude.Monoid, Data.Singletons.Prelude.Semigroup
GetAnySym1 | Data.Singletons.Prelude.Monoid, Data.Singletons.Prelude.Semigroup
GetConst | Data.Singletons.Prelude.Const, Data.Singletons.Prelude.Applicative
GetConstSym0 | Data.Singletons.Prelude.Const, Data.Singletons.Prelude.Applicative
GetConstSym1 | Data.Singletons.Prelude.Const, Data.Singletons.Prelude.Applicative
GetDual | Data.Singletons.Prelude.Monoid, Data.Singletons.Prelude.Semigroup
GetDualSym0 | Data.Singletons.Prelude.Monoid, Data.Singletons.Prelude.Semigroup
GetDualSym1 | Data.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
GetMax | Data.Singletons.Prelude.Semigroup
GetMaxSym0 | Data.Singletons.Prelude.Semigroup
GetMaxSym1 | Data.Singletons.Prelude.Semigroup
GetMin | Data.Singletons.Prelude.Semigroup
GetMinSym0 | Data.Singletons.Prelude.Semigroup
GetMinSym1 | Data.Singletons.Prelude.Semigroup
GetOption | Data.Singletons.Prelude.Semigroup
GetOptionSym0 | Data.Singletons.Prelude.Semigroup
GetOptionSym1 | Data.Singletons.Prelude.Semigroup
GetProduct | Data.Singletons.Prelude.Monoid, Data.Singletons.Prelude.Semigroup
GetProductSym0 | Data.Singletons.Prelude.Monoid, Data.Singletons.Prelude.Semigroup
GetProductSym1 | Data.Singletons.Prelude.Monoid, Data.Singletons.Prelude.Semigroup
GetSum | Data.Singletons.Prelude.Monoid, Data.Singletons.Prelude.Semigroup
GetSumSym0 | Data.Singletons.Prelude.Monoid, Data.Singletons.Prelude.Semigroup
GetSumSym1 | Data.Singletons.Prelude.Monoid, Data.Singletons.Prelude.Semigroup
Group |
1 (Type/Class) | Data.Singletons.Prelude.List
2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty
Group1 | Data.Singletons.Prelude.List.NonEmpty
Group1Sym0 | Data.Singletons.Prelude.List.NonEmpty
Group1Sym1 | Data.Singletons.Prelude.List.NonEmpty
GroupAllWith | Data.Singletons.Prelude.List.NonEmpty
GroupAllWith1 | Data.Singletons.Prelude.List.NonEmpty
GroupAllWith1Sym0 | Data.Singletons.Prelude.List.NonEmpty
GroupAllWith1Sym1 | Data.Singletons.Prelude.List.NonEmpty
GroupAllWith1Sym2 | Data.Singletons.Prelude.List.NonEmpty
GroupAllWithSym0 | Data.Singletons.Prelude.List.NonEmpty
GroupAllWithSym1 | Data.Singletons.Prelude.List.NonEmpty
GroupAllWithSym2 | Data.Singletons.Prelude.List.NonEmpty
GroupBy |
1 (Type/Class) | Data.Singletons.Prelude.List
2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty
GroupBy1 | Data.Singletons.Prelude.List.NonEmpty
GroupBy1Sym0 | Data.Singletons.Prelude.List.NonEmpty
GroupBy1Sym1 | Data.Singletons.Prelude.List.NonEmpty
GroupBy1Sym2 | Data.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
GroupWith | Data.Singletons.Prelude.List.NonEmpty
GroupWith1 | Data.Singletons.Prelude.List.NonEmpty
GroupWith1Sym0 | Data.Singletons.Prelude.List.NonEmpty
GroupWith1Sym1 | Data.Singletons.Prelude.List.NonEmpty
GroupWith1Sym2 | Data.Singletons.Prelude.List.NonEmpty
GroupWithSym0 | Data.Singletons.Prelude.List.NonEmpty
GroupWithSym1 | Data.Singletons.Prelude.List.NonEmpty
GroupWithSym2 | Data.Singletons.Prelude.List.NonEmpty
GTSym0 | Data.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
Guard | Data.Singletons.Prelude.Monad
GuardSym0 | Data.Singletons.Prelude.Monad
GuardSym1 | Data.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
Id | Data.Singletons.Prelude.Base, Data.Singletons.Prelude.Function, Data.Singletons.Prelude
IdentitySym0 | Data.Singletons.Prelude.Identity
IdentitySym1 | Data.Singletons.Prelude.Identity
IdSym0 | Data.Singletons.Prelude.Base, Data.Singletons.Prelude.Function, Data.Singletons.Prelude
IdSym1 | Data.Singletons.Prelude.Base, Data.Singletons.Prelude.Function, Data.Singletons.Prelude
If | Data.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
InsertBy | Data.Singletons.Prelude.List
InsertBySym0 | Data.Singletons.Prelude.List
InsertBySym1 | Data.Singletons.Prelude.List
InsertBySym2 | Data.Singletons.Prelude.List
InsertBySym3 | Data.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
Intercalate | Data.Singletons.Prelude.List
IntercalateSym0 | Data.Singletons.Prelude.List
IntercalateSym1 | Data.Singletons.Prelude.List
IntercalateSym2 | Data.Singletons.Prelude.List
Intersect | Data.Singletons.Prelude.List
IntersectBy | Data.Singletons.Prelude.List
IntersectBySym0 | Data.Singletons.Prelude.List
IntersectBySym1 | Data.Singletons.Prelude.List
IntersectBySym2 | Data.Singletons.Prelude.List
IntersectBySym3 | Data.Singletons.Prelude.List
IntersectSym0 | Data.Singletons.Prelude.List
IntersectSym1 | Data.Singletons.Prelude.List
IntersectSym2 | Data.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
IsInfixOf | Data.Singletons.Prelude.List
IsInfixOfSym0 | Data.Singletons.Prelude.List
IsInfixOfSym1 | Data.Singletons.Prelude.List
IsInfixOfSym2 | Data.Singletons.Prelude.List
IsJust | Data.Singletons.Prelude.Maybe
IsJustSym0 | Data.Singletons.Prelude.Maybe
IsJustSym1 | Data.Singletons.Prelude.Maybe
IsLeft | Data.Singletons.Prelude.Either
IsLeftSym0 | Data.Singletons.Prelude.Either
IsLeftSym1 | Data.Singletons.Prelude.Either
IsNothing | Data.Singletons.Prelude.Maybe
IsNothingSym0 | Data.Singletons.Prelude.Maybe
IsNothingSym1 | Data.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
IsRight | Data.Singletons.Prelude.Either
IsRightSym0 | Data.Singletons.Prelude.Either
IsRightSym1 | Data.Singletons.Prelude.Either
IsSuffixOf | Data.Singletons.Prelude.List
IsSuffixOfSym0 | Data.Singletons.Prelude.List
IsSuffixOfSym1 | Data.Singletons.Prelude.List
IsSuffixOfSym2 | Data.Singletons.Prelude.List
Join | Data.Singletons.Prelude.Monad
JoinSym0 | Data.Singletons.Prelude.Monad
JoinSym1 | Data.Singletons.Prelude.Monad
JustSym0 | Data.Singletons.Prelude.Maybe, Data.Singletons.Prelude
JustSym1 | Data.Singletons.Prelude.Maybe, Data.Singletons.Prelude
KindOf | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
KindOfSym0 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
KindOfSym1 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
KnownNat | Data.Singletons.TypeLits
KnownNatSym0 | Data.Singletons.TypeLits
KnownNatSym1 | Data.Singletons.TypeLits
KnownSymbol | Data.Singletons.TypeLits
KnownSymbolSym0 | Data.Singletons.TypeLits
KnownSymbolSym1 | Data.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
Lefts | Data.Singletons.Prelude.Either
LeftsSym0 | Data.Singletons.Prelude.Either
LeftsSym1 | Data.Singletons.Prelude.Either
LeftSym0 | Data.Singletons.Prelude.Either, Data.Singletons.Prelude
LeftSym1 | Data.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
LiftA | Data.Singletons.Prelude.Applicative
LiftA2 | Data.Singletons.Prelude.Applicative, Data.Singletons.TH, Data.Singletons.CustomStar, Data.Singletons.CustomStar
LiftA2Sym0 | Data.Singletons.Prelude.Applicative, Data.Singletons.TH, Data.Singletons.CustomStar
LiftA2Sym1 | Data.Singletons.Prelude.Applicative, Data.Singletons.TH, Data.Singletons.CustomStar
LiftA2Sym2 | Data.Singletons.Prelude.Applicative, Data.Singletons.TH, Data.Singletons.CustomStar
LiftA2Sym3 | Data.Singletons.Prelude.Applicative, Data.Singletons.TH, Data.Singletons.CustomStar
LiftA3 | Data.Singletons.Prelude.Applicative
LiftA3Sym0 | Data.Singletons.Prelude.Applicative
LiftA3Sym1 | Data.Singletons.Prelude.Applicative
LiftA3Sym2 | Data.Singletons.Prelude.Applicative
LiftA3Sym3 | Data.Singletons.Prelude.Applicative
LiftASym0 | Data.Singletons.Prelude.Applicative
LiftASym1 | Data.Singletons.Prelude.Applicative
LiftASym2 | Data.Singletons.Prelude.Applicative
LiftM | Data.Singletons.Prelude.Monad
LiftM2 | Data.Singletons.Prelude.Monad
LiftM2Sym0 | Data.Singletons.Prelude.Monad
LiftM2Sym1 | Data.Singletons.Prelude.Monad
LiftM2Sym2 | Data.Singletons.Prelude.Monad
LiftM2Sym3 | Data.Singletons.Prelude.Monad
LiftM3 | Data.Singletons.Prelude.Monad
LiftM3Sym0 | Data.Singletons.Prelude.Monad
LiftM3Sym1 | Data.Singletons.Prelude.Monad
LiftM3Sym2 | Data.Singletons.Prelude.Monad
LiftM3Sym3 | Data.Singletons.Prelude.Monad
LiftM3Sym4 | Data.Singletons.Prelude.Monad
LiftM4 | Data.Singletons.Prelude.Monad
LiftM4Sym0 | Data.Singletons.Prelude.Monad
LiftM4Sym1 | Data.Singletons.Prelude.Monad
LiftM4Sym2 | Data.Singletons.Prelude.Monad
LiftM4Sym3 | Data.Singletons.Prelude.Monad
LiftM4Sym4 | Data.Singletons.Prelude.Monad
LiftM4Sym5 | Data.Singletons.Prelude.Monad
LiftM5 | Data.Singletons.Prelude.Monad
LiftM5Sym0 | Data.Singletons.Prelude.Monad
LiftM5Sym1 | Data.Singletons.Prelude.Monad
LiftM5Sym2 | Data.Singletons.Prelude.Monad
LiftM5Sym3 | Data.Singletons.Prelude.Monad
LiftM5Sym4 | Data.Singletons.Prelude.Monad
LiftM5Sym5 | Data.Singletons.Prelude.Monad
LiftM5Sym6 | Data.Singletons.Prelude.Monad
LiftMSym0 | Data.Singletons.Prelude.Monad
LiftMSym1 | Data.Singletons.Prelude.Monad
LiftMSym2 | Data.Singletons.Prelude.Monad
ListToMaybe | Data.Singletons.Prelude.Maybe
ListToMaybeSym0 | Data.Singletons.Prelude.Maybe
ListToMaybeSym1 | Data.Singletons.Prelude.Maybe
Log2 | Data.Singletons.TypeLits
Log2Sym0 | Data.Singletons.TypeLits
Log2Sym1 | Data.Singletons.TypeLits
Lookup | Data.Singletons.Prelude.List, Data.Singletons.Prelude
LookupSym0 | Data.Singletons.Prelude.List
LookupSym1 | Data.Singletons.Prelude.List
LookupSym2 | Data.Singletons.Prelude.List
LTSym0 | Data.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
MapAccumL | Data.Singletons.Prelude.Traversable, Data.Singletons.Prelude.List
MapAccumLSym0 | Data.Singletons.Prelude.Traversable, Data.Singletons.Prelude.List
MapAccumLSym1 | Data.Singletons.Prelude.Traversable, Data.Singletons.Prelude.List
MapAccumLSym2 | Data.Singletons.Prelude.Traversable, Data.Singletons.Prelude.List
MapAccumLSym3 | Data.Singletons.Prelude.Traversable, Data.Singletons.Prelude.List
MapAccumR | Data.Singletons.Prelude.Traversable, Data.Singletons.Prelude.List
MapAccumRSym0 | Data.Singletons.Prelude.Traversable, Data.Singletons.Prelude.List
MapAccumRSym1 | Data.Singletons.Prelude.Traversable, Data.Singletons.Prelude.List
MapAccumRSym2 | Data.Singletons.Prelude.Traversable, Data.Singletons.Prelude.List
MapAccumRSym3 | Data.Singletons.Prelude.Traversable, Data.Singletons.Prelude.List
MapAndUnzipM | Data.Singletons.Prelude.Monad
MapAndUnzipMSym0 | Data.Singletons.Prelude.Monad
MapAndUnzipMSym1 | Data.Singletons.Prelude.Monad
MapAndUnzipMSym2 | Data.Singletons.Prelude.Monad
MapM | Data.Singletons.Prelude.Traversable, Data.Singletons.Prelude.Monad, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar, Data.Singletons.CustomStar
MapMaybe | Data.Singletons.Prelude.Maybe
MapMaybeSym0 | Data.Singletons.Prelude.Maybe
MapMaybeSym1 | Data.Singletons.Prelude.Maybe
MapMaybeSym2 | Data.Singletons.Prelude.Maybe
MapMSym0 | Data.Singletons.Prelude.Traversable, Data.Singletons.Prelude.Monad, Data.Singletons.Prelude
MapMSym1 | Data.Singletons.Prelude.Traversable, Data.Singletons.Prelude.Monad, Data.Singletons.Prelude
MapMSym2 | Data.Singletons.Prelude.Traversable, Data.Singletons.Prelude.Monad, Data.Singletons.Prelude
MapM_ | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.Monad, Data.Singletons.Prelude
MapM_Sym0 | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.Monad, Data.Singletons.Prelude
MapM_Sym1 | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.Monad, Data.Singletons.Prelude
MapM_Sym2 | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.Monad, Data.Singletons.Prelude
Mappend | Data.Singletons.Prelude.Monoid, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar, Data.Singletons.CustomStar
MappendSym0 | Data.Singletons.Prelude.Monoid, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
MappendSym1 | Data.Singletons.Prelude.Monoid, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
MappendSym2 | Data.Singletons.Prelude.Monoid, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
mapSigma | Data.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
Max | Data.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar, Data.Singletons.CustomStar
MaxBound | Data.Singletons.Prelude.Enum, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.Prelude, Data.Singletons.CustomStar, Data.Singletons.CustomStar
MaxBoundSym0 | Data.Singletons.Prelude.Enum, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
Maximum | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar, Data.Singletons.CustomStar
MaximumBy | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List
MaximumBySym0 | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List
MaximumBySym1 | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List
MaximumBySym2 | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List
MaximumSym0 | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
MaximumSym1 | Data.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
MaxSym2 | Data.Singletons.Prelude.Ord, Data.Singletons.Prelude
MaybeToList | Data.Singletons.Prelude.Maybe
MaybeToListSym0 | Data.Singletons.Prelude.Maybe
MaybeToListSym1 | Data.Singletons.Prelude.Maybe
Maybe_ | Data.Singletons.Prelude.Maybe, Data.Singletons.Prelude
maybe_ | Data.Singletons.Prelude.Maybe, Data.Singletons.Prelude
Maybe_Sym0 | Data.Singletons.Prelude.Maybe, Data.Singletons.Prelude
Maybe_Sym1 | Data.Singletons.Prelude.Maybe, Data.Singletons.Prelude
Maybe_Sym2 | Data.Singletons.Prelude.Maybe, Data.Singletons.Prelude
Maybe_Sym3 | Data.Singletons.Prelude.Maybe, Data.Singletons.Prelude
Mconcat | Data.Singletons.Prelude.Monoid, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar, Data.Singletons.CustomStar
MconcatSym0 | Data.Singletons.Prelude.Monoid, Data.Singletons.Prelude
MconcatSym1 | Data.Singletons.Prelude.Monoid, Data.Singletons.Prelude
Mempty | Data.Singletons.Prelude.Monoid, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar, Data.Singletons.CustomStar
MemptySym0 | Data.Singletons.Prelude.Monoid, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
Mfilter | Data.Singletons.Prelude.Monad
MfilterSym0 | Data.Singletons.Prelude.Monad
MfilterSym1 | Data.Singletons.Prelude.Monad
MfilterSym2 | Data.Singletons.Prelude.Monad
Min | Data.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar, Data.Singletons.CustomStar
MinBound | Data.Singletons.Prelude.Enum, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.Prelude, Data.Singletons.CustomStar, Data.Singletons.CustomStar
MinBoundSym0 | Data.Singletons.Prelude.Enum, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
Minimum | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar, Data.Singletons.CustomStar
MinimumBy | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List
MinimumBySym0 | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List
MinimumBySym1 | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List
MinimumBySym2 | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List
MinimumSym0 | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
MinimumSym1 | Data.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
MinSym2 | Data.Singletons.Prelude.Ord, Data.Singletons.Prelude
Mod | Data.Singletons.TypeLits
ModSym0 | Data.Singletons.TypeLits
ModSym1 | Data.Singletons.TypeLits
ModSym2 | Data.Singletons.TypeLits
Mplus | Data.Singletons.Prelude.Monad
MplusSym0 | Data.Singletons.Prelude.Monad
MplusSym1 | Data.Singletons.Prelude.Monad
MplusSym2 | Data.Singletons.Prelude.Monad
Msum | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.Monad
MsumSym0 | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.Monad
MsumSym1 | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.Monad
Munzip | Data.Singletons.Prelude.Monad.Zip
MunzipSym0 | Data.Singletons.Prelude.Monad.Zip
MunzipSym1 | Data.Singletons.Prelude.Monad.Zip
Mzero | Data.Singletons.Prelude.Monad
MzeroSym0 | Data.Singletons.Prelude.Monad
Mzip | Data.Singletons.Prelude.Monad.Zip
MzipSym0 | Data.Singletons.Prelude.Monad.Zip
MzipSym1 | Data.Singletons.Prelude.Monad.Zip
MzipSym2 | Data.Singletons.Prelude.Monad.Zip
MzipWith | Data.Singletons.Prelude.Monad.Zip
MzipWithSym0 | Data.Singletons.Prelude.Monad.Zip
MzipWithSym1 | Data.Singletons.Prelude.Monad.Zip
MzipWithSym2 | Data.Singletons.Prelude.Monad.Zip
MzipWithSym3 | Data.Singletons.Prelude.Monad.Zip
Nat | Data.Singletons.TypeLits
natVal | Data.Singletons.TypeLits
Negate | Data.Singletons.Prelude.Num, Data.Singletons.Prelude, Data.Singletons.Prelude
NegateSym0 | Data.Singletons.Prelude.Num, Data.Singletons.Prelude
NegateSym1 | Data.Singletons.Prelude.Num, Data.Singletons.Prelude
NilSym0 | Data.Singletons.Prelude.List, Data.Singletons.Prelude
NonEmpty_ | Data.Singletons.Prelude.List.NonEmpty
NonEmpty_Sym0 | Data.Singletons.Prelude.List.NonEmpty
NonEmpty_Sym1 | Data.Singletons.Prelude.List.NonEmpty
Not | Data.Singletons.Prelude.Bool, Data.Singletons.Prelude, Data.Singletons.CustomStar
NotElem | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
NotElemSym0 | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
NotElemSym1 | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
NotElemSym2 | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
NothingSym0 | Data.Singletons.Prelude.Maybe, Data.Singletons.Prelude
NotSym0 | Data.Singletons.Prelude.Bool, Data.Singletons.Prelude, Data.Singletons.CustomStar
NotSym1 | Data.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
Null | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar, Data.Singletons.CustomStar
NullSym0 | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
NullSym1 | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
On | Data.Singletons.Prelude.Function
OnSym0 | Data.Singletons.Prelude.Function
OnSym1 | Data.Singletons.Prelude.Function
OnSym2 | Data.Singletons.Prelude.Function
OnSym3 | Data.Singletons.Prelude.Function
OnSym4 | Data.Singletons.Prelude.Function
Optional | Data.Singletons.Prelude.Applicative
OptionalSym0 | Data.Singletons.Prelude.Applicative
OptionalSym1 | Data.Singletons.Prelude.Applicative
OptionSym0 | Data.Singletons.Prelude.Semigroup
OptionSym1 | Data.Singletons.Prelude.Semigroup
Option_ | Data.Singletons.Prelude.Semigroup
option_ | Data.Singletons.Prelude.Semigroup
Or | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
OrSym0 | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
OrSym1 | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
Otherwise | Data.Singletons.Prelude.Bool, Data.Singletons.Prelude.Base, Data.Singletons.Prelude, Data.Singletons.CustomStar
OtherwiseSym0 | Data.Singletons.Prelude.Bool, Data.Singletons.Prelude.Base, Data.Singletons.Prelude, Data.Singletons.CustomStar
PAlternative | Data.Singletons.Prelude.Applicative
PApplicative | Data.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
PartitionEithers | Data.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
PBounded | Data.Singletons.Prelude.Enum, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
PEnum | Data.Singletons.Prelude.Enum, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
PEq | Data.Singletons.Prelude.Eq, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
Permutations | Data.Singletons.Prelude.List
PermutationsSym0 | Data.Singletons.Prelude.List
PermutationsSym1 | Data.Singletons.Prelude.List
PErrorMessage | Data.Singletons.TypeError
PFoldable | Data.Singletons.Prelude.Foldable, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
PFunctor | Data.Singletons.Prelude.Functor, Data.Singletons.Prelude.Monad, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
PIsString | Data.Singletons.Prelude.IsString
PMonad | Data.Singletons.Prelude.Monad, Data.Singletons.Prelude
PMonadFail | Data.Singletons.Prelude.Monad.Fail, Data.Singletons.Prelude.Monad, Data.Singletons.Prelude
PMonadPlus | Data.Singletons.Prelude.Monad
PMonadZip | Data.Singletons.Prelude.Monad.Zip
PMonoid | Data.Singletons.Prelude.Monoid, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
PNum | Data.Singletons.Prelude.Num, Data.Singletons.Prelude
POrd | Data.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
Pred | Data.Singletons.Prelude.Enum
PredSym0 | Data.Singletons.Prelude.Enum
PredSym1 | Data.Singletons.Prelude.Enum
Product | Data.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
projSigma1 | Data.Singletons.Sigma
projSigma2 | Data.Singletons.Sigma
promote | Data.Singletons.TH, Data.Singletons.CustomStar
promoteBoundedInstance | Data.Singletons.TH, Data.Singletons.CustomStar
promoteBoundedInstances | Data.Singletons.TH, Data.Singletons.CustomStar
promoteEnumInstance | Data.Singletons.TH, Data.Singletons.CustomStar
promoteEnumInstances | Data.Singletons.TH, Data.Singletons.CustomStar
promoteEqInstance | Data.Singletons.TH, Data.Singletons.CustomStar
promoteEqInstances | Data.Singletons.TH, Data.Singletons.CustomStar
promoteOnly | Data.Singletons.TH, Data.Singletons.CustomStar
promoteOrdInstance | Data.Singletons.TH, Data.Singletons.CustomStar
promoteOrdInstances | Data.Singletons.TH, Data.Singletons.CustomStar
promoteShowInstance | Data.Singletons.TH, Data.Singletons.CustomStar
promoteShowInstances | Data.Singletons.TH, Data.Singletons.CustomStar
Proved | Data.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
PSemigroup | Data.Singletons.Prelude.Semigroup, Data.Singletons.Prelude
PShow | Data.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
PTraversable | Data.Singletons.Prelude.Traversable, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
Pure | Data.Singletons.Prelude.Applicative, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar, Data.Singletons.CustomStar
PureSym0 | Data.Singletons.Prelude.Applicative, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
PureSym1 | Data.Singletons.Prelude.Applicative, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
Quot | Data.Singletons.TypeLits
QuotRem | Data.Singletons.TypeLits
QuotRemSym0 | Data.Singletons.TypeLits
QuotRemSym1 | Data.Singletons.TypeLits
QuotRemSym2 | Data.Singletons.TypeLits
QuotSym0 | Data.Singletons.TypeLits
QuotSym1 | Data.Singletons.TypeLits
QuotSym2 | Data.Singletons.TypeLits
Refl | Data.Singletons.Decide, Data.Singletons.TH, Data.Singletons.CustomStar
Refuted | Data.Singletons.Decide, Data.Singletons.TH, Data.Singletons.CustomStar
Rem | Data.Singletons.TypeLits
RemSym0 | Data.Singletons.TypeLits
RemSym1 | Data.Singletons.TypeLits
RemSym2 | Data.Singletons.TypeLits
Replicate | Data.Singletons.Prelude.List, Data.Singletons.Prelude
ReplicateM | Data.Singletons.Prelude.Monad
ReplicateMSym0 | Data.Singletons.Prelude.Monad
ReplicateMSym1 | Data.Singletons.Prelude.Monad
ReplicateMSym2 | Data.Singletons.Prelude.Monad
ReplicateM_ | Data.Singletons.Prelude.Monad
ReplicateM_Sym0 | Data.Singletons.Prelude.Monad
ReplicateM_Sym1 | Data.Singletons.Prelude.Monad
ReplicateM_Sym2 | Data.Singletons.Prelude.Monad
ReplicateSym0 | Data.Singletons.Prelude.List, Data.Singletons.Prelude
ReplicateSym1 | Data.Singletons.Prelude.List, Data.Singletons.Prelude
ReplicateSym2 | Data.Singletons.Prelude.List, Data.Singletons.Prelude
Return | Data.Singletons.Prelude.Monad, Data.Singletons.Prelude
ReturnSym0 | Data.Singletons.Prelude.Monad, Data.Singletons.Prelude
ReturnSym1 | Data.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
Rights | Data.Singletons.Prelude.Either
RightsSym0 | Data.Singletons.Prelude.Either
RightsSym1 | Data.Singletons.Prelude.Either
RightSym0 | Data.Singletons.Prelude.Either, Data.Singletons.Prelude
RightSym1 | Data.Singletons.Prelude.Either, Data.Singletons.Prelude
RunIdentity | Data.Singletons.Prelude.Identity
RunIdentitySym0 | Data.Singletons.Prelude.Identity
RunIdentitySym1 | Data.Singletons.Prelude.Identity
sAbs | Data.Singletons.Prelude.Num, Data.Singletons.Prelude
sAbsurd | Data.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
sAll | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
SAlternative | Data.Singletons.Prelude.Applicative
SameKind | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
SameKindSym0 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
SameKindSym1 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
SameKindSym2 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sAnd | Data.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
sAny | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
sAp | Data.Singletons.Prelude.Monad
SApplicative | Data.Singletons.Prelude.Applicative, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sAppPrec | Data.Singletons.Prelude.Show
sAppPrec1 | Data.Singletons.Prelude.Show
SArg |
1 (Type/Class) | Data.Singletons.Prelude.Semigroup
2 (Data Constructor) | Data.Singletons.Prelude.Semigroup
sAsTypeOf | Data.Singletons.Prelude.Base, Data.Singletons.Prelude
sAsum | Data.Singletons.Prelude.Foldable
SBool | Data.Singletons.Prelude.Bool, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sBool_ | Data.Singletons.Prelude.Bool, Data.Singletons.CustomStar
SBounded | Data.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
sCases | Data.Singletons.TH, Data.Singletons.CustomStar
sCatMaybes | Data.Singletons.Prelude.Maybe
SChar | Data.Singletons.Prelude.Show, Data.Singletons.Prelude
sCompare | Data.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sComparing | Data.Singletons.Prelude.Ord
Sconcat | Data.Singletons.Prelude.Semigroup
sConcat | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
sConcatMap | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
SconcatSym0 | Data.Singletons.Prelude.Semigroup
SconcatSym1 | Data.Singletons.Prelude.Semigroup
SCons | Data.Singletons.Prelude.List, Data.Singletons.Prelude
sCons | Data.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
sConst | Data.Singletons.Prelude.Base, Data.Singletons.Prelude.Function, Data.Singletons.Prelude
sCurry | Data.Singletons.Prelude.Tuple, Data.Singletons.Prelude
SDecide | Data.Singletons.Decide, Data.Singletons.TH, Data.Singletons.CustomStar
sDelete | Data.Singletons.Prelude.List
sDeleteBy | Data.Singletons.Prelude.List
sDeleteFirstsBy | Data.Singletons.Prelude.List
sDiv | Data.Singletons.TypeLits
sDivMod | Data.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
sDropWhileEnd | Data.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
SEither | Data.Singletons.Prelude.Either, Data.Singletons.Prelude
sEither_ | Data.Singletons.Prelude.Either, Data.Singletons.Prelude
sElem | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sElemIndex | Data.Singletons.Prelude.List
sElemIndices | Data.Singletons.Prelude.List
sEmpty | Data.Singletons.Prelude.Applicative
SEnum | Data.Singletons.Prelude.Enum, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sEnumFromThenTo | Data.Singletons.Prelude.Enum, Data.Singletons.Prelude
sEnumFromTo | Data.Singletons.Prelude.Enum, Data.Singletons.Prelude
SEQ | Data.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
SEq | Data.Singletons.Prelude.Eq, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
Seq | Data.Singletons.Prelude.Base, Data.Singletons.Prelude
SeqSym0 | Data.Singletons.Prelude.Base, Data.Singletons.Prelude
SeqSym1 | Data.Singletons.Prelude.Base, Data.Singletons.Prelude
SeqSym2 | Data.Singletons.Prelude.Base, Data.Singletons.Prelude
Sequence | Data.Singletons.Prelude.Traversable, Data.Singletons.Prelude.Monad, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar, Data.Singletons.CustomStar
SequenceA | Data.Singletons.Prelude.Traversable, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar, Data.Singletons.CustomStar
SequenceASym0 | Data.Singletons.Prelude.Traversable, Data.Singletons.Prelude
SequenceASym1 | Data.Singletons.Prelude.Traversable, Data.Singletons.Prelude
SequenceA_ | Data.Singletons.Prelude.Foldable
SequenceA_Sym0 | Data.Singletons.Prelude.Foldable
SequenceA_Sym1 | Data.Singletons.Prelude.Foldable
SequenceSym0 | Data.Singletons.Prelude.Traversable, Data.Singletons.Prelude.Monad, Data.Singletons.Prelude
SequenceSym1 | Data.Singletons.Prelude.Traversable, Data.Singletons.Prelude.Monad, Data.Singletons.Prelude
Sequence_ | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.Monad, Data.Singletons.Prelude
Sequence_Sym0 | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.Monad, Data.Singletons.Prelude
Sequence_Sym1 | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.Monad, Data.Singletons.Prelude
sError | Data.Singletons.TypeLits, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
SErrorMessage | Data.Singletons.TypeError
sErrorWithoutStackTrace | Data.Singletons.TypeLits, Data.Singletons.Prelude
sFail | Data.Singletons.Prelude.Monad.Fail, Data.Singletons.Prelude.Monad, Data.Singletons.Prelude
SFalse | Data.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
sFilterM | Data.Singletons.Prelude.Monad
sFind | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List
sFindIndex | Data.Singletons.Prelude.List
sFindIndices | Data.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
sFlip | Data.Singletons.Prelude.Base, Data.Singletons.Prelude.Function, Data.Singletons.Prelude
sFmap | Data.Singletons.Prelude.Functor, Data.Singletons.Prelude.Monad, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sFmapDefault | Data.Singletons.Prelude.Traversable
sFold | Data.Singletons.Prelude.Foldable, Data.Singletons.TH, Data.Singletons.CustomStar
SFoldable | Data.Singletons.Prelude.Foldable, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sFoldl | Data.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
sFoldl1 | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sFoldl1' | Data.Singletons.Prelude.List
sFoldlM | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.Monad
sFoldMap | Data.Singletons.Prelude.Foldable, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sFoldMapDefault | Data.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
sFoldr1 | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sFoldrM | Data.Singletons.Prelude.Foldable
sFor | Data.Singletons.Prelude.Traversable
sForM | Data.Singletons.Prelude.Traversable, Data.Singletons.Prelude.Monad
sForM_ | Data.Singletons.Prelude.Foldable
sFor_ | Data.Singletons.Prelude.Foldable
sFromEnum | Data.Singletons.Prelude.Enum, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sFromInteger | Data.Singletons.Prelude.Num, Data.Singletons.Prelude
sFromJust | Data.Singletons.Prelude.Maybe
sFromList | Data.Singletons.Prelude.List.NonEmpty
sFromMaybe | Data.Singletons.Prelude.Maybe
sFromString | Data.Singletons.Prelude.IsString
sFst | Data.Singletons.Prelude.Tuple, Data.Singletons.Prelude
SFunctor | Data.Singletons.Prelude.Functor, Data.Singletons.Prelude.Monad, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sGenericLength | Data.Singletons.Prelude.List
sGetAll | Data.Singletons.Prelude.Monoid, Data.Singletons.Prelude.Semigroup
sGetAny | Data.Singletons.Prelude.Monoid, Data.Singletons.Prelude.Semigroup
sGetConst | Data.Singletons.Prelude.Const, Data.Singletons.Prelude.Applicative
sGetDual | Data.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
sGetMax | Data.Singletons.Prelude.Semigroup
sGetMin | Data.Singletons.Prelude.Semigroup
sGetOption | Data.Singletons.Prelude.Semigroup
sGetProduct | Data.Singletons.Prelude.Monoid, Data.Singletons.Prelude.Semigroup
sGetSum | Data.Singletons.Prelude.Monoid, Data.Singletons.Prelude.Semigroup
sGroup |
1 (Function) | Data.Singletons.Prelude.List
2 (Function) | Data.Singletons.Prelude.List.NonEmpty
sGroup1 | Data.Singletons.Prelude.List.NonEmpty
sGroupAllWith | Data.Singletons.Prelude.List.NonEmpty
sGroupAllWith1 | Data.Singletons.Prelude.List.NonEmpty
sGroupBy |
1 (Function) | Data.Singletons.Prelude.List
2 (Function) | Data.Singletons.Prelude.List.NonEmpty
sGroupBy1 | Data.Singletons.Prelude.List.NonEmpty
sGroupWith | Data.Singletons.Prelude.List.NonEmpty
sGroupWith1 | Data.Singletons.Prelude.List.NonEmpty
SGT | Data.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sGuard | Data.Singletons.Prelude.Monad
sHead |
1 (Function) | Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Function) | Data.Singletons.Prelude.List.NonEmpty
ShowApply | Data.Singletons.Sigma
ShowApply' | Data.Singletons.Sigma
ShowChar | Data.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
ShowCharSym0 | Data.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
ShowCharSym1 | Data.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
ShowCharSym2 | Data.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
ShowCommaSpace | Data.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.CustomStar
ShowCommaSpaceSym0 | Data.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.CustomStar
ShowCommaSpaceSym1 | Data.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.CustomStar
showErrorMessage | Data.Singletons.TypeError
ShowList | Data.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar, Data.Singletons.CustomStar
ShowListSym0 | Data.Singletons.Prelude.Show, Data.Singletons.Prelude
ShowListSym1 | Data.Singletons.Prelude.Show, Data.Singletons.Prelude
ShowListSym2 | Data.Singletons.Prelude.Show, Data.Singletons.Prelude
ShowListWith | Data.Singletons.Prelude.Show
ShowListWithSym0 | Data.Singletons.Prelude.Show
ShowListWithSym1 | Data.Singletons.Prelude.Show
ShowListWithSym2 | Data.Singletons.Prelude.Show
ShowListWithSym3 | Data.Singletons.Prelude.Show
ShowParen | Data.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
ShowParenSym0 | Data.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
ShowParenSym1 | Data.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
ShowParenSym2 | Data.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
ShowS | Data.Singletons.Prelude
Shows | Data.Singletons.Prelude.Show, Data.Singletons.Prelude
ShowSing | Data.Singletons.ShowSing
ShowSing' | Data.Singletons.ShowSing
ShowSingApply | Data.Singletons.Sigma
ShowSingApply' | Data.Singletons.Sigma
showSingInstance | Data.Singletons.TH, Data.Singletons.CustomStar
showSingInstances | Data.Singletons.TH, Data.Singletons.CustomStar
ShowSpace | Data.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.CustomStar
ShowSpaceSym0 | Data.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.CustomStar
ShowSpaceSym1 | Data.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.CustomStar
ShowsPrec | Data.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar, Data.Singletons.CustomStar
ShowsPrecSym0 | Data.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
ShowsPrecSym1 | Data.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
ShowsPrecSym2 | Data.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
ShowsPrecSym3 | Data.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
ShowsSym0 | Data.Singletons.Prelude.Show, Data.Singletons.Prelude
ShowsSym1 | Data.Singletons.Prelude.Show, Data.Singletons.Prelude
ShowsSym2 | Data.Singletons.Prelude.Show, Data.Singletons.Prelude
ShowString | Data.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
ShowStringSym0 | Data.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
ShowStringSym1 | Data.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
ShowStringSym2 | Data.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
ShowType | Data.Singletons.TypeError
ShowTypeSym0 | Data.Singletons.TypeError
ShowTypeSym1 | Data.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_Sym0 | Data.Singletons.Prelude.Show, Data.Singletons.Prelude
Show_Sym1 | Data.Singletons.Prelude.Show, Data.Singletons.Prelude
sId | Data.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
sIf | Data.Singletons.Prelude.Bool, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
Sigma | Data.Singletons.Sigma
Signum | Data.Singletons.Prelude.Num, Data.Singletons.Prelude, Data.Singletons.Prelude
SignumSym0 | Data.Singletons.Prelude.Num, Data.Singletons.Prelude
SignumSym1 | Data.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.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
sing | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
singBoundedInstance | Data.Singletons.TH, Data.Singletons.CustomStar
singBoundedInstances | Data.Singletons.TH, Data.Singletons.CustomStar
singByProxy | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
singByProxy# | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
singDecideInstance | Data.Singletons.TH, Data.Singletons.CustomStar
singDecideInstances | Data.Singletons.TH, Data.Singletons.CustomStar
singEnumInstance | Data.Singletons.TH, Data.Singletons.CustomStar
singEnumInstances | Data.Singletons.TH, Data.Singletons.CustomStar
singEqInstance | Data.Singletons.TH, Data.Singletons.CustomStar
singEqInstanceOnly | Data.Singletons.TH, Data.Singletons.CustomStar
singEqInstances | Data.Singletons.TH, Data.Singletons.CustomStar
singEqInstancesOnly | Data.Singletons.TH, Data.Singletons.CustomStar
singFun1 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
singFun2 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
singFun3 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
singFun4 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
singFun5 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
singFun6 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
singFun7 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
singFun8 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
SingFunction1 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
SingFunction2 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
SingFunction3 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
SingFunction4 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
SingFunction5 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
SingFunction6 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
SingFunction7 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
SingFunction8 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
SingI | Data.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
singInstance | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
singITyConInstance | Data.Singletons.TH, Data.Singletons.CustomStar
singITyConInstances | Data.Singletons.TH, Data.Singletons.CustomStar
SingKind | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
singletons | Data.Singletons.TH, Data.Singletons.CustomStar
singletonsOnly | Data.Singletons.TH, Data.Singletons.CustomStar
singletonStar | Data.Singletons.CustomStar
singOrdInstance | Data.Singletons.TH, Data.Singletons.CustomStar
singOrdInstances | Data.Singletons.TH, Data.Singletons.CustomStar
singShowInstance | Data.Singletons.TH, Data.Singletons.CustomStar
singShowInstances | Data.Singletons.TH, Data.Singletons.CustomStar
singThat | Data.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
sInsertBy | Data.Singletons.Prelude.List
sIntercalate | Data.Singletons.Prelude.List
sIntersect | Data.Singletons.Prelude.List
sIntersectBy | Data.Singletons.Prelude.List
sIntersperse |
1 (Function) | Data.Singletons.Prelude.List
2 (Function) | Data.Singletons.Prelude.List.NonEmpty
sIsInfixOf | Data.Singletons.Prelude.List
sIsJust | Data.Singletons.Prelude.Maybe
sIsLeft | Data.Singletons.Prelude.Either
sIsNothing | Data.Singletons.Prelude.Maybe
sIsPrefixOf |
1 (Function) | Data.Singletons.Prelude.List
2 (Function) | Data.Singletons.Prelude.List.NonEmpty
sIsRight | Data.Singletons.Prelude.Either
SIsString | Data.Singletons.Prelude.IsString
sIsSuffixOf | Data.Singletons.Prelude.List
sJoin | Data.Singletons.Prelude.Monad
SJust | Data.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
SLambda2 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
SLambda3 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
SLambda4 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
SLambda5 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
SLambda6 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
SLambda7 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
SLambda8 | Data.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
SLeft | Data.Singletons.Prelude.Either, Data.Singletons.Prelude
sLefts | Data.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
sLiftA | Data.Singletons.Prelude.Applicative
sLiftA2 | Data.Singletons.Prelude.Applicative, Data.Singletons.TH, Data.Singletons.CustomStar
sLiftA3 | Data.Singletons.Prelude.Applicative
sLiftM | Data.Singletons.Prelude.Monad
sLiftM2 | Data.Singletons.Prelude.Monad
sLiftM3 | Data.Singletons.Prelude.Monad
sLiftM4 | Data.Singletons.Prelude.Monad
sLiftM5 | Data.Singletons.Prelude.Monad
SList | Data.Singletons.Prelude.List, Data.Singletons.Prelude
sListToMaybe | Data.Singletons.Prelude.Maybe
sLog2 | Data.Singletons.TypeLits
sLookup | Data.Singletons.Prelude.List, Data.Singletons.Prelude
SLT | Data.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
sMapAccumL | Data.Singletons.Prelude.Traversable, Data.Singletons.Prelude.List
sMapAccumR | Data.Singletons.Prelude.Traversable, Data.Singletons.Prelude.List
sMapAndUnzipM | Data.Singletons.Prelude.Monad
sMapM | Data.Singletons.Prelude.Traversable, Data.Singletons.Prelude.Monad, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sMapMaybe | Data.Singletons.Prelude.Maybe
sMapM_ | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.Monad, Data.Singletons.Prelude
sMappend | Data.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
sMax | Data.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sMaxBound | Data.Singletons.Prelude.Enum, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sMaximum | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sMaximumBy | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List
SMaybe | Data.Singletons.Prelude.Maybe, Data.Singletons.Prelude
sMaybeToList | Data.Singletons.Prelude.Maybe
sMaybe_ | Data.Singletons.Prelude.Maybe, Data.Singletons.Prelude
sMconcat | Data.Singletons.Prelude.Monoid, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sMempty | Data.Singletons.Prelude.Monoid, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sMfilter | Data.Singletons.Prelude.Monad
SMin |
1 (Type/Class) | Data.Singletons.Prelude.Semigroup
2 (Data Constructor) | Data.Singletons.Prelude.Semigroup
sMin | Data.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sMinBound | Data.Singletons.Prelude.Enum, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sMinimum | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sMinimumBy | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List
sMod | Data.Singletons.TypeLits
SMonad | Data.Singletons.Prelude.Monad, Data.Singletons.Prelude
SMonadFail | Data.Singletons.Prelude.Monad.Fail, Data.Singletons.Prelude.Monad, Data.Singletons.Prelude
SMonadPlus | Data.Singletons.Prelude.Monad
SMonadZip | Data.Singletons.Prelude.Monad.Zip
SMonoid | Data.Singletons.Prelude.Monoid, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sMplus | Data.Singletons.Prelude.Monad
sMsum | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.Monad
sMunzip | Data.Singletons.Prelude.Monad.Zip
sMzero | Data.Singletons.Prelude.Monad
sMzip | Data.Singletons.Prelude.Monad.Zip
sMzipWith | Data.Singletons.Prelude.Monad.Zip
SNat |
1 (Type/Class) | Data.Singletons.TypeLits
2 (Data Constructor) | Data.Singletons.TypeLits
Snd | Data.Singletons.Prelude.Tuple, Data.Singletons.Prelude
SndSigma | Data.Singletons.Sigma
sndSigma | Data.Singletons.Sigma
SndSym0 | Data.Singletons.Prelude.Tuple, Data.Singletons.Prelude
SndSym1 | Data.Singletons.Prelude.Tuple, Data.Singletons.Prelude
sNegate | Data.Singletons.Prelude.Num, Data.Singletons.Prelude
SNil | Data.Singletons.Prelude.List, Data.Singletons.Prelude
SNonEmpty | Data.Singletons.Prelude.List.NonEmpty
sNonEmpty_ | Data.Singletons.Prelude.List.NonEmpty
sNot | Data.Singletons.Prelude.Bool, Data.Singletons.Prelude, Data.Singletons.CustomStar
sNotElem | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
SNothing | Data.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
sNull | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
SNum | Data.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
sOn | Data.Singletons.Prelude.Function
SOption |
1 (Type/Class) | Data.Singletons.Prelude.Semigroup
2 (Data Constructor) | Data.Singletons.Prelude.Semigroup
sOptional | Data.Singletons.Prelude.Applicative
sOption_ | Data.Singletons.Prelude.Semigroup
sOr | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude
SOrd | Data.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
SOrdering | Data.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
SortWith | Data.Singletons.Prelude.List.NonEmpty
SortWithSym0 | Data.Singletons.Prelude.List.NonEmpty
SortWithSym1 | Data.Singletons.Prelude.List.NonEmpty
SortWithSym2 | Data.Singletons.Prelude.List.NonEmpty
sOtherwise | Data.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
sPartitionEithers | Data.Singletons.Prelude.Either
sPermutations | Data.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
sPred | Data.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
sProduct | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sPure | Data.Singletons.Prelude.Applicative, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sQuot | Data.Singletons.TypeLits
sQuotRem | Data.Singletons.TypeLits
sRem | Data.Singletons.TypeLits
sReplicate | Data.Singletons.Prelude.List, Data.Singletons.Prelude
sReplicateM | Data.Singletons.Prelude.Monad
sReplicateM_ | Data.Singletons.Prelude.Monad
sReturn | Data.Singletons.Prelude.Monad, Data.Singletons.Prelude
sReverse |
1 (Function) | Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Function) | Data.Singletons.Prelude.List.NonEmpty
SRight | Data.Singletons.Prelude.Either, Data.Singletons.Prelude
sRights | Data.Singletons.Prelude.Either
sRunIdentity | Data.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
sSconcat | Data.Singletons.Prelude.Semigroup
SSemigroup | Data.Singletons.Prelude.Semigroup, Data.Singletons.Prelude
sSeq | Data.Singletons.Prelude.Base, Data.Singletons.Prelude
sSequence | Data.Singletons.Prelude.Traversable, Data.Singletons.Prelude.Monad, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sSequenceA | Data.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
SShow | Data.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sShowChar | Data.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sShowCommaSpace | Data.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.CustomStar
sShowList | Data.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sShowListWith | Data.Singletons.Prelude.Show
sShowParen | Data.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sShows | Data.Singletons.Prelude.Show, Data.Singletons.Prelude
sShowSpace | Data.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.CustomStar
sShowsPrec | Data.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sShowString | Data.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
SShowType | Data.Singletons.TypeError
sShow_ | Data.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
SSigma | Data.Singletons.Sigma
sSignum | Data.Singletons.Prelude.Num, Data.Singletons.Prelude
sSnd | Data.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
sSortWith | Data.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
sSubsequences | Data.Singletons.Prelude.List
sSubtract | Data.Singletons.Prelude.Num, Data.Singletons.Prelude
sSucc | Data.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
sSum | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sSwap | Data.Singletons.Prelude.Tuple
SSym | Data.Singletons.TypeLits
SSymbol | Data.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
SText | Data.Singletons.TypeError
sThenCmp | Data.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Singletons.CustomStar
sToEnum | Data.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
STraversable | Data.Singletons.Prelude.Traversable, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sTraverse | Data.Singletons.Prelude.Traversable, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sTraverse_ | Data.Singletons.Prelude.Foldable
StripPrefix | Data.Singletons.Prelude.List
StripPrefixSym0 | Data.Singletons.Prelude.List
StripPrefixSym1 | Data.Singletons.Prelude.List
StripPrefixSym2 | Data.Singletons.Prelude.List
STrue | Data.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
sTypeError | Data.Singletons.TypeError
Subsequences | Data.Singletons.Prelude.List
SubsequencesSym0 | Data.Singletons.Prelude.List
SubsequencesSym1 | Data.Singletons.Prelude.List
Subtract | Data.Singletons.Prelude.Num, Data.Singletons.Prelude
SubtractSym0 | Data.Singletons.Prelude.Num, Data.Singletons.Prelude
SubtractSym1 | Data.Singletons.Prelude.Num, Data.Singletons.Prelude
SubtractSym2 | Data.Singletons.Prelude.Num, Data.Singletons.Prelude
Succ | Data.Singletons.Prelude.Enum
SuccSym0 | Data.Singletons.Prelude.Enum
SuccSym1 | Data.Singletons.Prelude.Enum
Sum | Data.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
sUncons | Data.Singletons.Prelude.List.NonEmpty
sUncurry | Data.Singletons.Prelude.Tuple, Data.Singletons.Prelude
sUndefined | Data.Singletons.TypeLits, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sUnfold | Data.Singletons.Prelude.List.NonEmpty
sUnfoldr |
1 (Function) | Data.Singletons.Prelude.List
2 (Function) | Data.Singletons.Prelude.List.NonEmpty
sUnion | Data.Singletons.Prelude.List
sUnionBy | Data.Singletons.Prelude.List
sUnless | Data.Singletons.Prelude.Monad
sUnlines | Data.Singletons.Prelude.List, Data.Singletons.Prelude
sUntil | Data.Singletons.Prelude.Base
sUnwords | Data.Singletons.Prelude.List, Data.Singletons.Prelude
sUnwrapMonoid | Data.Singletons.Prelude.Semigroup
sUnwrapSing | Data.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
sUnzip3 | Data.Singletons.Prelude.List, Data.Singletons.Prelude
sUnzip4 | Data.Singletons.Prelude.List
sUnzip5 | Data.Singletons.Prelude.List
sUnzip6 | Data.Singletons.Prelude.List
sUnzip7 | Data.Singletons.Prelude.List
SuppressUnusedWarnings | Data.Singletons.SuppressUnusedWarnings, Data.Singletons.TH, Data.Singletons.CustomStar
suppressUnusedWarnings | Data.Singletons.SuppressUnusedWarnings, Data.Singletons.TH, Data.Singletons.CustomStar
SVoid | Data.Singletons.Prelude.Void
sVoid | Data.Singletons.Prelude.Functor, Data.Singletons.Prelude.Monad
Swap | Data.Singletons.Prelude.Tuple
SwapSym0 | Data.Singletons.Prelude.Tuple
SwapSym1 | Data.Singletons.Prelude.Tuple
sWhen | Data.Singletons.Prelude.Monad
SWrapMonoid | Data.Singletons.Prelude.Semigroup
SWrappedMonoid | Data.Singletons.Prelude.Semigroup
SWrappedSing | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
SWrapSing | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
sXor | Data.Singletons.Prelude.List.NonEmpty
Symbol | Data.Singletons.TypeLits, Data.Singletons.Prelude
SymbolS | Data.Singletons.Prelude.Show
symbolVal | Data.Singletons.TypeLits
sZip |
1 (Function) | Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Function) | Data.Singletons.Prelude.List.NonEmpty
sZip3 | Data.Singletons.Prelude.List, Data.Singletons.Prelude
sZipWith |
1 (Function) | Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Function) | Data.Singletons.Prelude.List.NonEmpty
sZipWith3 | Data.Singletons.Prelude.List, Data.Singletons.Prelude
sZipWithM | Data.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
Text | Data.Singletons.TypeError
TextSym0 | Data.Singletons.TypeError
TextSym1 | Data.Singletons.TypeError
ThenCmp | Data.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Singletons.CustomStar
thenCmp | Data.Singletons.Prelude.Ord
ThenCmpSym0 | Data.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Singletons.CustomStar
ThenCmpSym1 | Data.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Singletons.CustomStar
ThenCmpSym2 | Data.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Singletons.CustomStar
ToEnum | Data.Singletons.Prelude.Enum, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.Prelude, Data.Singletons.CustomStar, Data.Singletons.CustomStar
ToEnumSym0 | Data.Singletons.Prelude.Enum, Data.Singletons.Prelude
ToEnumSym1 | Data.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
toSing | Data.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
Traverse | Data.Singletons.Prelude.Traversable, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar, Data.Singletons.CustomStar
TraverseSym0 | Data.Singletons.Prelude.Traversable, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
TraverseSym1 | Data.Singletons.Prelude.Traversable, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
TraverseSym2 | Data.Singletons.Prelude.Traversable, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
Traverse_ | Data.Singletons.Prelude.Foldable
Traverse_Sym0 | Data.Singletons.Prelude.Foldable
Traverse_Sym1 | Data.Singletons.Prelude.Foldable
Traverse_Sym2 | Data.Singletons.Prelude.Foldable
TrueSym0 | Data.Singletons.Prelude.Bool, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
Tuple0Sym0 | Data.Singletons.Prelude.Tuple, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
Tuple2Sym0 | Data.Singletons.Prelude.Tuple, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
Tuple2Sym1 | Data.Singletons.Prelude.Tuple, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
Tuple2Sym2 | Data.Singletons.Prelude.Tuple, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
Tuple3Sym0 | Data.Singletons.Prelude.Tuple, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
Tuple3Sym1 | Data.Singletons.Prelude.Tuple, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
Tuple3Sym2 | Data.Singletons.Prelude.Tuple, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
Tuple3Sym3 | Data.Singletons.Prelude.Tuple, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
Tuple4Sym0 | Data.Singletons.Prelude.Tuple, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
Tuple4Sym1 | Data.Singletons.Prelude.Tuple, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
Tuple4Sym2 | Data.Singletons.Prelude.Tuple, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
Tuple4Sym3 | Data.Singletons.Prelude.Tuple, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
Tuple4Sym4 | Data.Singletons.Prelude.Tuple, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
Tuple5Sym0 | Data.Singletons.Prelude.Tuple, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
Tuple5Sym1 | Data.Singletons.Prelude.Tuple, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
Tuple5Sym2 | Data.Singletons.Prelude.Tuple, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
Tuple5Sym3 | Data.Singletons.Prelude.Tuple, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
Tuple5Sym4 | Data.Singletons.Prelude.Tuple, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
Tuple5Sym5 | Data.Singletons.Prelude.Tuple, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
Tuple6Sym0 | Data.Singletons.Prelude.Tuple, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
Tuple6Sym1 | Data.Singletons.Prelude.Tuple, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
Tuple6Sym2 | Data.Singletons.Prelude.Tuple, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
Tuple6Sym3 | Data.Singletons.Prelude.Tuple, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
Tuple6Sym4 | Data.Singletons.Prelude.Tuple, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
Tuple6Sym5 | Data.Singletons.Prelude.Tuple, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
Tuple6Sym6 | Data.Singletons.Prelude.Tuple, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
Tuple7Sym0 | Data.Singletons.Prelude.Tuple, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
Tuple7Sym1 | Data.Singletons.Prelude.Tuple, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
Tuple7Sym2 | Data.Singletons.Prelude.Tuple, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
Tuple7Sym3 | Data.Singletons.Prelude.Tuple, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
Tuple7Sym4 | Data.Singletons.Prelude.Tuple, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
Tuple7Sym5 | Data.Singletons.Prelude.Tuple, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
Tuple7Sym6 | Data.Singletons.Prelude.Tuple, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
Tuple7Sym7 | Data.Singletons.Prelude.Tuple, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
TyCon | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
TyCon1 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
TyCon2 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
TyCon3 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
TyCon4 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
TyCon5 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
TyCon6 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
TyCon7 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
TyCon8 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
TyFun | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
TypeError | Data.Singletons.TypeError
typeError | Data.Singletons.TypeError
TypeErrorSym0 | Data.Singletons.TypeError
TypeErrorSym1 | Data.Singletons.TypeError
Uncons | Data.Singletons.Prelude.List.NonEmpty
UnconsSym0 | Data.Singletons.Prelude.List.NonEmpty
UnconsSym1 | Data.Singletons.Prelude.List.NonEmpty
Uncurry | Data.Singletons.Prelude.Tuple, Data.Singletons.Prelude
uncurrySigma | Data.Singletons.Sigma
UncurrySym0 | Data.Singletons.Prelude.Tuple, Data.Singletons.Prelude
UncurrySym1 | Data.Singletons.Prelude.Tuple, Data.Singletons.Prelude
UncurrySym2 | Data.Singletons.Prelude.Tuple, Data.Singletons.Prelude
Undefined | Data.Singletons.TypeLits, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
UndefinedSym0 | Data.Singletons.TypeLits, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
Unfold | Data.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
UnfoldSym0 | Data.Singletons.Prelude.List.NonEmpty
UnfoldSym1 | Data.Singletons.Prelude.List.NonEmpty
Union | Data.Singletons.Prelude.List
UnionBy | Data.Singletons.Prelude.List
UnionBySym0 | Data.Singletons.Prelude.List
UnionBySym1 | Data.Singletons.Prelude.List
UnionBySym2 | Data.Singletons.Prelude.List
UnionBySym3 | Data.Singletons.Prelude.List
UnionSym0 | Data.Singletons.Prelude.List
UnionSym1 | Data.Singletons.Prelude.List
UnionSym2 | Data.Singletons.Prelude.List
Unless | Data.Singletons.Prelude.Monad
UnlessSym0 | Data.Singletons.Prelude.Monad
UnlessSym1 | Data.Singletons.Prelude.Monad
UnlessSym2 | Data.Singletons.Prelude.Monad
Unlines | Data.Singletons.Prelude.List, Data.Singletons.Prelude
UnlinesSym0 | Data.Singletons.Prelude.List, Data.Singletons.Prelude
UnlinesSym1 | Data.Singletons.Prelude.List, Data.Singletons.Prelude
unSingFun1 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
unSingFun2 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
unSingFun3 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
unSingFun4 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
unSingFun5 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
unSingFun6 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
unSingFun7 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
unSingFun8 | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
Until | Data.Singletons.Prelude.Base
UntilSym0 | Data.Singletons.Prelude.Base
UntilSym1 | Data.Singletons.Prelude.Base
UntilSym2 | Data.Singletons.Prelude.Base
UntilSym3 | Data.Singletons.Prelude.Base
Unwords | Data.Singletons.Prelude.List, Data.Singletons.Prelude
UnwordsSym0 | Data.Singletons.Prelude.List, Data.Singletons.Prelude
UnwordsSym1 | Data.Singletons.Prelude.List, Data.Singletons.Prelude
UnwrapMonoid | Data.Singletons.Prelude.Semigroup
UnwrapMonoidSym0 | Data.Singletons.Prelude.Semigroup
UnwrapMonoidSym1 | Data.Singletons.Prelude.Semigroup
UnwrapSing | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
unwrapSing | Data.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
Unzip3 | Data.Singletons.Prelude.List, Data.Singletons.Prelude
Unzip3Sym0 | Data.Singletons.Prelude.List
Unzip3Sym1 | Data.Singletons.Prelude.List
Unzip4 | Data.Singletons.Prelude.List
Unzip4Sym0 | Data.Singletons.Prelude.List
Unzip4Sym1 | Data.Singletons.Prelude.List
Unzip5 | Data.Singletons.Prelude.List
Unzip5Sym0 | Data.Singletons.Prelude.List
Unzip5Sym1 | Data.Singletons.Prelude.List
Unzip6 | Data.Singletons.Prelude.List
Unzip6Sym0 | Data.Singletons.Prelude.List
Unzip6Sym1 | Data.Singletons.Prelude.List
Unzip7 | Data.Singletons.Prelude.List
Unzip7Sym0 | Data.Singletons.Prelude.List
Unzip7Sym1 | Data.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
VoidSym0 | Data.Singletons.Prelude.Functor, Data.Singletons.Prelude.Monad
VoidSym1 | Data.Singletons.Prelude.Functor, Data.Singletons.Prelude.Monad
When | Data.Singletons.Prelude.Monad
WhenSym0 | Data.Singletons.Prelude.Monad
WhenSym1 | Data.Singletons.Prelude.Monad
WhenSym2 | Data.Singletons.Prelude.Monad
withKnownNat | Data.Singletons.TypeLits
withKnownSymbol | Data.Singletons.TypeLits
withSing | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
withSingI | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
withSomeSing | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
WrapMonoidSym0 | Data.Singletons.Prelude.Semigroup
WrapMonoidSym1 | Data.Singletons.Prelude.Semigroup
WrappedSing | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
WrapSing | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
Xor | Data.Singletons.Prelude.List.NonEmpty
XorSym0 | Data.Singletons.Prelude.List.NonEmpty
XorSym1 | Data.Singletons.Prelude.List.NonEmpty
Zip |
1 (Type/Class) | Data.Singletons.Prelude.List, Data.Singletons.Prelude
2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty
Zip3 | Data.Singletons.Prelude.List, Data.Singletons.Prelude
Zip3Sym0 | Data.Singletons.Prelude.List, Data.Singletons.Prelude
Zip3Sym1 | Data.Singletons.Prelude.List, Data.Singletons.Prelude
Zip3Sym2 | Data.Singletons.Prelude.List, Data.Singletons.Prelude
Zip3Sym3 | Data.Singletons.Prelude.List, Data.Singletons.Prelude
Zip4 | Data.Singletons.Prelude.List
Zip4Sym0 | Data.Singletons.Prelude.List
Zip4Sym1 | Data.Singletons.Prelude.List
Zip4Sym2 | Data.Singletons.Prelude.List
Zip4Sym3 | Data.Singletons.Prelude.List
Zip4Sym4 | Data.Singletons.Prelude.List
Zip5 | Data.Singletons.Prelude.List
Zip5Sym0 | Data.Singletons.Prelude.List
Zip5Sym1 | Data.Singletons.Prelude.List
Zip5Sym2 | Data.Singletons.Prelude.List
Zip5Sym3 | Data.Singletons.Prelude.List
Zip5Sym4 | Data.Singletons.Prelude.List
Zip5Sym5 | Data.Singletons.Prelude.List
Zip6 | Data.Singletons.Prelude.List
Zip6Sym0 | Data.Singletons.Prelude.List
Zip6Sym1 | Data.Singletons.Prelude.List
Zip6Sym2 | Data.Singletons.Prelude.List
Zip6Sym3 | Data.Singletons.Prelude.List
Zip6Sym4 | Data.Singletons.Prelude.List
Zip6Sym5 | Data.Singletons.Prelude.List
Zip6Sym6 | Data.Singletons.Prelude.List
Zip7 | Data.Singletons.Prelude.List
Zip7Sym0 | Data.Singletons.Prelude.List
Zip7Sym1 | Data.Singletons.Prelude.List
Zip7Sym2 | Data.Singletons.Prelude.List
Zip7Sym3 | Data.Singletons.Prelude.List
Zip7Sym4 | Data.Singletons.Prelude.List
Zip7Sym5 | Data.Singletons.Prelude.List
Zip7Sym6 | Data.Singletons.Prelude.List
Zip7Sym7 | Data.Singletons.Prelude.List
zipSigma | Data.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
ZipWith3 | Data.Singletons.Prelude.List, Data.Singletons.Prelude
ZipWith3Sym0 | Data.Singletons.Prelude.List, Data.Singletons.Prelude
ZipWith3Sym1 | Data.Singletons.Prelude.List, Data.Singletons.Prelude
ZipWith3Sym2 | Data.Singletons.Prelude.List, Data.Singletons.Prelude
ZipWith3Sym3 | Data.Singletons.Prelude.List, Data.Singletons.Prelude
ZipWith3Sym4 | Data.Singletons.Prelude.List
ZipWith4 | Data.Singletons.Prelude.List
ZipWith4Sym0 | Data.Singletons.Prelude.List
ZipWith4Sym1 | Data.Singletons.Prelude.List
ZipWith4Sym2 | Data.Singletons.Prelude.List
ZipWith4Sym3 | Data.Singletons.Prelude.List
ZipWith4Sym4 | Data.Singletons.Prelude.List
ZipWith4Sym5 | Data.Singletons.Prelude.List
ZipWith5 | Data.Singletons.Prelude.List
ZipWith5Sym0 | Data.Singletons.Prelude.List
ZipWith5Sym1 | Data.Singletons.Prelude.List
ZipWith5Sym2 | Data.Singletons.Prelude.List
ZipWith5Sym3 | Data.Singletons.Prelude.List
ZipWith5Sym4 | Data.Singletons.Prelude.List
ZipWith5Sym5 | Data.Singletons.Prelude.List
ZipWith5Sym6 | Data.Singletons.Prelude.List
ZipWith6 | Data.Singletons.Prelude.List
ZipWith6Sym0 | Data.Singletons.Prelude.List
ZipWith6Sym1 | Data.Singletons.Prelude.List
ZipWith6Sym2 | Data.Singletons.Prelude.List
ZipWith6Sym3 | Data.Singletons.Prelude.List
ZipWith6Sym4 | Data.Singletons.Prelude.List
ZipWith6Sym5 | Data.Singletons.Prelude.List
ZipWith6Sym6 | Data.Singletons.Prelude.List
ZipWith6Sym7 | Data.Singletons.Prelude.List
ZipWith7 | Data.Singletons.Prelude.List
ZipWith7Sym0 | Data.Singletons.Prelude.List
ZipWith7Sym1 | Data.Singletons.Prelude.List
ZipWith7Sym2 | Data.Singletons.Prelude.List
ZipWith7Sym3 | Data.Singletons.Prelude.List
ZipWith7Sym4 | Data.Singletons.Prelude.List
ZipWith7Sym5 | Data.Singletons.Prelude.List
ZipWith7Sym6 | Data.Singletons.Prelude.List
ZipWith7Sym7 | Data.Singletons.Prelude.List
ZipWith7Sym8 | Data.Singletons.Prelude.List
ZipWithM | Data.Singletons.Prelude.Monad
ZipWithMSym0 | Data.Singletons.Prelude.Monad
ZipWithMSym1 | Data.Singletons.Prelude.Monad
ZipWithMSym2 | Data.Singletons.Prelude.Monad
ZipWithMSym3 | Data.Singletons.Prelude.Monad
ZipWithM_ | Data.Singletons.Prelude.Monad
ZipWithM_Sym0 | Data.Singletons.Prelude.Monad
ZipWithM_Sym1 | Data.Singletons.Prelude.Monad
ZipWithM_Sym2 | Data.Singletons.Prelude.Monad
ZipWithM_Sym3 | Data.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