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
add	Proarrow.Object.NaturalNumbers
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
AdjComonad	Proarrow.Adjunction
adjCounit	Proarrow.Category.Bicategory
AdjCup	Proarrow.Category.Bicategory.Adj
adjFromConverse	Proarrow.Category.Instance.Rel
ADJK	Proarrow.Category.Bicategory.Adj
AdjL	Proarrow.Category.Bicategory.Adj
AdjMonad	Proarrow.Adjunction
AdjNil	Proarrow.Category.Bicategory.Adj
AdjointEquivalence	Proarrow.Adjunction
AdjR	Proarrow.Category.Bicategory.Adj
adjToConverse	Proarrow.Category.Instance.Rel
adjuncted	Proarrow.Adjunction
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
Ambidextrous	Proarrow.Adjunction
AmbidextrousEqCorep	Proarrow.Adjunction
AmbidextrousEqRep	Proarrow.Adjunction
ana	Proarrow.Profunctor.Fix
answer	Proarrow.Promonad.Reader
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.FinRel
6 (Function)	Proarrow.Category.Instance.Ap
7 (Function)	Proarrow.Category.Instance.Mat
8 (Function)	Proarrow.Category.Instance.Kleisli
arr'
1 (Function)	Proarrow.Category.Enriched.Thin
2 (Function)	Proarrow.Category.Instance.Mat
arrCoprod	Proarrow.Category.Instance.Collage
ARROW
1 (Type/Class)	Proarrow.Category.Instance.Graph
2 (Type/Class)	Proarrow.Category.Instance.Bool
ArrowIsId	Proarrow.Category.Enriched.Thin
arrowIsIdProof	Proarrow.Category.Enriched.Thin
asCocat	Proarrow.Category.Instance.Linear
asImplication	Proarrow.Category.Instance.Rel
ask	Proarrow.Promonad.Reader
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