Partition | Data.Promotion.Prelude.List |
PartitionEithers | Data.Singletons.Prelude.Either, Data.Promotion.Prelude.Either |
PartitionSym0 | Data.Promotion.Prelude.List |
PartitionSym1 | Data.Promotion.Prelude.List |
PartitionSym2 | Data.Promotion.Prelude.List |
PBounded | Data.Singletons.Prelude.Enum, Data.Singletons.Prelude, Data.Promotion.Prelude.Enum, Data.Promotion.Prelude |
PEnum | Data.Singletons.Prelude.Enum, Data.Singletons.Prelude, Data.Promotion.Prelude.Enum, Data.Promotion.Prelude |
PEq | Data.Singletons.Prelude.Eq, Data.Singletons.CustomStar, Data.Promotion.Prelude.Eq, Data.Singletons.TH, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
Permutations | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
PermutationsSym0 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
PermutationsSym1 | Data.Singletons.Prelude.List, Data.Promotion.Prelude.List |
PNum | Data.Singletons.Prelude.Num, Data.Singletons.Prelude, Data.Promotion.Prelude.Num, Data.Promotion.Prelude |
POrd | Data.Singletons.Prelude.Ord, Data.Promotion.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude, Data.Promotion.Prelude, Data.Promotion.TH |
Pred | Data.Singletons.Prelude.Enum, Data.Promotion.Prelude.Enum |
PredSym0 | Data.Singletons.Prelude.Enum, Data.Promotion.Prelude.Enum |
PredSym1 | Data.Singletons.Prelude.Enum, Data.Promotion.Prelude.Enum |
Product | Data.Promotion.Prelude.List, Data.Promotion.Prelude |
ProductSym0 | Data.Promotion.Prelude.List, Data.Promotion.Prelude |
ProductSym1 | Data.Promotion.Prelude.List, Data.Promotion.Prelude |
promote | Data.Singletons.TH, Data.Promotion.TH |
promoteBoundedInstance | Data.Singletons.TH, Data.Promotion.TH |
promoteBoundedInstances | Data.Singletons.TH, Data.Promotion.TH |
promoteEnumInstance | Data.Singletons.TH, Data.Promotion.TH |
promoteEnumInstances | Data.Singletons.TH, Data.Promotion.TH |
promoteEqInstance | Data.Singletons.TH, Data.Promotion.TH |
promoteEqInstances | Data.Singletons.TH, Data.Promotion.TH |
promoteOnly | Data.Singletons.TH, Data.Promotion.TH |
promoteOrdInstance | Data.Singletons.TH, Data.Promotion.TH |
promoteOrdInstances | Data.Singletons.TH, Data.Promotion.TH |
Proved | Data.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 |