singletons-2.4.1: A framework for generating singleton types

Index - W

withKnownNatData.Singletons.TypeLits
withKnownSymbolData.Singletons.TypeLits
withSingData.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
withSingIData.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar
withSomeSingData.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar