singletons-3.0.2: Basic singleton types and definitions

Index - P

projSigma1Data.Singletons.Sigma
projSigma2Data.Singletons.Sigma
ProvedData.Singletons.Decide
Proxy 
1 (Data Constructor)Data.Singletons
2 (Type/Class)Data.Singletons