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

singletons-2.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
Z
:
$
%
@
All

Index - %

%$	Data.Singletons.Prelude.Base, Data.Singletons.Prelude
%$!	Data.Singletons.Prelude.Base, Data.Singletons.Prelude
%:!!	Data.Singletons.Prelude.List
%:&&	Data.Singletons.Prelude.Bool, Data.Singletons.CustomStar, Data.Singletons.Prelude
%:*	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
%:/=	Data.Singletons.Prelude.Eq, Data.Singletons.CustomStar, Data.Singletons.TH, Data.Singletons.Prelude
%:<	Data.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude
%:<=	Data.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude
%:==	Data.Singletons.Prelude.Eq, Data.Singletons.CustomStar, Data.Singletons.TH, Data.Singletons.Prelude
%:>	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.CustomStar, Data.Singletons.Prelude
%~	Data.Singletons.Decide, Data.Singletons.TH