singletons-th-3.2: A framework for generating singleton types (Index - P)

singletons-th-3.2: A framework for generating singleton types

A
C
D
F
G
K
L
M
O
P
R
S
T
U
V
W
Z
:
%
@
~
All

Index - P

projSigma1	Data.Singletons.Sigma
projSigma2	Data.Singletons.Sigma
promote	Data.Singletons.TH, Data.Singletons.TH.CustomStar
promoteBoundedInstance	Data.Singletons.TH, Data.Singletons.TH.CustomStar
promoteBoundedInstances	Data.Singletons.TH, Data.Singletons.TH.CustomStar
promotedClassName	Data.Singletons.TH.Options
promotedDataTypeOrConName	Data.Singletons.TH.Options
promotedLetBoundValueName	Data.Singletons.TH.Options
promotedTopLevelValueName	Data.Singletons.TH.Options
promotedValueName	Data.Singletons.TH.Options
promoteEnumInstance	Data.Singletons.TH, Data.Singletons.TH.CustomStar
promoteEnumInstances	Data.Singletons.TH, Data.Singletons.TH.CustomStar
promoteEqInstance	Data.Singletons.TH, Data.Singletons.TH.CustomStar
promoteEqInstances	Data.Singletons.TH, Data.Singletons.TH.CustomStar
promoteOnly	Data.Singletons.TH, Data.Singletons.TH.CustomStar
promoteOrdInstance	Data.Singletons.TH, Data.Singletons.TH.CustomStar
promoteOrdInstances	Data.Singletons.TH, Data.Singletons.TH.CustomStar
promoteShowInstance	Data.Singletons.TH, Data.Singletons.TH.CustomStar
promoteShowInstances	Data.Singletons.TH, Data.Singletons.TH.CustomStar
Proved	Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons.Decide
Proxy
1 (Type/Class)	Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons
2 (Data Constructor)	Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons