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
absorbL	Proarrow.Category.Monoidal.Distributive
absorbR	Proarrow.Category.Monoidal.Distributive
Absurd	Proarrow.Category.Instance.Zero
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.Strength
actHom	Proarrow.Category.Monoidal.Action
add	Proarrow.Colimit.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
AlgAction	Proarrow.Category.Monoidal.Optic
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
Align	Proarrow.Category.Instance.PointedHask
alignWith	Proarrow.Category.Instance.PointedHask
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.Instance.Fix
and	Proarrow.Category.Topos
answer	Proarrow.Promonad.Reader
Any	Proarrow.Core
anyArr
1 (Function)	Proarrow.Category.Enriched.Thin
2 (Function)	Proarrow.Category.Instance.Discrete
AnyColimit
1 (Type/Class)	Proarrow.Colimit
2 (Data Constructor)	Proarrow.Colimit
AnyLimit
1 (Type/Class)	Proarrow.Limit
2 (Data Constructor)	Proarrow.Limit
AP	Proarrow.Category.Instance.Ap
Ap
1 (Type/Class)	Proarrow.Category.Instance.Ap
2 (Data Constructor)	Proarrow.Category.Instance.Ap
3 (Type/Class)	Proarrow.Profunctor.Free
ap
1 (Function)	Proarrow.Category.Monoidal.Closed
2 (Function)	Proarrow.Category.Monoidal.Applicative
Apex	Proarrow.Profunctor.Instance.Cone
App	Proarrow.Category.Instance.Mat
app	Proarrow.Category.Instance.Mat
append	Proarrow.Category.Bicategory.Strictified
Applicative	Proarrow.Category.Monoidal.Applicative
Apply
1 (Data Constructor)	Proarrow.Category.Monoidal.Closed
2 (Type/Class)	Proarrow.Category.Instance.CatFun
apply	Proarrow.Category.Monoidal.Closed
ApplyAction	Proarrow.Category.Instance.Nat
ApplyAction'	Proarrow.Category.Instance.Nat
applyHG	Proarrow.Category.Monoidal.Hypergraph
applyS	Proarrow.Category.Monoidal.Closed
applySA	Proarrow.Category.Monoidal.StarAutonomous
Arr
1 (Data Constructor)	Proarrow.Category.Instance.Discrete
2 (Type/Class)	Proarrow.Profunctor.Instance.Arrow
3 (Data Constructor)	Proarrow.Profunctor.Instance.Arrow
arr
1 (Function)	Proarrow.Core
2 (Function)	Proarrow.Category.Enriched.Thin
3 (Function)	Proarrow.Category.Instance.Ap
4 (Function)	Proarrow.Category.Instance.Span
5 (Function)	Proarrow.Category.Instance.Cospan
6 (Function)	Proarrow.Category.Instance.FinRel
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
arrowIsBottomProof	Proarrow.Category.Enriched.Thin
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	Proarrow.Category.Bicategory.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.Colimit.BinaryCoproduct
associatorCoprodInv	Proarrow.Colimit.BinaryCoproduct
associatorDefault	Proarrow.Category.Monoidal
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.Limit.BinaryProduct
associatorProdInv	Proarrow.Limit.BinaryProduct
At1
1 (Type/Class)	Proarrow.Limit
2 (Type/Class)	Proarrow.Colimit
At2
1 (Type/Class)	Proarrow.Limit
2 (Type/Class)	Proarrow.Colimit