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 |
demote1 | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
demote2 | 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 |