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 - A

A
1 (Type/Class)	Proarrow.Category.Bicategory.Adj
2 (Type/Class)	Proarrow.Category.Instance.Ap
AB	Proarrow.Category.Bicategory.Adj
ABK	Proarrow.Category.Bicategory.Adj
absurdL	Proarrow.Category.Instance.Fin
absurdR	Proarrow.Category.Instance.Fin
Act	Proarrow.Category.Monoidal.Action
act
1 (Function)	Proarrow.Category.Bicategory.Relative
2 (Function)	Proarrow.Category.Monoidal.Action
actHom	Proarrow.Category.Monoidal.Action
action	Proarrow.Monoid, Proarrow
ActIsCoprod	Proarrow.Object.BinaryCoproduct
ActIsProd	Proarrow.Object.BinaryProduct
ActIsProd3	Proarrow.Object.BinaryProduct
ActIsTensor	Proarrow.Category.Monoidal.Action
ActIsTensor3	Proarrow.Category.Monoidal.Action
Adj
1 (Type/Class)	Proarrow.Category.Bicategory
2 (Data Constructor)	Proarrow.Category.Bicategory
3 (Type/Class)	Proarrow.Category.Bicategory.Adj
adj	Proarrow.Category.Bicategory
AdjCap	Proarrow.Category.Bicategory.Adj
adjCounit	Proarrow.Category.Bicategory
AdjCup	Proarrow.Category.Bicategory.Adj
adjFromConverse	Proarrow.Category.Instance.Rel
ADJK	Proarrow.Category.Bicategory.Adj
AdjL	Proarrow.Category.Bicategory.Adj
AdjNil	Proarrow.Category.Bicategory.Adj
AdjR	Proarrow.Category.Bicategory.Adj
adjToConverse	Proarrow.Category.Instance.Rel
Adjunction
1 (Type/Class)	Proarrow.Category.Bicategory
2 (Type/Class)	Proarrow.Category.Bicategory.Relative
3 (Type/Class)	Proarrow.Adjunction
Adjunction_	Proarrow.Category.Bicategory
adjUnit	Proarrow.Category.Bicategory
AK	Proarrow.Category.Bicategory.Adj
Algebra
1 (Type/Class)	Proarrow.Category.Bicategory.Relative
2 (Type/Class)	Proarrow.Category.Monoidal.Optic
algebra	Proarrow.Category.Monoidal.Optic
AlgebraicLens	Proarrow.Category.Monoidal.Optic
All	Proarrow.Category.Instance.Free
alt	Proarrow.Category.Monoidal.Applicative
Alternative	Proarrow.Category.Monoidal.Applicative
ana	Proarrow.Profunctor.Fix
AnIso	Proarrow.Core
Any	Proarrow.Core
anyArr
1 (Function)	Proarrow.Category.Enriched.ThinCategory
2 (Function)	Proarrow.Category.Instance.Discrete
AP	Proarrow.Category.Instance.Ap
Ap
1 (Type/Class)	Proarrow.Profunctor.Free
2 (Type/Class)	Proarrow.Category.Instance.Ap
3 (Data Constructor)	Proarrow.Category.Instance.Ap
ap
1 (Function)	Proarrow.Object.Exponential
2 (Function)	Proarrow.Category.Monoidal.Applicative
app	Proarrow.Category.Instance.Mat
append
1 (Function)	Proarrow.Category.Bicategory.Strictified
2 (Function)	Proarrow.Category.Instance.Mat
Applicative	Proarrow.Category.Monoidal.Applicative
Apply	Proarrow.Object.Exponential
apply	Proarrow.Object.Exponential
applySA	Proarrow.Object.Dual
Arr
1 (Data Constructor)	Proarrow.Category.Instance.Discrete
2 (Type/Class)	Proarrow.Profunctor.Arrow
3 (Data Constructor)	Proarrow.Profunctor.Arrow
arr
1 (Function)	Proarrow.Core
2 (Function)	Proarrow.Category.Enriched.ThinCategory
3 (Function)	Proarrow.Category.Instance.Ap
4 (Function)	Proarrow.Category.Instance.Kleisli
arr'	Proarrow.Category.Enriched.ThinCategory
arrCoprod	Proarrow.Category.Instance.Collage
ArrowIsId	Proarrow.Category.Enriched.ThinCategory
arrowIsIdProof	Proarrow.Category.Enriched.ThinCategory
asCocat	Proarrow.Category.Instance.Linear
asImplication	Proarrow.Category.Instance.Rel
AsLeftAdjoint
1 (Type/Class)	Proarrow.Universal, Proarrow
2 (Data Constructor)	Proarrow.Universal, Proarrow
asObj	Proarrow.Category.Bicategory.Strictified
AsPresheaf
1 (Type/Class)	Proarrow.Category.Instance.Fam
2 (Data Constructor)	Proarrow.Category.Instance.Fam
AsRightAdjoint
1 (Type/Class)	Proarrow.Universal, Proarrow
2 (Data Constructor)	Proarrow.Universal, Proarrow
Assoc
1 (Type/Class)	Proarrow.Category.Bicategory.Strictified
2 (Type/Class)	Proarrow.Category.Monoidal.Strictified
Associator	Proarrow.Category.Monoidal
associator
1 (Function)	Proarrow.Category.Bicategory
2 (Function)	Proarrow.Category.Monoidal
associator'
1 (Function)	Proarrow.Category.Bicategory
2 (Function)	Proarrow.Category.Monoidal
AssociatorInv	Proarrow.Category.Monoidal
associatorInv
1 (Function)	Proarrow.Category.Bicategory
2 (Function)	Proarrow.Category.Monoidal
associatorInv'
1 (Function)	Proarrow.Category.Bicategory
2 (Function)	Proarrow.Category.Monoidal
associatorProd	Proarrow.Object.BinaryProduct
associatorProdInv	Proarrow.Object.BinaryProduct