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
Action
1 (Type/Class)	Proarrow.Category.Monoidal.Action
2 (Data Constructor)	Proarrow.Category.Monoidal.Action
action	Proarrow.Monoid, Proarrow
Action'	Proarrow.Category.Monoidal.Action
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
4 (Type/Class)	Proarrow.Adjunction
5 (Data Constructor)	Proarrow.Adjunction
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
Any	Proarrow.Core
anyArr
1 (Function)	Proarrow.Category.Enriched.Thin
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
Apex	Proarrow.Object.Pullback
App	Proarrow.Category.Instance.Mat
app	Proarrow.Category.Instance.Mat
append	Proarrow.Category.Bicategory.Strictified
Applicative	Proarrow.Category.Monoidal.Applicative
Apply	Proarrow.Object.Exponential
apply	Proarrow.Object.Exponential
applyHG	Proarrow.Category.Monoidal.Hypergraph
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.Thin
3 (Function)	Proarrow.Category.Instance.Span
4 (Function)	Proarrow.Category.Instance.Cospan
5 (Function)	Proarrow.Category.Instance.Mat
6 (Function)	Proarrow.Category.Instance.FinRel
7 (Function)	Proarrow.Category.Instance.Ap
8 (Function)	Proarrow.Category.Instance.Kleisli
arr'
1 (Function)	Proarrow.Category.Enriched.Thin
2 (Function)	Proarrow.Category.Instance.Mat
arrCoprod	Proarrow.Category.Instance.Collage
ArrowIsId	Proarrow.Category.Enriched.Thin
arrowIsIdProof	Proarrow.Category.Enriched.Thin
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.Instance.Free
associator
1 (Function)	Proarrow.Category.Bicategory
2 (Function)	Proarrow.Category.Monoidal
associator'
1 (Function)	Proarrow.Category.Bicategory
2 (Function)	Proarrow.Category.Monoidal
associatorCoprod	Proarrow.Object.BinaryCoproduct
associatorCoprodInv	Proarrow.Object.BinaryCoproduct
AssociatorInv	Proarrow.Category.Instance.Free
associatorInv
1 (Function)	Proarrow.Category.Bicategory
2 (Function)	Proarrow.Category.Monoidal
associatorInv'
1 (Function)	Proarrow.Category.Bicategory
2 (Function)	Proarrow.Category.Monoidal
associatorIso	Proarrow.Category.Monoidal
associatorProd	Proarrow.Object.BinaryProduct
associatorProdInv	Proarrow.Object.BinaryProduct