| P | |
| 1 (Type/Class) | Proarrow.Category.Instance.PointedHask |
| 2 (Type/Class) | Proarrow.Category.Bicategory.Prof, Proarrow.Category.Bicategory.Hom |
| pairFst | Proarrow.Category.Instance.Linear |
| pairSnd | Proarrow.Category.Instance.Linear |
| Par | |
| 1 (Data Constructor) | Proarrow.Category.Monoidal |
| 2 (Type/Class) | Proarrow.Category.Instance.Linear |
| 3 (Data Constructor) | Proarrow.Category.Instance.Linear |
| par | Proarrow.Category.Monoidal |
| Par0 | Proarrow.Category.Monoidal |
| par0 | Proarrow.Category.Monoidal |
| parallel | Proarrow.Category.Monoidal.Optic |
| parAppL | Proarrow.Category.Instance.Linear |
| parAppR | Proarrow.Category.Instance.Linear |
| parN | Proarrow.Category.Promonoidal |
| Path | Proarrow.Category.Bicategory.Strictified |
| PCons | Proarrow.Category.Promonoidal |
| pi0 | Proarrow.Category.Equipment.Stateful |
| pi1 | Proarrow.Category.Equipment.Stateful |
| PK | Proarrow.Category.Bicategory.Prof |
| Place | Proarrow.Tools.Laws |
| place | Proarrow.Tools.Laws |
| PLAIN | Proarrow.Category.Bicategory.CategoryAsBi |
| PLAINK | Proarrow.Category.Bicategory.CategoryAsBi |
| PList | Proarrow.Category.Promonoidal |
| plus | Proarrow.Category.Equipment.Stateful |
| plusMonotone | Proarrow.Category.Instance.Cost |
| plusState | Proarrow.Category.Instance.ZX |
| PNil | Proarrow.Category.Promonoidal |
| POINTED | Proarrow.Category.Instance.PointedHask |
| Pointed | Proarrow.Category.Instance.PointedHask |
| PointwiseLeftKanExtension | Proarrow.Profunctor.Rift |
| PointwiseLeftKanLift | Proarrow.Profunctor.Ran |
| PointwiseRightKanExtension | Proarrow.Profunctor.Ran |
| PointwiseRightKanLift | Proarrow.Profunctor.Rift |
| Power | |
| 1 (Data Constructor) | Proarrow.Object.Power |
| 2 (Data Constructor) | Proarrow.Category.Instance.Nat |
| power | Proarrow.Object.Power |
| Powered | Proarrow.Object.Power |
| PowerLimit | Proarrow.Category.Limit |
| PR | Proarrow.Object.BinaryProduct |
| Prd | Proarrow.Object.BinaryProduct |
| Precompose | |
| 1 (Type/Class) | Proarrow.Profunctor.Ran |
| 2 (Data Constructor) | Proarrow.Profunctor.Ran |
| Prelude | |
| 1 (Type/Class) | Proarrow.Functor, Proarrow |
| 2 (Data Constructor) | Proarrow.Functor, Proarrow |
| Preorder | Proarrow.Category.Instance.Rel |
| prepar | Proarrow.Category.Monoidal.Action |
| Presheaf | Proarrow.Functor, Proarrow |
| Previewing | |
| 1 (Type/Class) | Proarrow.Category.Monoidal.Optic |
| 2 (Data Constructor) | Proarrow.Category.Monoidal.Optic |
| Prism | |
| 1 (Type/Class) | Proarrow.Category.Monoidal.Optic |
| 2 (Type/Class) | Proarrow.Squares, Proarrow |
| Procomonad | Proarrow.Promonad, Proarrow |
| PROD | |
| 1 (Type/Class) | Proarrow.Object.BinaryProduct |
| 2 (Data Constructor) | Proarrow.Category.Bicategory.Product |
| Prod | |
| 1 (Type/Class) | Proarrow.Object.BinaryProduct |
| 2 (Data Constructor) | Proarrow.Object.BinaryProduct |
| 3 (Type/Class) | Proarrow.Category.Bicategory.Product |
| 4 (Data Constructor) | Proarrow.Category.Bicategory.Product |
| prod | Proarrow.Profunctor.Product |
| ProdAction | Proarrow.Object.BinaryProduct |
| PRODFST | Proarrow.Category.Bicategory.Product |
| ProdH | Proarrow.Category.Equipment.Limit |
| PRODK | Proarrow.Category.Bicategory.Product |
| prodObj | |
| 1 (Function) | Proarrow.Category.Bicategory.Limit |
| 2 (Function) | Proarrow.Category.Equipment.Limit |
| PRODSND | Proarrow.Category.Bicategory.Product |
| Product | |
| 1 (Type/Class) | Proarrow.Category.Bicategory.Limit |
| 2 (Type/Class) | Proarrow.Category.Equipment.Limit |
| ProductLimit | Proarrow.Category.Limit |
| prodUniv | |
| 1 (Function) | Proarrow.Category.Bicategory.Limit |
| 2 (Function) | Proarrow.Category.Equipment.Limit |
| ProdV | Proarrow.Category.Equipment.Limit |
| Prof | |
| 1 (Type/Class) | Proarrow.Category.Instance.Prof |
| 2 (Data Constructor) | Proarrow.Category.Instance.Prof |
| 3 (Type/Class) | Proarrow.Category.Bicategory.Prof |
| 4 (Data Constructor) | Proarrow.Category.Bicategory.Prof |
| prof2ex | Proarrow.Category.Monoidal.Optic |
| PROFK | Proarrow.Category.Bicategory.Prof |
| ProfOptic | Proarrow.Squares, Proarrow |
| ProfRep | Proarrow.Category.Bicategory.Prof |
| ProfSq | Proarrow.Category.Bicategory.Prof |
| Profunctor | Proarrow.Core, Proarrow.Profunctor, Proarrow |
| project | Proarrow.Profunctor.Fix |
| project' | Proarrow.Profunctor.Fix |
| Promonad | Proarrow.Core, Proarrow.Promonad, Proarrow |
| Promonoid | Proarrow.Category.Promonoidal |
| PromonoidalProfunctor | Proarrow.Category.Promonoidal |
| ProObj | Proarrow.Category.Enriched |
| PROTENSOR | Proarrow.Category.Promonoidal |
| Protensor | Proarrow.Category.Promonoidal |
| Pt | Proarrow.Category.Instance.PointedHask |
| Pure | Proarrow.Profunctor.Free |
| pure | Proarrow.Category.Monoidal.Applicative |
| PWLan | Proarrow.Profunctor.Rift |
| PWLift | Proarrow.Profunctor.Ran |
| PWRan | Proarrow.Profunctor.Ran |
| PWRift | Proarrow.Profunctor.Rift |