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