singletons-2.1: A framework for generating singleton types

Index - W

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