genDefunSymbols | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
genPromotions | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
genQuotedDecs | Data.Singletons.TH.Options |
genSingKindInsts | Data.Singletons.TH.Options |
genSingletons | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
getOptions | Data.Singletons.TH.Options |