singletons-2.1: A framework for generating singleton types

Index - P

PartitionData.Singletons.Prelude.List, Data.Promotion.Prelude.List
PartitionEithersData.Singletons.Prelude.Either, Data.Promotion.Prelude.Either
PartitionSym0Data.Singletons.Prelude.List, Data.Promotion.Prelude.List
PartitionSym1Data.Singletons.Prelude.List, Data.Promotion.Prelude.List
PartitionSym2Data.Singletons.Prelude.List, Data.Promotion.Prelude.List
PBoundedData.Singletons.Prelude.Enum, Data.Promotion.Prelude.Enum, Data.Singletons.Prelude, Data.Promotion.Prelude
PEnumData.Singletons.Prelude.Enum, Data.Promotion.Prelude.Enum, Data.Singletons.Prelude, Data.Promotion.Prelude
PEqData.Singletons.Prelude.Eq, Data.Singletons.CustomStar, Data.Promotion.Prelude.Eq, Data.Singletons.TH, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH
PermutationsData.Singletons.Prelude.List, Data.Promotion.Prelude.List
PermutationsSym0Data.Singletons.Prelude.List, Data.Promotion.Prelude.List
PermutationsSym1Data.Singletons.Prelude.List, Data.Promotion.Prelude.List
PNumData.Singletons.Prelude.Num, Data.Singletons.Prelude, Data.Promotion.Prelude.Num, Data.Promotion.Prelude
POrdData.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH
PredData.Singletons.Prelude.Enum, Data.Promotion.Prelude.Enum
PredSym0Data.Singletons.Prelude.Enum, Data.Promotion.Prelude.Enum
PredSym1Data.Singletons.Prelude.Enum, Data.Promotion.Prelude.Enum
ProductData.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude
ProductSym0Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude
ProductSym1Data.Singletons.Prelude.List, Data.Promotion.Prelude.List, Data.Promotion.Prelude
promoteData.Singletons.TH, Data.Promotion.TH
promoteBoundedInstanceData.Singletons.TH, Data.Promotion.TH
promoteBoundedInstancesData.Singletons.TH, Data.Promotion.TH
promoteEnumInstanceData.Singletons.TH, Data.Promotion.TH
promoteEnumInstancesData.Singletons.TH, Data.Promotion.TH
promoteEqInstanceData.Singletons.TH, Data.Promotion.TH
promoteEqInstancesData.Singletons.TH, Data.Promotion.TH
promoteOnlyData.Singletons.TH, Data.Promotion.TH
promoteOrdInstanceData.Singletons.TH, Data.Promotion.TH
promoteOrdInstancesData.Singletons.TH, Data.Promotion.TH
ProvedData.Singletons.Decide, Data.Singletons.TH
Proxy 
1 (Data Constructor)Data.Singletons.TH, Data.Promotion.Prelude, Data.Promotion.TH
2 (Type/Class)Data.Singletons.TH, Data.Promotion.Prelude, Data.Promotion.TH