singletons-2.3.1: A framework for generating singleton types (Index - %)

singletons-2.3.1: A framework for generating singleton types

A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
R
S
T
U
V
W
X
Z
:
$
%
@
~
All

Index - %

%$	Data.Singletons.Prelude.Base, Data.Singletons.Prelude.Function, Data.Singletons.Prelude
%$!	Data.Singletons.Prelude.Base, Data.Singletons.Prelude
%:!!
1 (Function)	Data.Singletons.Prelude.List
2 (Function)	Data.Singletons.Prelude.List.NonEmpty
%:&	Data.Singletons.Prelude.Function
%:&&	Data.Singletons.Prelude.Bool, Data.Singletons.Prelude, Data.Singletons.CustomStar
%:*	Data.Singletons.Prelude.Num, Data.Singletons.Prelude
%:+	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.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.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude
%:<\|	Data.Singletons.Prelude.List.NonEmpty
%:==	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.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude
%:\\	Data.Singletons.Prelude.List
%:\|\|	Data.Singletons.Prelude.Bool, Data.Singletons.Prelude, Data.Singletons.CustomStar
%~	Data.Singletons.Decide, Data.Singletons.TH