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.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
par0Corep	Proarrow.Category.Monoidal
par0Rep	Proarrow.Category.Monoidal
parAppL	Proarrow.Category.Instance.Linear
parAppR	Proarrow.Category.Instance.Linear
parCorep	Proarrow.Category.Monoidal
parN	Proarrow.Category.Promonoidal
parRep	Proarrow.Category.Monoidal
Path	Proarrow.Category.Bicategory.Strictified
PCons	Proarrow.Category.Promonoidal
PK	Proarrow.Category.Bicategory.Prof
PLAIN	Proarrow.Category.Bicategory.CategoryAsBi
PLAINK	Proarrow.Category.Bicategory.CategoryAsBi
PList	Proarrow.Category.Promonoidal
plusMonotone	Proarrow.Category.Instance.Cost
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
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
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
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