singletons-2.3.1: A framework for generating singleton types

Index - P

Partition 
1 (Type/Class)Data.Singletons.Prelude.List, Data.Promotion.Prelude.List
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty
PartitionEithersData.Singletons.Prelude.Either, Data.Promotion.Prelude.Either
PartitionSym0 
1 (Type/Class)Data.Singletons.Prelude.List, Data.Promotion.Prelude.List
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty
PartitionSym1 
1 (Type/Class)Data.Singletons.Prelude.List, Data.Promotion.Prelude.List
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty
PartitionSym2 
1 (Type/Class)Data.Singletons.Prelude.List, Data.Promotion.Prelude.List
2 (Type/Class)Data.Singletons.Prelude.List.NonEmpty, Data.Promotion.Prelude.List.NonEmpty
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.TH, Data.Singletons.Prelude, Data.Promotion.Prelude.Eq, Data.Promotion.Prelude, Data.Promotion.TH, Data.Singletons.CustomStar
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.Promotion.Prelude.Num, Data.Singletons.Prelude, Data.Promotion.Prelude
POrdData.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Promotion.Prelude.Ord, 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, Data.Singletons.TH, Data.Singletons.Prelude, Data.Promotion.TH
2 (Type/Class)Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Promotion.TH