A
B
C
D
E
F
G
H
I
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
:
!
#
$
%
&
*
+
.
/
<
=
?
@
\
^
|
-
~
_
All

Index - P

P
1 (Type/Class)	Proarrow.Category.Instance.PointedHask
2 (Type/Class)	Proarrow.Category.Instance.Duploid
3 (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.Instance.Free
2 (Type/Class)	Proarrow.Category.Instance.Linear
3 (Data Constructor)	Proarrow.Category.Instance.Linear
par	Proarrow.Category.Monoidal
Par0	Proarrow.Category.Instance.Free
par0	Proarrow.Category.Monoidal
par0Action	Proarrow.Category.Monoidal.Action
par0Corep	Proarrow.Category.Monoidal
par0Rep	Proarrow.Category.Monoidal
par1Optic	Proarrow.Category.Monoidal.Optic
parAction	Proarrow.Category.Monoidal.Action
parAppL	Proarrow.Category.Instance.Linear
parAppR	Proarrow.Category.Instance.Linear
parCorep	Proarrow.Category.Monoidal
parN	Proarrow.Category.Promonoidal
parRep	Proarrow.Category.Monoidal
Pastro
1 (Type/Class)	Proarrow.Profunctor.PastroTambara
2 (Data Constructor)	Proarrow.Profunctor.PastroTambara
pastro	Proarrow.Profunctor.PastroTambara
Path	Proarrow.Category.Bicategory.Strictified
PCons	Proarrow.Category.Promonoidal
pi0	Proarrow.Category.Equipment.Stateful
pi1	Proarrow.Category.Equipment.Stateful
Pick	Proarrow.Category.Instance.Simplex
pick	Proarrow.Category.Instance.FinRel
PK	Proarrow.Category.Bicategory.Prof
PLAIN	Proarrow.Category.Bicategory.CategoryAsBi
PLAINK	Proarrow.Category.Bicategory.CategoryAsBi
PList	Proarrow.Category.Promonoidal
plusMonotone	Proarrow.Category.Instance.Cost
plusOptic	Proarrow.Category.Monoidal.Optic
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.Rift
PointwiseLeftKanLift	Proarrow.Profunctor.Ran
PointwiseRightKanExtension	Proarrow.Profunctor.Ran
PointwiseRightKanLift	Proarrow.Profunctor.Rift
Poly	Proarrow.Category.Instance.Fam
pop	Proarrow.Category.Instance.FinRel
Port	Proarrow.Tools.Diagrams.Dot
Pos	Proarrow.Category.Instance.Duploid
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
Prelude
1 (Type/Class)	Proarrow.Functor, Proarrow
2 (Data Constructor)	Proarrow.Functor, Proarrow
preludeTraverse	Proarrow.Profunctor.Star
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
Proadjunction	Proarrow.Adjunction
Procomonad	Proarrow.Promonad
PROD
1 (Data Constructor)	Proarrow.Category.Bicategory.Product
2 (Type/Class)	Proarrow.Object.BinaryProduct
Prod
1 (Type/Class)	Proarrow.Category.Bicategory.Product
2 (Data Constructor)	Proarrow.Category.Bicategory.Product
3 (Type/Class)	Proarrow.Object.BinaryProduct
4 (Data Constructor)	Proarrow.Object.BinaryProduct
prod	Proarrow.Profunctor.Product
ProdAction	Proarrow.Object.BinaryProduct
PRODFST	Proarrow.Category.Bicategory.Product
PRODK	Proarrow.Category.Bicategory.Product
prodObj	Proarrow.Category.Bicategory.Limit
PRODSND	Proarrow.Category.Bicategory.Product
Product	Proarrow.Category.Bicategory.Limit
ProductLimit	Proarrow.Category.Limit
prodUniv	Proarrow.Category.Bicategory.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
ProfRep	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
Pullback	Proarrow.Category.Instance.Cospan
pullback	Proarrow.Object.Pullback
Pure	Proarrow.Profunctor.Free
pure	Proarrow.Category.Monoidal.Applicative
push	Proarrow.Category.Instance.FinRel
Pushout	Proarrow.Category.Instance.Cospan
pushout	Proarrow.Object.Pushout
put	Proarrow.Promonad.State
PWLan	Proarrow.Profunctor.Rift
PWLift	Proarrow.Profunctor.Ran
PWRan	Proarrow.Profunctor.Ran
PWRift	Proarrow.Profunctor.Rift