singletons-1.0: A framework for generating singleton types

Index - K

KindOfData.Singletons, Data.Singletons.TH, Data.Singletons.Prelude
KnownNatData.Singletons.TypeLits
KnownSymbolData.Singletons.TypeLits
KProxy 
1 (Data Constructor)Data.Singletons.Types, Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH
2 (Type/Class)Data.Singletons.Types, Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH