| P | |
| 1 (Type/Class) | Proarrow.Category.Instance.PointedHask |
| 2 (Type/Class) | Proarrow.Category.Instance.Duploid |
| Pair | Proarrow.Category.Instance.FreeBiCCC |
| pairFst | Proarrow.Category.Instance.Linear |
| pairSnd | Proarrow.Category.Instance.Linear |
| Par | |
| 1 (Type/Class) | Proarrow.Category.Instance.Linear |
| 2 (Data Constructor) | Proarrow.Category.Instance.Linear |
| 3 (Data Constructor) | Proarrow.Category.Monoidal |
| Par0 | Proarrow.Category.Monoidal |
| par0Corep | Proarrow.Category.Monoidal |
| par0Rep | Proarrow.Category.Monoidal |
| par1Optic | Proarrow.Optic.MonoidalTraversal |
| parAppL | Proarrow.Category.Instance.Linear |
| parAppR | Proarrow.Category.Instance.Linear |
| parCorep | Proarrow.Category.Monoidal |
| parCorepCocartesian | Proarrow.Colimit.BinaryCoproduct |
| parN | Proarrow.Category.Promonoidal |
| parRep | Proarrow.Category.Monoidal |
| Pastro | |
| 1 (Type/Class) | Proarrow.Profunctor.Instance.PastroTambara |
| 2 (Data Constructor) | Proarrow.Profunctor.Instance.PastroTambara |
| pastro | Proarrow.Profunctor.Instance.PastroTambara |
| Path | Proarrow.Path |
| PCons | Proarrow.Category.Promonoidal |
| Pick | Proarrow.Category.Instance.Simplex |
| pick | Proarrow.Category.Instance.FinRel |
| PIso | Proarrow.Optic |
| PIso' | Proarrow.Optic |
| PList | Proarrow.Category.Promonoidal |
| plusMonotone | Proarrow.Category.Instance.Cost |
| plusOptic | Proarrow.Optic.MonoidalTraversal |
| PlusRep | Proarrow.Colimit.BinaryCoproduct |
| plusState | Proarrow.Category.Instance.ZX |
| pn | Proarrow.Category.Instance.Duploid |
| PNil | Proarrow.Category.Promonoidal |
| POINTED | Proarrow.Category.Instance.PointedHask |
| Pointed | Proarrow.Category.Instance.PointedHask |
| PointwiseLeftKanExtension | Proarrow.Profunctor.Instance.Rift |
| PointwiseLeftKanLift | Proarrow.Profunctor.Instance.Ran |
| PointwiseRightKanExtension | Proarrow.Profunctor.Instance.Ran |
| PointwiseRightKanLift | Proarrow.Profunctor.Instance.Rift |
| Poly | Proarrow.Category.Instance.Fam |
| pop | Proarrow.Category.Instance.FinRel |
| Port | Proarrow.Tools.Diagrams.Dot |
| Pos | Proarrow.Category.Instance.Duploid |
| Pow | |
| 1 (Type/Class) | Proarrow.Optic.PowerGrate |
| 2 (Data Constructor) | Proarrow.Optic.PowerGrate |
| Power | |
| 1 (Data Constructor) | Proarrow.Limit.Power |
| 2 (Data Constructor) | Proarrow.Category.Instance.Nat |
| power | Proarrow.Limit.Power |
| Powered | Proarrow.Limit.Power |
| PowerGrate | Proarrow.Optic.PowerGrate, Proarrow.Optics, Proarrow |
| powerGrate | Proarrow.Optic.PowerGrate, Proarrow.Optics, Proarrow |
| PowerGrate' | Proarrow.Optic.PowerGrate, Proarrow.Optics, Proarrow |
| PowerGrateFl | Proarrow.Optic.PowerGrate |
| powerGrateOf | Proarrow.Optic.PowerGrate, Proarrow.Optics, Proarrow |
| powerGrateP | Proarrow.Optic.PowerGrate |
| PowerLimit | Proarrow.Limit |
| PR | Proarrow.Limit.BinaryProduct |
| Prd | Proarrow.Limit.BinaryProduct |
| Precomp | Proarrow.Category.Monoidal.Endo |
| Prelude | |
| 1 (Type/Class) | Proarrow.Functor, Proarrow |
| 2 (Data Constructor) | Proarrow.Functor, Proarrow |
| premon | Proarrow.Category.Monoidal.Strength |
| Preorder | Proarrow.Category.Instance.Rel |
| Presheaf | Proarrow.Functor |
| preview | Proarrow.Optic.AffineFold, Proarrow.Optics, Proarrow |
| previewP | Proarrow.Optic.AffineFold |
| Prism | Proarrow.Optic.Prism, Proarrow.Optics, Proarrow |
| prism | Proarrow.Optic.Prism, Proarrow.Optics, Proarrow |
| Prism' | Proarrow.Optic.Prism, Proarrow.Optics, Proarrow |
| PrismFl | Proarrow.Optic.Prism |
| proact | Proarrow.Optic |
| Proadjunction | Proarrow.Adjunction |
| Procomonad | Proarrow.Promonad |
| PROD | |
| 1 (Type/Class) | Proarrow.Limit.BinaryProduct |
| 2 (Type/Class) | Proarrow.Category.Instance.FreeBiCCC, Proarrow.Tools.CCC |
| Prod | |
| 1 (Type/Class) | Proarrow.Limit.BinaryProduct |
| 2 (Data Constructor) | Proarrow.Limit.BinaryProduct |
| prod | Proarrow.Profunctor.Instance.Product |
| ProdAction | Proarrow.Category.Monoidal.Action |
| ProdAction' | Proarrow.Category.Monoidal.Action |
| ProdAsGraph | Proarrow.Category.Instance.Graph |
| ProdFl | Proarrow.Optic.Prod |
| prodOptic | Proarrow.Optic.Prod |
| Product | Proarrow.Limit.BinaryProduct |
| ProductLimit | Proarrow.Limit |
| productToTensor | Proarrow.Category.Monoidal.Cartesian |
| produplicate | Proarrow.Promonad |
| proextract | Proarrow.Promonad |
| Prof | |
| 1 (Type/Class) | Proarrow.Category.Instance.Prof |
| 2 (Data Constructor) | Proarrow.Category.Instance.Prof |
| 3 (Data Constructor) | Proarrow.Path |
| prof2ex | Proarrow.Optic |
| Profunctor | Proarrow.Core, Proarrow |
| project | Proarrow.Profunctor.Instance.Fix |
| project' | Proarrow.Profunctor.Instance.Fix |
| ProjJ | Proarrow.Category.Instance.Graph |
| ProjK | Proarrow.Category.Instance.Graph |
| ProjTo2 | Proarrow.Category.Instance.Collage |
| Promonad | Proarrow.Core, Proarrow.Promonad, Proarrow |
| Promonoid | Proarrow.Category.Promonoidal |
| PromonoidalProfunctor | Proarrow.Category.Promonoidal |
| ProObj | Proarrow.Category.Enriched |
| propAdjunction | Proarrow.Testing.Laws |
| propBinaryCoproducts | Proarrow.Testing.Laws |
| propBinaryCoproducts_ | Proarrow.Testing.Laws |
| propBinaryProducts | Proarrow.Testing.Laws |
| propBinaryProducts_ | Proarrow.Testing.Laws |
| propCartesian | Proarrow.Testing.Laws |
| propCartesianAt | Proarrow.Testing.Laws |
| propCartesian_ | Proarrow.Testing.Laws |
| propCategory | Proarrow.Testing.Laws |
| propClosed | Proarrow.Testing.Laws |
| propClosed_ | Proarrow.Testing.Laws |
| propCocommutativeComonoid | Proarrow.Testing.Laws |
| propCoequalizers | Proarrow.Testing.Laws |
| propCoequalizers_ | Proarrow.Testing.Laws |
| propCommutativeMonoid | Proarrow.Testing.Laws |
| propCompactClosed | Proarrow.Testing.Laws |
| propCompactClosed_ | Proarrow.Testing.Laws |
| propCopyDiscard | Proarrow.Testing.Laws |
| propCopyDiscard_ | Proarrow.Testing.Laws |
| propCorepresentable | Proarrow.Testing.Laws |
| propDistributive | Proarrow.Testing.Laws |
| propDistributive_ | Proarrow.Testing.Laws |
| propEqualizers | Proarrow.Testing.Laws |
| propEqualizers_ | Proarrow.Testing.Laws |
| propFrobenius | Proarrow.Testing.Laws |
| propFunctor | Proarrow.Testing.Laws |
| propHypergraph | Proarrow.Testing.Laws |
| propHypergraph_ | Proarrow.Testing.Laws |
| propInitialObject | Proarrow.Testing.Laws |
| propIso | Proarrow.Testing.Laws |
| propIso' | Proarrow.Testing.Laws |
| propIsoP | Proarrow.Testing.Laws |
| propMonoid | Proarrow.Testing.Laws |
| propMonoidal | Proarrow.Testing.Laws |
| propMonoidal_ | Proarrow.Testing.Laws |
| propNaturalIsoP | Proarrow.Testing.Laws |
| propNaturalTransformation | Proarrow.Testing.Laws |
| propProfunctor | Proarrow.Testing.Laws |
| propProfunctorWith | Proarrow.Testing.Laws |
| propPullbacks | Proarrow.Testing.Laws |
| propPullbacks_ | Proarrow.Testing.Laws |
| propPushouts | Proarrow.Testing.Laws |
| propPushouts_ | Proarrow.Testing.Laws |
| propRepresentable | Proarrow.Testing.Laws |
| propStarAutonomous | Proarrow.Testing.Laws |
| propStarAutonomous_ | Proarrow.Testing.Laws |
| propSymMonoidal | Proarrow.Testing.Laws |
| propSymMonoidal_ | Proarrow.Testing.Laws |
| propTerminalObject | Proarrow.Testing.Laws |
| Prostrong | Proarrow.Optic |
| PROTENSOR | Proarrow.Category.Promonoidal |
| Protensor | Proarrow.Category.Promonoidal |
| Prune | Proarrow.Monoid |
| Pt | Proarrow.Category.Instance.PointedHask |
| PTracer | Proarrow.Optic.Tracer |
| PTraversal | Proarrow.Optic.MonoidalTraversal, Proarrow.Optics, Proarrow |
| PTraversal' | Proarrow.Optic.MonoidalTraversal, Proarrow.Optics, Proarrow |
| PTraversalFull | Proarrow.Optic.MonoidalTraversal, Proarrow.Optics, Proarrow |
| Pullback | Proarrow.Category.Instance.Cospan |
| pullback | Proarrow.Limit.Pullback |
| pullbackDefault | Proarrow.Limit.Equalizer |
| Pure | Proarrow.Profunctor.Free |
| pure | Proarrow.Category.Monoidal.Applicative |
| push | Proarrow.Category.Instance.FinRel |
| Pushout | Proarrow.Category.Instance.Cospan |
| pushout | Proarrow.Colimit.Pushout |
| pushoutComplement | Proarrow.Tools.DPO |
| pushoutComplementGraph | Proarrow.Tools.DPO.Graph |
| pushoutDefault | Proarrow.Colimit.Coequalizer |
| pushoutGraph | Proarrow.Tools.DPO.Graph |
| put | Proarrow.Promonad.State |
| putP | Proarrow.Optic.Lens |
| PWLan | Proarrow.Profunctor.Instance.Rift |
| PWLift | Proarrow.Profunctor.Instance.Ran |
| PWRan | Proarrow.Profunctor.Instance.Ran |
| PWRift | Proarrow.Profunctor.Instance.Rift |