withOptions | Data.Singletons.TH.Options |
withSing | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
withSing1 | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
withSing2 | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
withSingI | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
withSomeSing | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
WrappedSing | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
WrapSing | Data.Singletons.TH, Data.Singletons.TH.CustomStar |