projSigma1 | Data.Singletons.Sigma |
projSigma2 | Data.Singletons.Sigma |
promote | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
promoteBoundedInstance | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
promoteBoundedInstances | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
promotedClassName | Data.Singletons.TH.Options |
promotedDataTypeOrConName | Data.Singletons.TH.Options |
promotedLetBoundValueName | Data.Singletons.TH.Options |
promotedTopLevelValueName | Data.Singletons.TH.Options |
promotedValueName | Data.Singletons.TH.Options |
promoteEnumInstance | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
promoteEnumInstances | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
promoteEqInstance | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
promoteEqInstances | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
promoteOnly | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
promoteOrdInstance | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
promoteOrdInstances | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
promoteShowInstance | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
promoteShowInstances | Data.Singletons.TH, Data.Singletons.TH.CustomStar |
Proved | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons.Decide |
Proxy | |
1 (Type/Class) | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |
2 (Data Constructor) | Data.Singletons.TH, Data.Singletons.TH.CustomStar, Data.Singletons |