singletons-th-3.0: A framework for generating singleton types (Index - D)

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

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

Index - D

decideCoercion	Data.Singletons.Decide
decideEquality	Data.Singletons.Decide
Decision	Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons.Decide
defaultOptions	Data.Singletons.TH.Options
defunctionalizedName	Data.Singletons.TH.Options
defunctionalizedName0	Data.Singletons.TH.Options
Demote	Data.Singletons.TH, Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons.TH.CustomStar, Data.Singletons
demote	Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons
DemoteSym0	Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons
DemoteSym1	Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons
Disproved	Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons.Decide