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

Index - D

decideCoercionData.Singletons.Decide
decideEqualityData.Singletons.Decide
DecisionData.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons.Decide
defaultOptionsData.Singletons.TH.Options
defunctionalizedNameData.Singletons.TH.Options
defunctionalizedName0Data.Singletons.TH.Options
DemoteData.Singletons.TH, Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons.TH.CustomStar, Data.Singletons
demoteData.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons
DemoteSym0Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons
DemoteSym1Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons
DisprovedData.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons.Decide