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.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
parallel	Proarrow.Category.Monoidal.Optic
parAppL	Proarrow.Category.Instance.Linear
parAppR	Proarrow.Category.Instance.Linear
parN	Proarrow.Category.Promonoidal
Path	Proarrow.Category.Bicategory.Strictified
PC	Proarrow.Category.Instance.PreorderAsCategory
PCons	Proarrow.Category.Promonoidal
pi0	Proarrow.Category.Equipment.Stateful
pi1	Proarrow.Category.Equipment.Stateful
PK	Proarrow.Category.Bicategory.Prof
PLAIN	Proarrow.Category.Bicategory.CategoryAsBi
PLAINK	Proarrow.Category.Bicategory.CategoryAsBi
PList	Proarrow.Category.Promonoidal
plus	Proarrow.Category.Equipment.Stateful
plusState	Proarrow.Category.Instance.ZX
PNil	Proarrow.Category.Promonoidal
PoAsCat
1 (Type/Class)	Proarrow.Category.Instance.PreorderAsCategory
2 (Data Constructor)	Proarrow.Category.Instance.PreorderAsCategory
POCATK	Proarrow.Category.Instance.PreorderAsCategory
POINTED	Proarrow.Category.Instance.PointedHask
Pointed	Proarrow.Category.Instance.PointedHask
POS	Proarrow.Preorder
Power
1 (Data Constructor)	Proarrow.Object.Power
2 (Data Constructor)	Proarrow.Category.Instance.Nat
power	Proarrow.Object.Power
Powered	Proarrow.Object.Power
PowerLimit
1 (Type/Class)	Proarrow.Category.Limit
2 (Data Constructor)	Proarrow.Category.Limit
PR	Proarrow.Object.BinaryProduct
Prd	Proarrow.Category.Instance.Free
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
PreorderOf	Proarrow.Preorder
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
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
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
1 (Type/Class)	Proarrow.Category.Limit
2 (Data Constructor)	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
Promonoid	Proarrow.Category.Promonoidal
PromonoidalProfunctor	Proarrow.Category.Promonoidal
PROTENSOR	Proarrow.Category.Promonoidal
Protensor	Proarrow.Category.Promonoidal
Pt	Proarrow.Category.Instance.PointedHask
Pure	Proarrow.Profunctor.Free
pure	Proarrow.Category.Monoidal.Applicative