singletons-1.0: A framework for generating singleton types

Index - P

PartitionData.Promotion.Prelude.List
PartitionEithersData.Singletons.Prelude.Either, Data.Promotion.Prelude.Either
PartitionSym0Data.Promotion.Prelude.List
PartitionSym1Data.Promotion.Prelude.List
PartitionSym2Data.Promotion.Prelude.List
PBoundedData.Promotion.Prelude.Bounded, 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
POrdData.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH
ProductData.Promotion.Prelude.List, Data.Promotion.Prelude
ProductSym0Data.Promotion.Prelude.List, Data.Promotion.Prelude
ProductSym1Data.Promotion.Prelude.List, Data.Promotion.Prelude
promoteData.Singletons.TH, Data.Promotion.TH
promoteBoundedInstanceData.Singletons.TH, Data.Promotion.TH
promoteBoundedInstancesData.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.Types, Data.Singletons.TH, Data.Promotion.TH
2 (Type/Class)Data.Singletons.Types, Data.Singletons.TH, Data.Promotion.TH