proarrow-0: Category theory with a central role for profunctors
User Comments
Contents
Index
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 (Data Constructor)
Proarrow.Category.Instance.PointedHask
2 (Type/Class)
Proarrow.Category.Instance.PointedHask
3 (Type/Class)
Proarrow.Category.Bicategory.Prof
, Proarrow.Category.Bicategory.Hom
par
Proarrow.Category.Monoidal
par0
Proarrow.Category.Monoidal
parallel
Proarrow.Category.Monoidal.Optic
Path
Proarrow.Category.Bicategory.Strictified
PC
Proarrow.Category.Instance.PreorderAsCategory
PK
Proarrow.Category.Bicategory.Prof
PLAIN
Proarrow.Category.Bicategory.CategoryAsBi
PLAINK
Proarrow.Category.Bicategory.CategoryAsBi
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
PR
Proarrow.Object.BinaryProduct
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
PreorderOf
Proarrow.Preorder
Previewing
1 (Type/Class)
Proarrow.Category.Monoidal.Optic
2 (Data Constructor)
Proarrow.Category.Monoidal.Optic
Prism
Proarrow.Category.Monoidal.Optic
PRO
Proarrow.Core
,
Proarrow.Profunctor
, Proarrow
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
PRODFST
Proarrow.Category.Bicategory.Product
PRODK
Proarrow.Category.Bicategory.Product
PRODSND
Proarrow.Category.Bicategory.Product
ProductLimit
1 (Type/Class)
Proarrow.Category.Limit
2 (Data Constructor)
Proarrow.Category.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.Category.Monoidal.Optic
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
Pure
Proarrow.Profunctor.Free
pure
Proarrow.Category.Monoidal.Applicative