| PAlternative | Data.Singletons.Prelude.Applicative |
| PApplicative | Data.Singletons.Prelude.Applicative, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| Partition | |
| 1 (Type/Class) | Data.Singletons.Prelude.List |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty |
| PartitionEithers | Data.Singletons.Prelude.Either |
| PartitionSym0 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty |
| PartitionSym1 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty |
| PartitionSym2 | |
| 1 (Type/Class) | Data.Singletons.Prelude.List |
| 2 (Type/Class) | Data.Singletons.Prelude.List.NonEmpty |
| PBounded | Data.Singletons.Prelude.Enum, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| PEnum | Data.Singletons.Prelude.Enum, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| PEq | Data.Singletons.Prelude.Eq, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| Permutations | Data.Singletons.Prelude.List |
| PermutationsSym0 | Data.Singletons.Prelude.List |
| PermutationsSym1 | Data.Singletons.Prelude.List |
| PErrorMessage | Data.Singletons.TypeError |
| PFoldable | Data.Singletons.Prelude.Foldable, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| PFunctor | Data.Singletons.Prelude.Functor, Data.Singletons.Prelude.Monad, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| PIsString | Data.Singletons.Prelude.IsString |
| PMonad | Data.Singletons.Prelude.Monad, Data.Singletons.Prelude |
| PMonadPlus | Data.Singletons.Prelude.Monad |
| PMonadZip | Data.Singletons.Prelude.Monad.Zip |
| PMonoid | Data.Singletons.Prelude.Monoid, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| PNum | Data.Singletons.Prelude.Num, Data.Singletons.Prelude |
| POrd | Data.Singletons.Prelude.Ord, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| Pred | Data.Singletons.Prelude.Enum |
| PredSym0 | Data.Singletons.Prelude.Enum |
| PredSym1 | Data.Singletons.Prelude.Enum |
| Product | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| ProductSym0 | |
| 1 (Type/Class) | Data.Singletons.Prelude.Monoid, Data.Singletons.Prelude.Semigroup |
| 2 (Type/Class) | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude |
| ProductSym1 | |
| 1 (Type/Class) | Data.Singletons.Prelude.Monoid, Data.Singletons.Prelude.Semigroup |
| 2 (Type/Class) | Data.Singletons.Prelude.Foldable, Data.Singletons.Prelude.List, Data.Singletons.Prelude |
| projSigma1 | Data.Singletons.Sigma |
| projSigma2 | Data.Singletons.Sigma |
| promote | Data.Singletons.TH, Data.Singletons.CustomStar |
| promoteBoundedInstance | Data.Singletons.TH, Data.Singletons.CustomStar |
| promoteBoundedInstances | Data.Singletons.TH, Data.Singletons.CustomStar |
| promoteEnumInstance | Data.Singletons.TH, Data.Singletons.CustomStar |
| promoteEnumInstances | Data.Singletons.TH, Data.Singletons.CustomStar |
| promoteEqInstance | Data.Singletons.TH, Data.Singletons.CustomStar |
| promoteEqInstances | Data.Singletons.TH, Data.Singletons.CustomStar |
| promoteOnly | Data.Singletons.TH, Data.Singletons.CustomStar |
| promoteOrdInstance | Data.Singletons.TH, Data.Singletons.CustomStar |
| promoteOrdInstances | Data.Singletons.TH, Data.Singletons.CustomStar |
| promoteShowInstance | Data.Singletons.TH, Data.Singletons.CustomStar |
| promoteShowInstances | Data.Singletons.TH, Data.Singletons.CustomStar |
| Proved | Data.Singletons.Decide, Data.Singletons.TH, Data.Singletons.CustomStar |
| Proxy | |
| 1 (Data Constructor) | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| 2 (Type/Class) | Data.Singletons, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| PSemigroup | Data.Singletons.Prelude.Semigroup, Data.Singletons.Prelude |
| PShow | Data.Singletons.Prelude.Show, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| PTraversable | Data.Singletons.Prelude.Traversable, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| Pure | Data.Singletons.Prelude.Applicative, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| PureSym0 | Data.Singletons.Prelude.Applicative, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |
| PureSym1 | Data.Singletons.Prelude.Applicative, Data.Singletons.TH, Data.Singletons.Prelude, Data.Singletons.CustomStar |