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