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.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
Poly	Proarrow.Category.Instance.Fam
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
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, 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
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