Index

!
1 (Function)	Proarrow.Category.Instance.Nat
2 (Function)	Proarrow.Tools.Diagrams.Dot
!~>	Proarrow.Category.Instance.Linear
#	Proarrow.Profunctor.Constant
$	Proarrow.Tools.CCC
%
1 (Function)	Proarrow.Optic
2 (Type/Class)	Proarrow.Profunctor.Representable
%%	Proarrow.Profunctor.Corepresentable
%~	Proarrow.Category.Monoidal.Optic
&&	Proarrow.Object.BinaryProduct
&&&
1 (Type/Class)	Proarrow.Category.Bicategory.Limit
2 (Function)	Proarrow.Object.BinaryProduct
*	Proarrow.Category.Instance.Mat
*!
1 (Type/Class)	Proarrow.Object.BinaryProduct
2 (Type/Class)	Proarrow.Tools.CCC
**	Proarrow.Category.Monoidal
**!	Proarrow.Category.Instance.Free
***	Proarrow.Object.BinaryProduct
*.	Proarrow.Object.Copower
+
1 (Type/Class)	Proarrow.Object.BinaryCoproduct
2 (Type/Class)	Proarrow.Category.Instance.Simplex
3 (Type/Class)	Proarrow.Category.Instance.Mat
4 (Type/Class)	Proarrow.Tools.CCC
++	Proarrow.Category.Monoidal.Strictified
+++
1 (Type/Class)	Proarrow.Category.Bicategory.Strictified
2 (Function)	Proarrow.Object.BinaryCoproduct
3 (Function)	Proarrow.Tools.Diagrams.Dot
+->	Proarrow.Core, Proarrow.Profunctor, Proarrow
-->
1 (Type/Class)	Proarrow.Object.Exponential
2 (Type/Class)	Proarrow.Tools.CCC
.	Proarrow.Core, Proarrow.Promonad, Proarrow
.->	Proarrow.Category.Instance.Nat
.?	Proarrow.Category.Monoidal.Optic
.~	Proarrow.Category.Monoidal.Optic
.~>	Proarrow.Functor, Proarrow
//	Proarrow.Core, Proarrow.Profunctor, Proarrow
:&	Proarrow.Tools.CCC
:&&&:
1 (Type/Class)	Proarrow.Category.Instance.Cat
2 (Data Constructor)	Proarrow.Category.Instance.Cat
:&&:
1 (Type/Class)	Proarrow.Optic
2 (Type/Class)	Proarrow.Category.Instance.Fam
3 (Data Constructor)	Proarrow.Category.Instance.Fam
:**:
1 (Type/Class)	Proarrow.Category.Instance.Product
2 (Data Constructor)	Proarrow.Category.Instance.Product
:*.:
1 (Type/Class)	Proarrow.Object.Copower
2 (Type/Class)	Proarrow.Category.Instance.Nat
:*:
1 (Type/Class)	Proarrow.Profunctor.Product
2 (Data Constructor)	Proarrow.Profunctor.Product
:++:	Proarrow.Category.Instance.Coproduct
:+:	Proarrow.Profunctor.Coproduct
:-	Proarrow.Category.Instance.Constraint
:.:
1 (Type/Class)	Proarrow.Profunctor.Composition
2 (Data Constructor)	Proarrow.Profunctor.Composition
:::	Proarrow.Category.Bicategory.Strictified
:=>
1 (Type/Class)	Proarrow.Optic
2 (Type/Class)	Proarrow.Category.Instance.Constraint
:^:
1 (Type/Class)	Proarrow.Object.Power
2 (Type/Class)	Proarrow.Category.Instance.Nat
:\|\|\|:	Proarrow.Category.Instance.Fam
:~>	Proarrow.Core
:~>:
1 (Type/Class)	Proarrow.Profunctor.Exponential
2 (Type/Class)	Proarrow.Category.Instance.Nat
<\|
1 (Type/Class)	Proarrow.Category.Bicategory.Kan
2 (Type/Class)	Proarrow.Profunctor.Rift
<~~	Proarrow.Object.Coexponential
==
1 (Function)	Proarrow.Category.Bicategory
2 (Function)	Proarrow.Category.Monoidal
3 (Function)	Proarrow.Category.Monoidal.Strictified
===	Proarrow.Squares
?.	Proarrow.Category.Monoidal.Optic
@	Proarrow.Functor, Proarrow, Proarrow
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
B	Proarrow.Category.Bicategory.Adj
baseTraverse	Proarrow.Category.Monoidal.Distributive
Bicategory	Proarrow.Category.Bicategory
BiCCC	Proarrow.Object.Exponential
Bidiscrete
1 (Type/Class)	Proarrow.Category.Bicategory.Bidiscrete
2 (Data Constructor)	Proarrow.Category.Bicategory.Bidiscrete
bimap	Proarrow.Category.Instance.Nat
Bimodule	Proarrow.Category.Bicategory
bind	Proarrow.Profunctor.Representable
bindRep	Proarrow.Adjunction
bit	Proarrow.Category.Instance.FinRel
Bitstring
1 (Type/Class)	Proarrow.Category.Instance.ZX
2 (Type/Class)	Proarrow.Category.Instance.FinRel
BOOL	Proarrow.Category.Instance.Bool
boolArr	Proarrow.Category.Instance.Bool
Booleans	Proarrow.Category.Instance.Bool
boolId	Proarrow.Category.Instance.Bool
Bottom	Proarrow.Category.Instance.Zero
BS
1 (Data Constructor)	Proarrow.Category.Instance.ZX
2 (Data Constructor)	Proarrow.Category.Instance.FinRel
C	Proarrow.Category.Instance.Cost
C0	Proarrow.Object.Pullback
C1	Proarrow.Object.Pullback
CanEqShow	Proarrow.Category.Instance.Free
cap
1 (Function)	Proarrow.Category.Monoidal.Hypergraph
2 (Function)	Proarrow.Category.Instance.ZX
Cartesian	Proarrow.Object.BinaryProduct
caseLr	Proarrow.Category.Instance.Coproduct
CAT	Proarrow.Core, Proarrow.Category, Proarrow
Cat
1 (Type/Class)	Proarrow.Category.Instance.Cat
2 (Data Constructor)	Proarrow.Category.Instance.Cat
cata	Proarrow.Profunctor.Fix
CatAsComonoid
1 (Type/Class)	Proarrow.Category.Instance.Nat
2 (Data Constructor)	Proarrow.Category.Instance.Nat
Category	Proarrow.Category.Bicategory.CategoryAsBi
CategoryOf	Proarrow.Core, Proarrow.Category, Proarrow
CCC	Proarrow.Object.Exponential
CD	Proarrow.Category.Instance.Discrete
CheckBiproduct	Proarrow.Object.BinaryCoproduct
choose	Proarrow.Category.Limit
Classifying
1 (Type/Class)	Proarrow.Category.Monoidal.Optic
2 (Data Constructor)	Proarrow.Category.Monoidal.Optic
Clone	Proarrow.Category.Enriched
Closed	Proarrow.Object.Exponential
cnot	Proarrow.Category.Instance.ZX
CNSTRNT	Proarrow.Category.Instance.Constraint
CO	Proarrow.Category.Bicategory.Co
Co
1 (Type/Class)	Proarrow.Category.Bicategory.Co
2 (Data Constructor)	Proarrow.Category.Bicategory.Co
3 (Data Constructor)	Proarrow.Profunctor.Star
coact
1 (Function)	Proarrow.Category.Bicategory.Relative
2 (Function)	Proarrow.Category.Monoidal.Action
coactCC	Proarrow.Object.Dual
Coadjunction	Proarrow.Category.Bicategory.Relative
Coalgebra	Proarrow.Category.Bicategory.Relative
Coapex	Proarrow.Object.Pushout
coarr
1 (Function)	Proarrow.Category.Instance.Span
2 (Function)	Proarrow.Category.Instance.Cospan
Cocartesian	Proarrow.Object.BinaryCoproduct
CoCCC	Proarrow.Object.Coexponential
cochoose	Proarrow.Category.Colimit
Coclosed	Proarrow.Object.Coexponential
Cocone
1 (Type/Class)	Proarrow.Object.Pushout
2 (Data Constructor)	Proarrow.Object.Pushout
Codensity	Proarrow.Category.Bicategory.Kan
codiag	Proarrow.Object.BinaryCoproduct
CODISCRETE	Proarrow.Category.Instance.Discrete
Codiscrete
1 (Type/Class)	Proarrow.Category.Enriched.Thin
2 (Type/Class)	Proarrow.Category.Instance.Discrete
CodiscreteProfunctor	Proarrow.Category.Enriched.Thin
Coend
1 (Type/Class)	Proarrow.Category.Colimit
2 (Data Constructor)	Proarrow.Category.Colimit
CoendLimit	Proarrow.Category.Colimit
coepsilon	Proarrow.Category.Bicategory.Relative
coequalizer	Proarrow.Object.Pushout
coeta	Proarrow.Category.Bicategory.Relative
coeval	Proarrow.Object.Coexponential
coevalUniv	Proarrow.Object.Coexponential
Cofree	Proarrow.Profunctor.Cofree
CofreeSub	Proarrow.Profunctor.Cofree
coindex	Proarrow.Profunctor.Corepresentable
coinj	Proarrow.Category.Bicategory.Kan
COK	Proarrow.Category.Bicategory.Co
cokernel	Proarrow.Object.Pushout
Coleg	Proarrow.Object.Pushout
Colimit
1 (Type/Class)	Proarrow.Category.Equipment.Limit
2 (Type/Class)	Proarrow.Category.Colimit
colimit
1 (Function)	Proarrow.Category.Equipment.Limit
2 (Function)	Proarrow.Category.Colimit
3 (Function)	Proarrow.Squares.Limit
colimitFromLimitAdj	Proarrow.Category.Equipment.Limit
colimitToLimitAdj	Proarrow.Category.Equipment.Limit
colimitUniv
1 (Function)	Proarrow.Category.Equipment.Limit
2 (Function)	Proarrow.Category.Colimit
3 (Function)	Proarrow.Squares.Limit
COLLAGE	Proarrow.Category.Instance.Collage
Collage	Proarrow.Category.Instance.Collage
combine
1 (Function)	Proarrow.Monoid, Proarrow
2 (Function)	Proarrow.Category.Instance.ZX
3 (Function)	Proarrow.Category.Instance.FinRel
combineAll	Proarrow.Category.Bicategory.Strictified
CombineDual	Proarrow.Category.Instance.Cat
combineDual	Proarrow.Object.Dual
combines	Proarrow.Category.Instance.FinRel
CommutativeMonoid	Proarrow.Monoid, Proarrow
Comonad
1 (Type/Class)	Proarrow.Category.Bicategory
2 (Type/Class)	Proarrow.Category.Bicategory.Relative
3 (Type/Class)	Proarrow.Profunctor.Corepresentable
Comonoid	Proarrow.Monoid, Proarrow
ComonoidAsCat
1 (Type/Class)	Proarrow.Category.Instance.Nat
2 (Data Constructor)	Proarrow.Category.Instance.Nat
Comp	Proarrow.Profunctor.Free
comp
1 (Function)	Proarrow.Object.Exponential
2 (Function)	Proarrow.Category.Enriched
CompactClosed	Proarrow.Object.Dual
compOptic	Proarrow.Category.Monoidal.Optic
compose
1 (Function)	Proarrow.Object.Pullback
2 (Function)	Proarrow.Category.Promonoidal
composeActs	Proarrow.Category.Monoidal.Action
composeCostar	Proarrow.Profunctor.Costar
composeRan	Proarrow.Category.Bicategory.Kan
composeRift	Proarrow.Category.Bicategory.Kan
composeStar	Proarrow.Profunctor.Star
compPt	Proarrow.Category.Instance.PointedHask
compSelf	Proarrow.Category.Enriched
comult
1 (Function)	Proarrow.Category.Bicategory.Relative
2 (Function)	Proarrow.Monoid, Proarrow
comultAct	Proarrow.Monoid, Proarrow
concatFold
1 (Function)	Proarrow.Category.Bicategory.Strictified
2 (Function)	Proarrow.Category.Monoidal.Strictified
Cone
1 (Type/Class)	Proarrow.Object.Pullback
2 (Data Constructor)	Proarrow.Object.Pullback
Cons
1 (Data Constructor)	Proarrow.Profunctor.List
2 (Data Constructor)	Proarrow.Profunctor.Fix
Constant	Proarrow.Profunctor.Constant
CONSTRAINT	Proarrow.Category.Instance.Constraint
Cont
1 (Type/Class)	Proarrow.Promonad.Cont
2 (Data Constructor)	Proarrow.Promonad.Cont
conv1	Proarrow.Category.Instance.Linear
conv2	Proarrow.Category.Instance.Linear
Converse
1 (Type/Class)	Proarrow.Category.Instance.Rel
2 (Data Constructor)	Proarrow.Category.Instance.Rel
coopact	Proarrow.Category.Bicategory.Relative
Coopalgebra	Proarrow.Category.Bicategory.Relative
copar	Proarrow.Object.BinaryCoproduct
copar0	Proarrow.Object.BinaryCoproduct
Copower
1 (Data Constructor)	Proarrow.Object.Copower
2 (Data Constructor)	Proarrow.Category.Instance.Nat
copower	Proarrow.Object.Copower
Copowered	Proarrow.Object.Copower
CopowerLimit	Proarrow.Category.Colimit
COPR	Proarrow.Object.BinaryCoproduct
Copresheaf	Proarrow.Functor, Proarrow
COPROD	Proarrow.Object.BinaryCoproduct
Coprod
1 (Type/Class)	Proarrow.Object.BinaryCoproduct
2 (Data Constructor)	Proarrow.Object.BinaryCoproduct
CoprodAction	Proarrow.Object.BinaryCoproduct
CoprodDom	Proarrow.Profunctor.Star
COPRODUCT	Proarrow.Category.Instance.Coproduct
coproduct	Proarrow.Profunctor.Coproduct
CoproductColimit	Proarrow.Category.Colimit
copy	Proarrow.Category.Monoidal.CopyDiscard
CopyDiscard	Proarrow.Category.Monoidal.CopyDiscard
COREP	Proarrow.Category.Instance.Rep
Corep
1 (Type/Class)	Proarrow.Profunctor.Corepresentable
2 (Data Constructor)	Proarrow.Profunctor.Corepresentable
corep	Proarrow.Profunctor.Corepresentable
COREPK	Proarrow.Category.Instance.Rep
corepMap	Proarrow.Profunctor.Corepresentable
corepObj	Proarrow.Profunctor.Corepresentable
Corepresentable	Proarrow.Profunctor.Corepresentable
CorepStar
1 (Type/Class)	Proarrow.Profunctor.Representable
2 (Data Constructor)	Proarrow.Profunctor.Representable
corun	Proarrow.Category.Bicategory.Kan
Cosink	Proarrow.Object.Pullback
COSPAN	Proarrow.Category.Instance.Cospan
Cospan
1 (Type/Class)	Proarrow.Category.Instance.Cospan
2 (Data Constructor)	Proarrow.Category.Instance.Cospan
COST	Proarrow.Category.Instance.Cost
Costar
1 (Data Constructor)	Proarrow.Profunctor.Costar
2 (Type/Class)	Proarrow.Profunctor.Costar
Costar'
1 (Type/Class)	Proarrow.Profunctor.Costar
2 (Data Constructor)	Proarrow.Profunctor.Costar
costArr	Proarrow.Category.Instance.Cost
Costate	Proarrow.Category.Monoidal
costrength	Proarrow.Category.Monoidal.Action
Costrong	Proarrow.Category.Monoidal.Action
cotabulate	Proarrow.Profunctor.Corepresentable
Cotight	Proarrow.Category.Equipment
CotightAdj	Proarrow.Category.Bicategory.Adj
CotightAdjoint	Proarrow.Category.Equipment
Cotraversable	Proarrow.Category.Monoidal.Distributive
cotraverse	Proarrow.Category.Monoidal.Distributive
counit
1 (Function)	Proarrow.Category.Bicategory
2 (Function)	Proarrow.Category.Bicategory.Relative
3 (Function)	Proarrow.Monoid, Proarrow
4 (Function)	Proarrow.Category.Instance.Linear
5 (Function)	Proarrow.Adjunction
6 (Function)	Proarrow.Squares
counitAct	Proarrow.Monoid, Proarrow
counitAdj	Proarrow.Tools.Diagrams.Dot
counitRep	Proarrow.Adjunction
counitUr	Proarrow.Category.Instance.Linear
CountLR	Proarrow.Category.Bicategory.Adj
CountLR'	Proarrow.Category.Bicategory.Adj
CountRL	Proarrow.Category.Bicategory.Adj
CountRL'	Proarrow.Category.Bicategory.Adj
Coyoneda
1 (Type/Class)	Proarrow.Profunctor.Coyoneda
2 (Data Constructor)	Proarrow.Profunctor.Coyoneda
coyoneda	Proarrow.Profunctor.Coyoneda
crossing	Proarrow.Category.Equipment.Stateful
CS	Proarrow.Category.Instance.Cospan
cup
1 (Function)	Proarrow.Category.Monoidal.Hypergraph
2 (Function)	Proarrow.Category.Instance.ZX
Curry
1 (Data Constructor)	Proarrow.Object.Exponential
2 (Type/Class)	Proarrow.Category.Instance.Cat
3 (Data Constructor)	Proarrow.Category.Instance.Cat
curry	Proarrow.Object.Exponential
curryHG	Proarrow.Category.Monoidal.Hypergraph
currySA	Proarrow.Object.Dual
D
1 (Data Constructor)	Proarrow.Category.Instance.Discrete
2 (Type/Class)	Proarrow.Tools.Diagrams.Dot
Dagger	Proarrow.Category.Enriched.Dagger
dagger	Proarrow.Category.Enriched.Dagger
DaggerProfunctor	Proarrow.Category.Enriched.Dagger
Day
1 (Type/Class)	Proarrow.Category.Promonoidal
2 (Data Constructor)	Proarrow.Category.Promonoidal
3 (Type/Class)	Proarrow.Profunctor.Day
4 (Data Constructor)	Proarrow.Profunctor.Day
dayCounit	Proarrow.Promonad.Reader
DayExp
1 (Type/Class)	Proarrow.Profunctor.Day
2 (Data Constructor)	Proarrow.Profunctor.Day
DayUnit
1 (Type/Class)	Proarrow.Profunctor.Day
2 (Data Constructor)	Proarrow.Profunctor.Day
decompose	Proarrow.Category.Promonoidal
decomposeActs	Proarrow.Category.Monoidal.Action
delta	Proarrow.Category.Bicategory
Density	Proarrow.Category.Bicategory.Kan
DEP	Proarrow.Category.Instance.Fam
DEP_	Proarrow.Category.Instance.Fam
diag	Proarrow.Object.BinaryProduct
dimap	Proarrow.Core, Proarrow.Profunctor, Proarrow
dimapCorep	Proarrow.Profunctor.Corepresentable
dimapDefault	Proarrow.Core, Proarrow.Category, Proarrow
dimapLan	Proarrow.Category.Bicategory.Kan
dimapLax	Proarrow.Category.Bicategory.Prof
dimapLift	Proarrow.Category.Bicategory.Kan
dimapRan	Proarrow.Category.Bicategory.Kan
dimapRep	Proarrow.Profunctor.Representable
dimapRift	Proarrow.Category.Bicategory.Kan
dimension	Proarrow.Object.Dual
discard	Proarrow.Category.Monoidal.CopyDiscard
DISCRETE	Proarrow.Category.Instance.Discrete
Discrete
1 (Type/Class)	Proarrow.Category.Enriched.Thin
2 (Type/Class)	Proarrow.Category.Instance.Discrete
DiscreteK	Proarrow.Category.Bicategory.Bidiscrete
DiscreteProfunctor	Proarrow.Category.Enriched.Thin
distL	Proarrow.Category.Monoidal.Distributive
distL0	Proarrow.Category.Monoidal.Distributive
distLInv	Proarrow.Category.Monoidal.Distributive
distLProd	Proarrow.Category.Monoidal.Distributive
distR	Proarrow.Category.Monoidal.Distributive
distR0	Proarrow.Category.Monoidal.Distributive
DistribDual	Proarrow.Category.Instance.Cat
distribDual	Proarrow.Object.Dual
distribDualInv	Proarrow.Object.Dual
Distributive	Proarrow.Category.Monoidal.Distributive
DistributiveProfunctor	Proarrow.Category.Monoidal.Distributive
distRInv	Proarrow.Category.Monoidal.Distributive
distRProd	Proarrow.Category.Monoidal.Distributive
DK	Proarrow.Category.Bicategory.Bidiscrete
Dn	Proarrow.Category.Instance.Duploid
dn	Proarrow.Category.Instance.Linear
DOT	Proarrow.Tools.Diagrams.Dot
Dot
1 (Type/Class)	Proarrow.Tools.Diagrams.Dot
2 (Data Constructor)	Proarrow.Tools.Diagrams.Dot
DotData
1 (Type/Class)	Proarrow.Tools.Diagrams.Dot
2 (Data Constructor)	Proarrow.Tools.Diagrams.Dot
doubleNeg	Proarrow.Object.Dual
doubleNegInv	Proarrow.Object.Dual
doubleNegIso	Proarrow.Object.Dual
Dual
1 (Type/Class)	Proarrow.Object.Dual
2 (Type/Class)	Proarrow.Category.Bicategory.MonoidalAsBi
dual	Proarrow.Object.Dual
dualAdj	Proarrow.Category.Bicategory.MonoidalAsBi
dualAdj'	Proarrow.Category.Bicategory.MonoidalAsBi
dualHG	Proarrow.Category.Monoidal.Hypergraph
dualInv	Proarrow.Object.Dual
dualityCounit	Proarrow.Object.Dual
dualityCounitSA	Proarrow.Object.Dual
dualityUnit	Proarrow.Object.Dual
dualityUnitSA	Proarrow.Object.Dual
dualObj	Proarrow.Object.Dual
DualUnit	Proarrow.Category.Instance.Cat
dualUnit	Proarrow.Object.Dual
dualUnitInv	Proarrow.Object.Dual
duoidal	Proarrow.Profunctor.Day
duplicate	Proarrow.Promonad
DUPLOID	Proarrow.Category.Instance.Duploid
Duploid
1 (Type/Class)	Proarrow.Category.Instance.Duploid
2 (Data Constructor)	Proarrow.Category.Instance.Duploid
dupUr	Proarrow.Category.Instance.Linear
DX	Proarrow.Category.Instance.Fam
E	Proarrow.Category.Monoidal.Endo
edges	Proarrow.Tools.Diagrams.Dot
Eff	Proarrow.Profunctor.Free
either	Proarrow.Tools.CCC
eitherF	Proarrow.Tools.Diagrams.Dot
El	Proarrow.Object.Terminal
Elem	Proarrow.Category.Instance.Free
elements	Proarrow.Category.Instance.Graph
elimI	Proarrow.Category.Bicategory.Strictified
elimO	Proarrow.Category.Bicategory.Strictified
EMB	Proarrow.Category.Instance.Free
Emb	Proarrow.Category.Instance.Free
emb	Proarrow.Category.Instance.Free
Embed	Proarrow.Category.Instance.Fam
embed	Proarrow.Profunctor.Fix
embed'	Proarrow.Profunctor.Fix
empty	Proarrow.Category.Monoidal.Applicative
End
1 (Type/Class)	Proarrow.Category.Limit
2 (Data Constructor)	Proarrow.Category.Limit
EndLimit	Proarrow.Category.Limit
ENDO	Proarrow.Category.Monoidal.Endo
Endo
1 (Type/Class)	Proarrow.Category.Monoidal.Endo
2 (Data Constructor)	Proarrow.Category.Monoidal.Endo
Enriched	Proarrow.Category.Enriched
enriched	Proarrow.Category.Enriched
EnrichedProfunctor	Proarrow.Category.Enriched
enrichedPt	Proarrow.Category.Instance.PointedHask
enrichedSelf	Proarrow.Category.Enriched
Entails	Proarrow.Category.Instance.Constraint
entails	Proarrow.Category.Instance.Constraint
enumAll	Proarrow.Category.Instance.ZX
epsilon
1 (Function)	Proarrow.Category.Bicategory
2 (Function)	Proarrow.Category.Bicategory.Relative
3 (Function)	Proarrow.Category.Instance.ZX
Eq2	Proarrow.Category.Instance.Free
eqIsSuperOrd	Proarrow.Category.Instance.Constraint
equalizer	Proarrow.Object.Pullback
Equipment	Proarrow.Category.Equipment
Equivalence	Proarrow.Category.Instance.Rel
eta
1 (Function)	Proarrow.Category.Bicategory
2 (Function)	Proarrow.Category.Bicategory.Relative
ex2prof	Proarrow.Category.Monoidal.Optic
ExOptic
1 (Type/Class)	Proarrow.Category.Monoidal.Optic
2 (Data Constructor)	Proarrow.Category.Monoidal.Optic
Exp
1 (Data Constructor)	Proarrow.Profunctor.Exponential
2 (Data Constructor)	Proarrow.Category.Instance.Nat
3 (Type/Class)	Proarrow.Category.Instance.FinSet
exp	Proarrow.Category.Instance.FinSet
ExpHG	Proarrow.Category.Monoidal.Hypergraph
ExpRep	Proarrow.Object.Exponential
ExpSA	Proarrow.Object.Dual
expSA	Proarrow.Object.Dual
extend	Proarrow.Profunctor.Corepresentable
extendRep	Proarrow.Adjunction
extract
1 (Function)	Proarrow.Profunctor.Corepresentable
2 (Function)	Proarrow.Promonad
F	Proarrow.Tools.CCC
F2T	Proarrow.Category.Instance.Bool
FAM	Proarrow.Category.Instance.Fam
Fam
1 (Type/Class)	Proarrow.Category.Instance.Fam
2 (Data Constructor)	Proarrow.Category.Instance.Fam
fanIn	Proarrow.Category.Monoidal.Hypergraph
fanOut	Proarrow.Category.Monoidal.Hypergraph
Filterable	Proarrow.Category.Instance.PointedHask
filterSparse	Proarrow.Category.Instance.ZX
FIN	Proarrow.Category.Instance.Fin
Fin
1 (Type/Class)	Proarrow.Tools.Diagrams.Dot
2 (Data Constructor)	Proarrow.Tools.Diagrams.Dot
FIN0	Proarrow.Category.Instance.Fin
FIN1	Proarrow.Category.Instance.Fin
FIN2	Proarrow.Category.Instance.Fin
FIN3	Proarrow.Category.Instance.Fin
findArr	Proarrow.Category.Instance.FinSet
findIndex	Proarrow.Category.Instance.FinSet
findIso	Proarrow.Category.Instance.FinSet
Finite	Proarrow.Category.Instance.FinSet
FINREL	Proarrow.Category.Instance.FinRel
FinRel
1 (Type/Class)	Proarrow.Category.Instance.FinRel
2 (Data Constructor)	Proarrow.Category.Instance.FinRel
FINSET	Proarrow.Category.Instance.FinSet
FinSet
1 (Type/Class)	Proarrow.Category.Instance.FinSet
2 (Data Constructor)	Proarrow.Category.Instance.FinSet
first
1 (Function)	Proarrow.Category.Monoidal
2 (Function)	Proarrow.Object.BinaryProduct
3 (Function)	Proarrow.Category.Instance.Nat
first'	Proarrow.Category.Monoidal.Action
Fix	Proarrow.Profunctor.Fix
FK	Proarrow.Tools.CCC
FlipApp
1 (Type/Class)	Proarrow.Squares
2 (Data Constructor)	Proarrow.Squares
flipCorep	Proarrow.Profunctor.Representable
flipLeftAdjoint	Proarrow.Category.Bicategory
flipLeftAdjointInv	Proarrow.Category.Bicategory
flipRan	Proarrow.Profunctor.Ran
flipRanInv	Proarrow.Profunctor.Ran
flipRep	Proarrow.Profunctor.Representable
flipRift	Proarrow.Profunctor.Rift
flipRiftInv	Proarrow.Profunctor.Rift
flipRightAdjoint	Proarrow.Category.Bicategory
flipRightAdjointInv	Proarrow.Category.Bicategory
FLS	Proarrow.Category.Instance.Bool
Fls	Proarrow.Category.Instance.Bool
fmap	Proarrow.Functor, Proarrow
Fold
1 (Type/Class)	Proarrow.Category.Bicategory.Strictified
2 (Type/Class)	Proarrow.Category.Monoidal.Strictified
3 (Type/Class)	Proarrow.Profunctor.Fold
4 (Data Constructor)	Proarrow.Profunctor.Fold
fold
1 (Function)	Proarrow.Category.Bicategory.Strictified
2 (Function)	Proarrow.Category.Instance.Free
3 (Function)	Proarrow.Category.Monoidal.Strictified
4 (Function)	Proarrow.Profunctor.Free
foldList	Proarrow.Profunctor.List
foldStructure	Proarrow.Category.Instance.Free
Forget
1 (Type/Class)	Proarrow.Category.Instance.Sub
2 (Type/Class)	Proarrow.Category.Instance.Simplex
3 (Type/Class)	Proarrow.Category.Instance.Linear
FR	Proarrow.Category.Instance.FinRel
FREE	Proarrow.Category.Instance.Free
Free
1 (Type/Class)	Proarrow.Category.Instance.Free
2 (Type/Class)	Proarrow.Profunctor.Free
3 (Type/Class)	Proarrow.Tools.CCC
FreePromonad	Proarrow.Profunctor.Free
Frobenius	Proarrow.Category.Monoidal.Hypergraph
FromAdjunction
1 (Type/Class)	Proarrow.Universal, Proarrow
2 (Data Constructor)	Proarrow.Universal, Proarrow
FromAll	Proarrow.Category.Instance.Free
fromBools	Proarrow.Category.Instance.FinRel
fromInt	Proarrow.Category.Instance.IntConstruction
fromLeft	Proarrow.Squares
fromLinear	Proarrow.Category.Instance.Duploid
fromList	Proarrow.Profunctor.Fix
FromPointed
1 (Type/Class)	Proarrow.Category.Instance.PointedHask
2 (Data Constructor)	Proarrow.Category.Instance.PointedHask
FromProfunctor
1 (Type/Class)	Proarrow.Functor, Proarrow
2 (Data Constructor)	Proarrow.Functor, Proarrow
fromRight	Proarrow.Squares
fromSelfAct	Proarrow.Category.Monoidal.Action
fromSimplex	Proarrow.Category.Bicategory.Adj
fromSimplexOp	Proarrow.Category.Bicategory.Adj
fromThunkable	Proarrow.Category.Instance.Duploid
FS
1 (Type/Class)	Proarrow.Category.Instance.Fin
2 (Type/Class)	Proarrow.Category.Instance.FinSet
Fst
1 (Type/Class)	Proarrow.Category.Instance.Product
2 (Type/Class)	Proarrow.Category.Bicategory.Product
3 (Type/Class)	Proarrow.Category.Bicategory.Limit
4 (Data Constructor)	Proarrow.Object.BinaryProduct
fst
1 (Function)	Proarrow.Category.Bicategory.Product
2 (Function)	Proarrow.Object.BinaryProduct
fst'	Proarrow.Object.BinaryProduct
FstCat	Proarrow.Category.Instance.Cat
fstK	Proarrow.Category.Instance.Product
fstObj	Proarrow.Category.Bicategory.Limit
fstP	Proarrow.Profunctor.Product
FUN	Proarrow.Category.Bicategory.Prof
Fun	Proarrow.Category.Instance.FinRel
Functional	Proarrow.Category.Instance.Rel
Functor	Proarrow.Functor, Proarrow
FunctorForRep	Proarrow.Functor, Proarrow
FUNK	Proarrow.Category.Bicategory.Prof
FZ	Proarrow.Category.Instance.Fin
GenElt
1 (Type/Class)	Proarrow.Monoid, Proarrow
2 (Data Constructor)	Proarrow.Monoid, Proarrow
getData	Proarrow.Tools.Diagrams.Dot
getNeg	Proarrow.Category.Instance.Linear
ghzState	Proarrow.Category.Instance.ZX
GR	Proarrow.Category.Instance.Graph
GRAPH	Proarrow.Category.Instance.Graph
Graph
1 (Type/Class)	Proarrow.Category.Instance.Graph
2 (Data Constructor)	Proarrow.Category.Instance.Graph
GrJ	Proarrow.Category.Instance.Graph
GrK	Proarrow.Category.Instance.Graph
GTE
1 (Type/Class)	Proarrow.Category.Instance.Cost
2 (Data Constructor)	Proarrow.Category.Instance.Cost
hadamard	Proarrow.Category.Instance.ZX
hArr	Proarrow.Squares
HasAllArrows	Proarrow.Category.Instance.Rep
HasArrow	Proarrow.Category.Enriched.Thin
HasArrow'	Proarrow.Category.Enriched.Thin
HasArrowCollage	Proarrow.Category.Instance.Collage
HasArrowRep	Proarrow.Category.Instance.Rep
HasBinaryCoproducts	Proarrow.Object.BinaryCoproduct
HasBinaryProducts
1 (Type/Class)	Proarrow.Category.Bicategory.Limit
2 (Type/Class)	Proarrow.Object.BinaryProduct
HasBiproducts	Proarrow.Object.BinaryCoproduct
HasCofree	Proarrow.Profunctor.Cofree
HasColimits
1 (Type/Class)	Proarrow.Category.Equipment.Limit
2 (Type/Class)	Proarrow.Category.Colimit
HasCoproducts	Proarrow.Object.BinaryCoproduct
HasCostArrow	Proarrow.Category.Instance.Cost
HasFree	Proarrow.Profunctor.Free
HasFreeK	Proarrow.Profunctor.Free
HasInitialObject	Proarrow.Object.Initial
Hask	Proarrow.Category.Instance.Hask
HaskOptic	Proarrow.Squares
HaskTraversal	Proarrow.Category.Monoidal.Optic
HaskValue
1 (Type/Class)	Proarrow.Profunctor.HaskValue
2 (Data Constructor)	Proarrow.Profunctor.HaskValue
HasLimits
1 (Type/Class)	Proarrow.Category.Equipment.Limit
2 (Type/Class)	Proarrow.Category.Limit
HasProducts	Proarrow.Object.BinaryProduct
HasPullbacks	Proarrow.Object.Pullback
HasPushouts	Proarrow.Object.Pushout
HasStructure	Proarrow.Category.Instance.Free
HasTerminalObject
1 (Type/Class)	Proarrow.Category.Bicategory.Limit
2 (Type/Class)	Proarrow.Object.Terminal
HasZeroObject	Proarrow.Object.Initial
hCombineAll	Proarrow.Squares
hId	Proarrow.Squares
HK	Proarrow.Category.Bicategory.Hom
Hom
1 (Type/Class)	Proarrow.Core
2 (Type/Class)	Proarrow.Category.Limit
3 (Data Constructor)	Proarrow.Category.Limit
4 (Type/Class)	Proarrow.Category.Colimit
5 (Data Constructor)	Proarrow.Category.Colimit
6 (Data Constructor)	Proarrow.Category.Bicategory.Hom
HomK	Proarrow.Category.Bicategory.Hom
HomObj	Proarrow.Category.Enriched
HomObjIsProduct	Proarrow.Object.Power
HomObjOp	Proarrow.Object.Copower
HomSelf	Proarrow.Category.Enriched
HomW
1 (Type/Class)	Proarrow.Category.Bicategory.Hom
2 (Data Constructor)	Proarrow.Category.Bicategory.Hom
hSplitAll	Proarrow.Squares
hylo	Proarrow.Profunctor.Fix
Hypergraph	Proarrow.Category.Monoidal.Hypergraph
I
1 (Type/Class)	Proarrow.Category.Bicategory
2 (Data Constructor)	Proarrow.Category.Instance.IntConstruction
Id
1 (Data Constructor)	Proarrow.Category.Bicategory.CategoryAsBi
2 (Type/Class)	Proarrow.Profunctor.Identity
3 (Data Constructor)	Proarrow.Profunctor.Identity
4 (Data Constructor)	Proarrow.Category.Instance.Free
id	Proarrow.Core, Proarrow.Promonad, Proarrow
identity	Proarrow.Object.Pullback
idLan	Proarrow.Category.Bicategory.Kan
idLift	Proarrow.Category.Bicategory.Kan
idRan	Proarrow.Category.Bicategory.Kan
idRift	Proarrow.Category.Bicategory.Kan
In	Proarrow.Profunctor.Fix
index	Proarrow.Profunctor.Representable
INF	Proarrow.Category.Instance.Cost
Inf	Proarrow.Category.Instance.Cost
InitF
1 (Type/Class)	Proarrow.Object.Initial
2 (Type/Class)	Proarrow.Tools.CCC
Initial	Proarrow.Object.Initial
InitialLimit	Proarrow.Category.Colimit
InitialObject	Proarrow.Object.Initial
InitialProfunctor	Proarrow.Profunctor.Initial
Initiate	Proarrow.Category.Instance.Fam
initiate	Proarrow.Object.Initial
initiate'	Proarrow.Object.Initial
initUnivArr	Proarrow.Universal, Proarrow
InitUniversal	Proarrow.Universal, Proarrow
initUnivProp	Proarrow.Universal, Proarrow
inj	Proarrow.Category.Bicategory.Kan
Injective	Proarrow.Category.Instance.Rel
InjL
1 (Data Constructor)	Proarrow.Category.Instance.Coproduct
2 (Data Constructor)	Proarrow.Profunctor.Coproduct
3 (Type/Class)	Proarrow.Category.Instance.Collage
InjLP	Proarrow.Category.Instance.Fam
InjR
1 (Data Constructor)	Proarrow.Category.Instance.Coproduct
2 (Data Constructor)	Proarrow.Profunctor.Coproduct
3 (Type/Class)	Proarrow.Category.Instance.Collage
InjRP	Proarrow.Category.Instance.Fam
InL	Proarrow.Category.Instance.Collage
inputs	Proarrow.Tools.Diagrams.Dot
InR	Proarrow.Category.Instance.Collage
INT	Proarrow.Category.Instance.IntConstruction
Int	Proarrow.Category.Instance.IntConstruction
IntConstruction	Proarrow.Category.Instance.IntConstruction
InternalIn	Proarrow.Object.Pullback
IntMinus	Proarrow.Category.Instance.IntConstruction
IntPlus	Proarrow.Category.Instance.IntConstruction
introI	Proarrow.Category.Bicategory.Strictified
introO	Proarrow.Category.Bicategory.Strictified
InvertableOptic	Proarrow.Optic
iObj	Proarrow.Category.Bicategory
ip0	Proarrow.Category.Equipment.Stateful
ip1	Proarrow.Category.Equipment.Stateful
Is	Proarrow.Core
IsBool	Proarrow.Category.Instance.Bool
IsBoolArr	Proarrow.Category.Instance.Bool
IsCorepColimit	Proarrow.Category.Colimit
IsCost	Proarrow.Category.Instance.Cost
IsCotight
1 (Type/Class)	Proarrow.Category.Equipment
2 (Type/Class)	Proarrow.Category.Bicategory.Adj
IsFin	Proarrow.Category.Instance.Fin
IsFreeOb	Proarrow.Category.Instance.Free
isFunctional	Proarrow.Category.Instance.Rel
IsFunctorial	Proarrow.Category.Bicategory.Prof
isInjective	Proarrow.Category.Instance.Rel
IsList	Proarrow.Category.Monoidal.Strictified
IsLR
1 (Type/Class)	Proarrow.Category.Instance.Coproduct
2 (Type/Class)	Proarrow.Category.Instance.Collage
IsLRPath	Proarrow.Category.Bicategory.Adj
IsLTE	Proarrow.Category.Instance.Fin
IsNat
1 (Type/Class)	Proarrow.Category.Instance.Simplex
2 (Type/Class)	Proarrow.Category.Instance.Mat
isNilOrL	Proarrow.Category.Bicategory.Adj
isNilOrR	Proarrow.Category.Bicategory.Adj
Iso
1 (Type/Class)	Proarrow.Optic
2 (Type/Class)	Proarrow.Squares
iso	Proarrow.Optic
Iso'	Proarrow.Optic
IsOb	Proarrow.Category.Bicategory.Sub, Proarrow.Category.Equipment
IsOb0	Proarrow.Category.Bicategory.Sub
IsObI	Proarrow.Category.Bicategory.Sub
IsObMult	Proarrow.Category.Instance.Sub
IsOptic
1 (Type/Class)	Proarrow.Category.Monoidal.Optic
2 (Type/Class)	Proarrow.Squares
isoToInt	Proarrow.Category.Instance.IntConstruction
IsPath	Proarrow.Category.Bicategory.Strictified
IsPN	Proarrow.Category.Instance.Duploid
IsPresheafSub	Proarrow.Category.Instance.Fam
IsReader	Proarrow.Category.Equipment.Stateful
isReflexive	Proarrow.Category.Instance.Rel
IsRepresentableLimit	Proarrow.Category.Limit
isSurjective	Proarrow.Category.Instance.Rel
IsTight
1 (Type/Class)	Proarrow.Category.Equipment
2 (Type/Class)	Proarrow.Category.Bicategory.Adj
isTotal	Proarrow.Category.Instance.Rel
isTransitive	Proarrow.Category.Instance.Rel
IsWriter	Proarrow.Category.Equipment.Stateful
isZero	Proarrow.Category.Instance.ZX
ixed	Proarrow.Tools.Diagrams.Dot
ixs	Proarrow.Tools.Diagrams.Dot
K	Proarrow.Category.Instance.Cat
k1Optic	Proarrow.Category.Monoidal.Optic
kernel	Proarrow.Object.Pullback
KIND	Proarrow.Category.Instance.Cat
Kind	Proarrow.Core
KL	Proarrow.Category.Instance.Kleisli
KlCat	Proarrow.Category.Monoidal.Optic
KLEISLI	Proarrow.Category.Instance.Kleisli
Kleisli
1 (Type/Class)	Proarrow.Category.Instance.Kleisli
2 (Data Constructor)	Proarrow.Category.Instance.Kleisli
KleisliForget
1 (Type/Class)	Proarrow.Category.Instance.Kleisli
2 (Data Constructor)	Proarrow.Category.Instance.Kleisli
KleisliFree
1 (Type/Class)	Proarrow.Category.Instance.Kleisli
2 (Data Constructor)	Proarrow.Category.Instance.Kleisli
L
1 (Type/Class)	Proarrow.Category.Instance.Coproduct
2 (Type/Class)	Proarrow.Category.Instance.Collage
3 (Type/Class)	Proarrow.Profunctor.List
4 (Type/Class)	Proarrow.Category.Bicategory.Adj
5 (Data Constructor)	Proarrow.Category.Instance.Linear
6 (Type/Class)	Proarrow.Universal, Proarrow, Proarrow
L2R	Proarrow.Category.Instance.Collage
lam	Proarrow.Tools.CCC
Lan
1 (Type/Class)	Proarrow.Category.Bicategory.Kan
2 (Type/Class)	Proarrow.Category.Instance.Nat
3 (Data Constructor)	Proarrow.Category.Instance.Nat
lan	Proarrow.Category.Bicategory.Kan
lanAlongLeftAdjoint	Proarrow.Category.Bicategory.Kan
lanAlongLeftAdjointInv	Proarrow.Category.Bicategory.Kan
lanComonadDelta	Proarrow.Category.Bicategory.Kan
lanComonadEpsilon	Proarrow.Category.Bicategory.Kan
lanUniv	Proarrow.Category.Bicategory.Kan
laxComp	Proarrow.Category.Bicategory.Prof
laxId	Proarrow.Category.Bicategory.Prof
LaxProfunctor	Proarrow.Category.Bicategory.Prof
left	Proarrow.Object.BinaryCoproduct
left'	Proarrow.Object.BinaryCoproduct
leftAction	Proarrow.Category.Bicategory
leftAdjointPreservesColimits	Proarrow.Adjunction
leftAdjointPreservesColimitsInv	Proarrow.Adjunction
leftAdjunct
1 (Function)	Proarrow.Adjunction
2 (Function)	Proarrow.Squares.Relative
LeftKanExtension	Proarrow.Category.Bicategory.Kan
LeftKanLift	Proarrow.Category.Bicategory.Kan
LeftUnitor	Proarrow.Category.Instance.Free
leftUnitor
1 (Function)	Proarrow.Category.Bicategory
2 (Function)	Proarrow.Category.Monoidal
leftUnitor'
1 (Function)	Proarrow.Category.Bicategory
2 (Function)	Proarrow.Category.Monoidal
leftUnitorCoprod	Proarrow.Object.BinaryCoproduct
leftUnitorCoprodInv	Proarrow.Object.BinaryCoproduct
LeftUnitorInv	Proarrow.Category.Instance.Free
leftUnitorInv
1 (Function)	Proarrow.Category.Bicategory
2 (Function)	Proarrow.Category.Monoidal
leftUnitorInv'
1 (Function)	Proarrow.Category.Bicategory
2 (Function)	Proarrow.Category.Monoidal
leftUnitorInvWith
1 (Function)	Proarrow.Category.Bicategory
2 (Function)	Proarrow.Category.Monoidal
leftUnitorIso	Proarrow.Category.Monoidal
leftUnitorProd	Proarrow.Object.BinaryProduct
leftUnitorProdInv	Proarrow.Object.BinaryProduct
leftUnitorWith
1 (Function)	Proarrow.Category.Bicategory
2 (Function)	Proarrow.Category.Monoidal
Leg	Proarrow.Object.Pullback
len	Proarrow.Tools.Diagrams.Dot
Lens
1 (Type/Class)	Proarrow.Category.Monoidal.Optic
2 (Type/Class)	Proarrow.Squares
Lft
1 (Data Constructor)	Proarrow.Object.BinaryCoproduct
2 (Data Constructor)	Proarrow.Tools.CCC
lft	Proarrow.Object.BinaryCoproduct
lft'	Proarrow.Object.BinaryCoproduct
LftCat	Proarrow.Category.Instance.Fam
Lift
1 (Type/Class)	Proarrow.Category.Bicategory.Kan
2 (Type/Class)	Proarrow.Profunctor.Free
lift
1 (Function)	Proarrow.Category.Bicategory.Kan
2 (Function)	Proarrow.Profunctor.Free
3 (Function)	Proarrow.Tools.CCC
lift'	Proarrow.Profunctor.Free
LiftA2	Proarrow.Profunctor.Free
liftA2	Proarrow.Category.Monoidal.Applicative
liftAlongRightAdjoint	Proarrow.Category.Bicategory.Kan
liftAlongRightAdjointInv	Proarrow.Category.Bicategory.Kan
liftComonadDelta	Proarrow.Category.Bicategory.Kan
liftComonadEpsilon	Proarrow.Category.Bicategory.Kan
LIFTEDF	Proarrow.Category.Instance.Kleisli
LiftF	Proarrow.Category.Instance.Kleisli
liftK	Proarrow.Profunctor.Free
liftUniv	Proarrow.Category.Bicategory.Kan
Limit
1 (Type/Class)	Proarrow.Category.Equipment.Limit
2 (Type/Class)	Proarrow.Category.Limit
limit
1 (Function)	Proarrow.Category.Equipment.Limit
2 (Function)	Proarrow.Category.Limit
3 (Function)	Proarrow.Squares.Limit
LimitAdj
1 (Type/Class)	Proarrow.Adjunction
2 (Data Constructor)	Proarrow.Adjunction
limitFromLimitAdj	Proarrow.Category.Equipment.Limit
limitToLimitAdj	Proarrow.Category.Equipment.Limit
limitUniv
1 (Function)	Proarrow.Category.Equipment.Limit
2 (Function)	Proarrow.Category.Limit
3 (Function)	Proarrow.Squares.Limit
limitUniv'	Proarrow.Squares.Limit
linDist	Proarrow.Object.Dual
linDistHG	Proarrow.Category.Monoidal.Hypergraph
linDistInv	Proarrow.Object.Dual
linDistInvHG	Proarrow.Category.Monoidal.Hypergraph
line	Proarrow.Tools.Diagrams.Dot
LINEAR	Proarrow.Category.Instance.Linear
Linear
1 (Type/Class)	Proarrow.Category.Instance.Linear
2 (Data Constructor)	Proarrow.Category.Instance.Linear
LIST	Proarrow.Profunctor.List
List	Proarrow.Profunctor.List
ListF	Proarrow.Profunctor.Fix
lmap
1 (Function)	Proarrow.Core, Proarrow.Profunctor, Proarrow
2 (Function)	Proarrow.Category.Enriched
Lower	Proarrow.Category.Instance.Free
lower
1 (Function)	Proarrow.Object.Exponential
2 (Function)	Proarrow.Profunctor.Cofree
lower'	Proarrow.Profunctor.Cofree
lrId	Proarrow.Category.Instance.Collage
LTE	Proarrow.Category.Instance.Fin
lte	Proarrow.Category.Instance.Fin
lteTrans	Proarrow.Category.Instance.Cost
M
1 (Type/Class)	Proarrow.Monoid, Proarrow, Proarrow
2 (Type/Class)	Proarrow.Category.Instance.Mat
m1Optic	Proarrow.Category.Monoidal.Optic
map	Proarrow.Functor, Proarrow
mapBase	Proarrow.Object.Power
mapCobase	Proarrow.Object.Copower
mapColimit
1 (Function)	Proarrow.Category.Equipment.Limit
2 (Function)	Proarrow.Category.Colimit
mapCopower	Proarrow.Object.Copower
mapCorepStar	Proarrow.Profunctor.Representable
mapLan	Proarrow.Category.Bicategory.Kan
mapLift	Proarrow.Category.Bicategory.Kan
mapLimit
1 (Function)	Proarrow.Category.Equipment.Limit
2 (Function)	Proarrow.Category.Limit
mapMaybe	Proarrow.Category.Instance.PointedHask
mappend
1 (Function)	Proarrow.Monoid, Proarrow
2 (Function)	Proarrow.Category.Promonoidal
mappendAct	Proarrow.Monoid, Proarrow
mappendDefault	Proarrow.Category.Instance.PointedHask
mapPower	Proarrow.Object.Power
mapRan	Proarrow.Category.Bicategory.Kan
mapRepCostar	Proarrow.Profunctor.Representable
mapRift	Proarrow.Category.Bicategory.Kan
Mat
1 (Type/Class)	Proarrow.Category.Instance.Mat
2 (Data Constructor)	Proarrow.Category.Instance.Mat
matId	Proarrow.Category.Instance.Mat
MatK	Proarrow.Category.Instance.Mat
MatrixSize	Proarrow.Category.Instance.ZX
maybeLiftsSemigroup	Proarrow.Category.Instance.Constraint
mempty
1 (Function)	Proarrow.Monoid, Proarrow
2 (Function)	Proarrow.Category.Promonoidal
memptyAct	Proarrow.Monoid, Proarrow
memptyDefault	Proarrow.Category.Instance.PointedHask
minusState	Proarrow.Category.Instance.ZX
mirror	Proarrow.Category.Instance.ZX
MK	Proarrow.Category.Bicategory.MonoidalAsBi
mkAlgebraicLens	Proarrow.Category.Monoidal.Optic
mkCons	Proarrow.Profunctor.List
mkEndo	Proarrow.Category.Monoidal.Endo
mkExponential	Proarrow.Object.Exponential
mkHaskOptic	Proarrow.Squares
mkIso	Proarrow.Squares
mkLens
1 (Function)	Proarrow.Category.Monoidal.Optic
2 (Function)	Proarrow.Squares
mkMonoidal	Proarrow.Category.Monoidal.Optic
mkPar	Proarrow.Category.Instance.Linear
mkPrism
1 (Function)	Proarrow.Category.Monoidal.Optic
2 (Function)	Proarrow.Squares
mkProfOptic	Proarrow.Squares
mkTraversal	Proarrow.Squares
mkWith	Proarrow.Category.Instance.Linear
mkYoneda	Proarrow.Profunctor.Yoneda
ModuleObject	Proarrow.Monoid, Proarrow
Mon
1 (Type/Class)	Proarrow.Monoid, Proarrow
2 (Data Constructor)	Proarrow.Monoid, Proarrow
Mon2
1 (Type/Class)	Proarrow.Category.Bicategory.MonoidalAsBi
2 (Data Constructor)	Proarrow.Category.Bicategory.MonoidalAsBi
Monad
1 (Type/Class)	Proarrow.Category.Bicategory
2 (Type/Class)	Proarrow.Category.Bicategory.Relative
3 (Type/Class)	Proarrow.Profunctor.Representable
MonK	Proarrow.Category.Bicategory.MonoidalAsBi
Monoid	Proarrow.Monoid, Proarrow
Monoidal	Proarrow.Category.Monoidal
MonoidalAction	Proarrow.Category.Monoidal.Action
MonoidalOptic	Proarrow.Category.Monoidal.Optic
MonoidalProfunctor	Proarrow.Category.Monoidal
MONOIDK	Proarrow.Monoid, Proarrow
mu	Proarrow.Category.Bicategory
mult
1 (Function)	Proarrow.Category.Bicategory.Relative
2 (Function)	Proarrow.Category.Instance.FinSet
3 (Function)	Proarrow.Category.Instance.FinRel
4 (Function)	Proarrow.Category.Equipment.Stateful
5 (Function)	Proarrow.Squares.Relative
multDayExp	Proarrow.Profunctor.Day
multiplicator	Proarrow.Category.Monoidal.Action
multiplicatorInv	Proarrow.Category.Monoidal.Action
multOptic	Proarrow.Category.Monoidal.Optic
multQuest	Proarrow.Category.Instance.Linear
MultRep	Proarrow.Category.Monoidal
mupdate	Proarrow.Category.Monoidal.Optic
N	Proarrow.Category.Instance.Duploid
names	Proarrow.Tools.Diagrams.Dot
NAT	Proarrow.Category.Instance.Fin
Nat
1 (Type/Class)	Proarrow.Category.Instance.Simplex
2 (Type/Class)	Proarrow.Category.Instance.Nat
3 (Data Constructor)	Proarrow.Category.Instance.Nat
nat	Proarrow.Category.Instance.ZX
Nat'
1 (Type/Class)	Proarrow.Category.Instance.Nat
2 (Data Constructor)	Proarrow.Category.Instance.Nat
Neg
1 (Type/Class)	Proarrow.Category.Instance.Linear
2 (Data Constructor)	Proarrow.Category.Instance.Linear
3 (Type/Class)	Proarrow.Category.Instance.Duploid
NegComp
1 (Type/Class)	Proarrow.Category.Instance.Linear
2 (Data Constructor)	Proarrow.Category.Instance.Linear
NFold	Proarrow.Category.Monoidal.Hypergraph
Nil
1 (Type/Class)	Proarrow.Category.Bicategory.Strictified
2 (Data Constructor)	Proarrow.Profunctor.List
3 (Data Constructor)	Proarrow.Profunctor.Fix
no	Proarrow.Category.Instance.Zero
node	Proarrow.Tools.Diagrams.Dot
node'	Proarrow.Tools.Diagrams.Dot
nodeOpts	Proarrow.Tools.Diagrams.Dot
normalize	Proarrow.Tools.Diagrams.Dot
Not
1 (Type/Class)	Proarrow.Object.Exponential
2 (Type/Class)	Proarrow.Category.Instance.Linear
not
1 (Function)	Proarrow.Category.Instance.ZX
2 (Function)	Proarrow.Category.Instance.Linear
not'	Proarrow.Category.Instance.Linear
notQuest	Proarrow.Category.Instance.Linear
NT	Proarrow.Category.Instance.Nat
O	Proarrow.Category.Bicategory
o
1 (Function)	Proarrow.Category.Bicategory
2 (Function)	Proarrow.Profunctor.Composition
OB	Proarrow.Core
Ob	Proarrow.Core, Proarrow.Category, Proarrow, Proarrow
Ob'
1 (Type/Class)	Proarrow.Object, Proarrow
2 (Type/Class)	Proarrow.Category.Bicategory
Ob0	Proarrow.Category.Bicategory
Ob0'	Proarrow.Category.Bicategory
ObDual	Proarrow.Object.Dual
Obj
1 (Type/Class)	Proarrow.Core, Proarrow.Object, Proarrow
2 (Data Constructor)	Proarrow.Object, Proarrow
obj	Proarrow.Core, Proarrow.Object, Proarrow
obj1
1 (Function)	Proarrow.Category.Bicategory
2 (Function)	Proarrow.Category.Bicategory.Strictified
obj2	Proarrow.Category.Monoidal
object	Proarrow.Squares
Objs	Proarrow.Object, Proarrow
Ok	Proarrow.Category.Instance.Free
On	Proarrow.Category.Instance.Sub
one	Proarrow.Category.Instance.Mat
oneState	Proarrow.Category.Instance.ZX
OP
1 (Data Constructor)	Proarrow.Category.Opposite
2 (Data Constructor)	Proarrow.Category.Bicategory.Op
Op
1 (Type/Class)	Proarrow.Category.Opposite
2 (Data Constructor)	Proarrow.Category.Opposite
3 (Type/Class)	Proarrow.Category.Bicategory.Op
4 (Data Constructor)	Proarrow.Category.Bicategory.Op
opact	Proarrow.Category.Bicategory.Relative
Opalgebra	Proarrow.Category.Bicategory.Relative
OpCorepresentable	Proarrow.Category.Instance.Rep
OPK	Proarrow.Category.Bicategory.Op
OPPOSITE	Proarrow.Category.Opposite
OPT	Proarrow.Optic
OPTIC	Proarrow.Optic
Optic
1 (Type/Class)	Proarrow.Optic
2 (Data Constructor)	Proarrow.Optic
3 (Type/Class)	Proarrow.Squares
Optic'	Proarrow.Optic
Optic_	Proarrow.Optic
OptL	Proarrow.Optic
OptR	Proarrow.Optic
out	Proarrow.Profunctor.Fix
outputs	Proarrow.Tools.Diagrams.Dot
over	Proarrow.Optic
P
1 (Type/Class)	Proarrow.Category.Instance.PointedHask
2 (Type/Class)	Proarrow.Category.Instance.Duploid
3 (Type/Class)	Proarrow.Category.Bicategory.Prof, Proarrow.Category.Bicategory.Hom
pairFst	Proarrow.Category.Instance.Linear
pairSnd	Proarrow.Category.Instance.Linear
Par
1 (Data Constructor)	Proarrow.Category.Instance.Free
2 (Type/Class)	Proarrow.Category.Instance.Linear
3 (Data Constructor)	Proarrow.Category.Instance.Linear
par	Proarrow.Category.Monoidal
Par0	Proarrow.Category.Instance.Free
par0	Proarrow.Category.Monoidal
par0Action	Proarrow.Category.Monoidal.Action
par0Corep	Proarrow.Category.Monoidal
par0Rep	Proarrow.Category.Monoidal
par1Optic	Proarrow.Category.Monoidal.Optic
parAction	Proarrow.Category.Monoidal.Action
parAppL	Proarrow.Category.Instance.Linear
parAppR	Proarrow.Category.Instance.Linear
parCorep	Proarrow.Category.Monoidal
parN	Proarrow.Category.Promonoidal
parRep	Proarrow.Category.Monoidal
Path	Proarrow.Category.Bicategory.Strictified
PCons	Proarrow.Category.Promonoidal
pi0	Proarrow.Category.Equipment.Stateful
pi1	Proarrow.Category.Equipment.Stateful
Pick	Proarrow.Category.Instance.Simplex
pick	Proarrow.Category.Instance.FinRel
PK	Proarrow.Category.Bicategory.Prof
PLAIN	Proarrow.Category.Bicategory.CategoryAsBi
PLAINK	Proarrow.Category.Bicategory.CategoryAsBi
PList	Proarrow.Category.Promonoidal
plusMonotone	Proarrow.Category.Instance.Cost
plusOptic	Proarrow.Category.Monoidal.Optic
plusState	Proarrow.Category.Instance.ZX
pn	Proarrow.Category.Instance.Duploid
PNil	Proarrow.Category.Promonoidal
POINTED	Proarrow.Category.Instance.PointedHask
Pointed	Proarrow.Category.Instance.PointedHask
PointwiseLeftKanExtension	Proarrow.Profunctor.Rift
PointwiseLeftKanLift	Proarrow.Profunctor.Ran
PointwiseRightKanExtension	Proarrow.Profunctor.Ran
PointwiseRightKanLift	Proarrow.Profunctor.Rift
Poly	Proarrow.Category.Instance.Fam
pop	Proarrow.Category.Instance.FinRel
Port	Proarrow.Tools.Diagrams.Dot
Pos	Proarrow.Category.Instance.Duploid
Power
1 (Data Constructor)	Proarrow.Object.Power
2 (Data Constructor)	Proarrow.Category.Instance.Nat
power	Proarrow.Object.Power
Powered	Proarrow.Object.Power
PowerLimit	Proarrow.Category.Limit
PR	Proarrow.Object.BinaryProduct
Prd	Proarrow.Object.BinaryProduct
Prelude
1 (Type/Class)	Proarrow.Functor, Proarrow
2 (Data Constructor)	Proarrow.Functor, Proarrow
preludeTraverse	Proarrow.Profunctor.Star
Preorder	Proarrow.Category.Instance.Rel
prepar	Proarrow.Category.Monoidal.Action
Presheaf	Proarrow.Functor, Proarrow
Previewing
1 (Type/Class)	Proarrow.Category.Monoidal.Optic
2 (Data Constructor)	Proarrow.Category.Monoidal.Optic
Prism
1 (Type/Class)	Proarrow.Category.Monoidal.Optic
2 (Type/Class)	Proarrow.Squares
Proadjunction	Proarrow.Adjunction
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
ProdAction	Proarrow.Object.BinaryProduct
PRODFST	Proarrow.Category.Bicategory.Product
PRODK	Proarrow.Category.Bicategory.Product
prodObj	Proarrow.Category.Bicategory.Limit
PRODSND	Proarrow.Category.Bicategory.Product
Product	Proarrow.Category.Bicategory.Limit
ProductLimit	Proarrow.Category.Limit
prodUniv	Proarrow.Category.Bicategory.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.Squares
ProfRep	Proarrow.Category.Bicategory.Prof
Profunctor	Proarrow.Core, Proarrow.Profunctor, Proarrow
project	Proarrow.Profunctor.Fix
project'	Proarrow.Profunctor.Fix
Promonad	Proarrow.Core, Proarrow.Promonad, Proarrow
Promonoid	Proarrow.Category.Promonoidal
PromonoidalProfunctor	Proarrow.Category.Promonoidal
ProObj	Proarrow.Category.Enriched
PROTENSOR	Proarrow.Category.Promonoidal
Protensor	Proarrow.Category.Promonoidal
Pt	Proarrow.Category.Instance.PointedHask
Pullback	Proarrow.Category.Instance.Cospan
pullback	Proarrow.Object.Pullback
Pure	Proarrow.Profunctor.Free
pure	Proarrow.Category.Monoidal.Applicative
push	Proarrow.Category.Instance.FinRel
Pushout	Proarrow.Category.Instance.Cospan
pushout	Proarrow.Object.Pushout
PWLan	Proarrow.Profunctor.Rift
PWLift	Proarrow.Profunctor.Ran
PWRan	Proarrow.Profunctor.Ran
PWRift	Proarrow.Profunctor.Rift
Quest
1 (Type/Class)	Proarrow.Category.Instance.Linear
2 (Data Constructor)	Proarrow.Category.Instance.Linear
questPar	Proarrow.Category.Instance.Linear
R
1 (Type/Class)	Proarrow.Category.Instance.Coproduct
2 (Type/Class)	Proarrow.Category.Instance.Collage
3 (Type/Class)	Proarrow.Category.Monoidal.Rev
4 (Type/Class)	Proarrow.Category.Bicategory.Adj
5 (Type/Class)	Proarrow.Universal, Proarrow, Proarrow
Ran
1 (Type/Class)	Proarrow.Category.Bicategory.Kan
2 (Type/Class)	Proarrow.Category.Instance.Nat
3 (Data Constructor)	Proarrow.Category.Instance.Nat
4 (Type/Class)	Proarrow.Profunctor.Ran
5 (Data Constructor)	Proarrow.Profunctor.Ran
ran	Proarrow.Category.Bicategory.Kan
ranAlongRightAdjoint	Proarrow.Category.Bicategory.Kan
ranAlongRightAdjointInv	Proarrow.Category.Bicategory.Kan
ranCompose	Proarrow.Profunctor.Ran
ranComposeInv	Proarrow.Profunctor.Ran
ranHom	Proarrow.Profunctor.Ran
ranHomInv	Proarrow.Profunctor.Ran
ranMonadEta	Proarrow.Category.Bicategory.Kan
ranMonadMu	Proarrow.Category.Bicategory.Kan
ranUniv	Proarrow.Category.Bicategory.Kan
Re
1 (Type/Class)	Proarrow.Optic
2 (Data Constructor)	Proarrow.Optic
re	Proarrow.Optic
Reader
1 (Type/Class)	Proarrow.Promonad.Reader
2 (Data Constructor)	Proarrow.Promonad.Reader
readerComp	Proarrow.Promonad.Reader
readerDay	Proarrow.Promonad.Reader
rebaseLan	Proarrow.Category.Bicategory.Kan
rebaseLift	Proarrow.Category.Bicategory.Kan
rebaseRan	Proarrow.Category.Bicategory.Kan
rebaseRift	Proarrow.Category.Bicategory.Kan
rec1Optic	Proarrow.Category.Monoidal.Optic
Refl	Proarrow.Category.Instance.Discrete
Reflexive	Proarrow.Category.Instance.Rel
reifyExp	Proarrow.Category.Instance.Constraint
Relation	Proarrow.Category.Instance.Rel
relax	Proarrow.Tools.Diagrams.Dot
REP	Proarrow.Category.Instance.Rep
Rep
1 (Type/Class)	Proarrow.Profunctor.Representable
2 (Data Constructor)	Proarrow.Profunctor.Representable
rep	Proarrow.Profunctor.Representable
RepCostar
1 (Type/Class)	Proarrow.Profunctor.Representable
2 (Data Constructor)	Proarrow.Profunctor.Representable
REPK	Proarrow.Category.Instance.Rep
Replace	Proarrow.Category.Monoidal.Optic
Replacing	Proarrow.Category.Monoidal.Optic
Replicate	Proarrow.Category.Instance.Simplex
RepLR	Proarrow.Category.Bicategory.Adj
repMap	Proarrow.Profunctor.Representable
repObj	Proarrow.Profunctor.Representable
Representable	Proarrow.Profunctor.Representable
reprIsFunctional	Proarrow.Category.Instance.Rel
reprIsTotal	Proarrow.Category.Instance.Rel
RepRL	Proarrow.Category.Bicategory.Adj
repTraverse	Proarrow.Category.Monoidal.Distributive
Retract	Proarrow.Profunctor.Free
retract
1 (Function)	Proarrow.Category.Instance.Free
2 (Function)	Proarrow.Profunctor.Free
retract'	Proarrow.Profunctor.Free
retractAp	Proarrow.Profunctor.Free
retractK	Proarrow.Profunctor.Free
return	Proarrow.Profunctor.Representable
REV	Proarrow.Category.Monoidal.Rev
Rev
1 (Type/Class)	Proarrow.Category.Monoidal.Rev
2 (Data Constructor)	Proarrow.Category.Monoidal.Rev
review	Proarrow.Profunctor.Constant
Rgt
1 (Data Constructor)	Proarrow.Object.BinaryCoproduct
2 (Data Constructor)	Proarrow.Tools.CCC
rgt	Proarrow.Object.BinaryCoproduct
rgt'	Proarrow.Object.BinaryCoproduct
RgtCat	Proarrow.Category.Instance.Fam
Rift
1 (Type/Class)	Proarrow.Category.Bicategory.Kan
2 (Type/Class)	Proarrow.Profunctor.Rift
3 (Data Constructor)	Proarrow.Profunctor.Rift
rift	Proarrow.Category.Bicategory.Kan
riftAlongLeftAdjoint	Proarrow.Category.Bicategory.Kan
riftAlongLeftAdjointInv	Proarrow.Category.Bicategory.Kan
riftCompose	Proarrow.Profunctor.Rift
riftComposeInv	Proarrow.Profunctor.Rift
riftHom	Proarrow.Profunctor.Rift
riftHomInv	Proarrow.Profunctor.Rift
riftMonadEta	Proarrow.Category.Bicategory.Kan
riftMonadMu	Proarrow.Category.Bicategory.Kan
riftUniv	Proarrow.Category.Bicategory.Kan
right	Proarrow.Object.BinaryCoproduct
right'	Proarrow.Object.BinaryCoproduct
rightAction	Proarrow.Category.Bicategory
rightAdjointPreservesLimits
1 (Function)	Proarrow.Adjunction
2 (Function)	Proarrow.Squares.Limit
rightAdjointPreservesLimitsInv
1 (Function)	Proarrow.Adjunction
2 (Function)	Proarrow.Squares.Limit
rightAdjunct
1 (Function)	Proarrow.Adjunction
2 (Function)	Proarrow.Squares.Relative
RightKanExtension	Proarrow.Category.Bicategory.Kan
RightKanLift	Proarrow.Category.Bicategory.Kan
RightUnitor	Proarrow.Category.Instance.Free
rightUnitor
1 (Function)	Proarrow.Category.Bicategory
2 (Function)	Proarrow.Category.Monoidal
rightUnitor'
1 (Function)	Proarrow.Category.Bicategory
2 (Function)	Proarrow.Category.Monoidal
rightUnitorCoprod	Proarrow.Object.BinaryCoproduct
rightUnitorCoprodInv	Proarrow.Object.BinaryCoproduct
RightUnitorInv	Proarrow.Category.Instance.Free
rightUnitorInv
1 (Function)	Proarrow.Category.Bicategory
2 (Function)	Proarrow.Category.Monoidal
rightUnitorInv'
1 (Function)	Proarrow.Category.Bicategory
2 (Function)	Proarrow.Category.Monoidal
rightUnitorInvWith
1 (Function)	Proarrow.Category.Bicategory
2 (Function)	Proarrow.Category.Monoidal
rightUnitorIso	Proarrow.Category.Monoidal
rightUnitorProd	Proarrow.Object.BinaryProduct
rightUnitorProdInv	Proarrow.Object.BinaryProduct
rightUnitorWith
1 (Function)	Proarrow.Category.Bicategory
2 (Function)	Proarrow.Category.Monoidal
rmap
1 (Function)	Proarrow.Core, Proarrow.Profunctor, Proarrow
2 (Function)	Proarrow.Category.Enriched
Rules	Proarrow.Category.Instance.Simplex
run
1 (Function)	Proarrow.Category.Bicategory.Kan
2 (Function)	Proarrow.Tools.Diagrams.Dot
runCont	Proarrow.Promonad.Cont
runRan
1 (Function)	Proarrow.Category.Instance.Nat
2 (Function)	Proarrow.Profunctor.Ran
runRanProf	Proarrow.Profunctor.Ran
runRift	Proarrow.Profunctor.Rift
runRiftProf	Proarrow.Profunctor.Rift
S
1 (Data Constructor)	Proarrow.Category.Instance.Simplex
2 (Type/Class)	Proarrow.Category.Instance.Fin
SAdj	Proarrow.Category.Bicategory.Adj
SC	Proarrow.Category.Instance.Cost
Scalar	Proarrow.Category.Monoidal
SCons
1 (Data Constructor)	Proarrow.Category.Bicategory.Strictified
2 (Data Constructor)	Proarrow.Category.Monoidal.Strictified
SCost	Proarrow.Category.Instance.Cost
SDuploidObj	Proarrow.Category.Instance.Duploid
second
1 (Function)	Proarrow.Category.Monoidal
2 (Function)	Proarrow.Object.BinaryProduct
second'	Proarrow.Category.Monoidal.Action
section	Proarrow.Profunctor.Cofree
section'	Proarrow.Profunctor.Cofree
SelfAction	Proarrow.Category.Monoidal.Action
Semicartesian	Proarrow.Object.Terminal
seq	Proarrow.Squares
SFin	Proarrow.Category.Instance.Fin
shift	Proarrow.Tools.Diagrams.Dot
shiftN	Proarrow.Category.Instance.FinRel
shiftNeg	Proarrow.Category.Instance.Duploid
shiftNegLift	Proarrow.Category.Instance.Duploid
shiftNegObj	Proarrow.Category.Instance.Duploid
shiftPos	Proarrow.Category.Instance.Duploid
shiftPosLift	Proarrow.Category.Instance.Duploid
shiftPosObj	Proarrow.Category.Instance.Duploid
Show2	Proarrow.Category.Instance.Free
showPostComp	Proarrow.Category.Instance.Free
Simplex	Proarrow.Category.Instance.Simplex
SINF	Proarrow.Category.Instance.Cost
sing	Proarrow.Category.Instance.Cost
singFin	Proarrow.Category.Instance.Fin
singleton
1 (Function)	Proarrow.Category.Bicategory.Strictified
2 (Function)	Proarrow.Category.Monoidal.Strictified
singNat	Proarrow.Category.Instance.Simplex
singPath
1 (Function)	Proarrow.Category.Bicategory.Strictified
2 (Function)	Proarrow.Category.Bicategory.Adj
Sink	Proarrow.Object.Pushout
SL	Proarrow.Category.Bicategory.Adj
SList	Proarrow.Category.Monoidal.Strictified
sList	Proarrow.Category.Monoidal.Strictified
SLL	Proarrow.Category.Bicategory.Adj
SLT	Proarrow.Category.Instance.Fin
SN	Proarrow.Category.Instance.Duploid
SNat	Proarrow.Category.Instance.Simplex
Snd
1 (Type/Class)	Proarrow.Category.Instance.Product
2 (Type/Class)	Proarrow.Category.Bicategory.Product
3 (Type/Class)	Proarrow.Category.Bicategory.Limit
4 (Data Constructor)	Proarrow.Object.BinaryProduct
snd
1 (Function)	Proarrow.Category.Bicategory.Product
2 (Function)	Proarrow.Object.BinaryProduct
snd'	Proarrow.Object.BinaryProduct
SndCat	Proarrow.Category.Instance.Cat
sndK	Proarrow.Category.Instance.Product
sndObj	Proarrow.Category.Bicategory.Limit
sndP	Proarrow.Profunctor.Product
SNil
1 (Data Constructor)	Proarrow.Category.Bicategory.Strictified
2 (Data Constructor)	Proarrow.Category.Monoidal.Strictified
3 (Data Constructor)	Proarrow.Category.Bicategory.Adj
SNilL	Proarrow.Category.Bicategory.Adj
SNilOrL	Proarrow.Category.Bicategory.Adj
SNilOrR	Proarrow.Category.Bicategory.Adj
SNilR	Proarrow.Category.Bicategory.Adj
source	Proarrow.Object.Pullback
SP
1 (Data Constructor)	Proarrow.Category.Instance.Span
2 (Data Constructor)	Proarrow.Category.Instance.Duploid
SPAN	Proarrow.Category.Instance.Span
Span
1 (Type/Class)	Proarrow.Category.Instance.Span
2 (Data Constructor)	Proarrow.Category.Instance.Span
SparseMatrix	Proarrow.Category.Instance.ZX
SPath	Proarrow.Category.Bicategory.Strictified
spider	Proarrow.Category.Monoidal.Hypergraph
spiderDefault	Proarrow.Category.Monoidal.Hypergraph
split
1 (Function)	Proarrow.Category.Instance.ZX
2 (Function)	Proarrow.Category.Instance.FinRel
3 (Function)	Proarrow.Tools.Diagrams.Dot
splitAll	Proarrow.Category.Bicategory.Strictified
splitFold
1 (Function)	Proarrow.Category.Bicategory.Strictified
2 (Function)	Proarrow.Category.Monoidal.Strictified
splits	Proarrow.Category.Instance.FinRel
SQ	Proarrow.Squares
Sq
1 (Type/Class)	Proarrow.Squares
2 (Data Constructor)	Proarrow.Squares
SQ'	Proarrow.Squares
Sq'	Proarrow.Squares
SR	Proarrow.Category.Bicategory.Adj
src	Proarrow.Core, Proarrow.Object, Proarrow
SRR	Proarrow.Category.Bicategory.Adj
SS
1 (Data Constructor)	Proarrow.Category.Instance.Simplex
2 (Data Constructor)	Proarrow.Category.Instance.Fin
SSing	Proarrow.Category.Monoidal.Strictified
ST	Proarrow.Category.Equipment.Stateful
St	Proarrow.Category.Bicategory.Strictified
Star
1 (Data Constructor)	Proarrow.Profunctor.Star
2 (Type/Class)	Proarrow.Profunctor.Star
Star'
1 (Type/Class)	Proarrow.Profunctor.Star
2 (Data Constructor)	Proarrow.Profunctor.Star
StarAutonomous	Proarrow.Object.Dual
starTraverse	Proarrow.Profunctor.Star
State
1 (Type/Class)	Proarrow.Category.Monoidal
2 (Type/Class)	Proarrow.Promonad.State
3 (Data Constructor)	Proarrow.Promonad.State
stCounit	Proarrow.Category.Bicategory.Strictified
Str
1 (Data Constructor)	Proarrow.Category.Bicategory.Strictified
2 (Data Constructor)	Proarrow.Category.Instance.Free
3 (Data Constructor)	Proarrow.Category.Monoidal.Strictified
strength	Proarrow.Category.Monoidal.Action
Strictified
1 (Type/Class)	Proarrow.Category.Bicategory.Strictified
2 (Type/Class)	Proarrow.Category.Monoidal.Strictified
Strong	Proarrow.Category.Monoidal.Action
StrongCoprod	Proarrow.Object.BinaryCoproduct
StrongDistributiveProfunctor	Proarrow.Category.Monoidal.Distributive
StrongMonoidalCorep	Proarrow.Category.Monoidal
StrongMonoidalRep	Proarrow.Category.Monoidal
strongPar0	Proarrow.Category.Monoidal.Action
StrongProd	Proarrow.Object.BinaryProduct
StrongSymMonAdj	Proarrow.Category.Instance.Duploid
Struct	Proarrow.Category.Instance.Free, Proarrow.Category.Instance.Free, Proarrow.Object.Terminal, Proarrow.Object.Initial, Proarrow.Object.BinaryProduct, Proarrow.Object.BinaryCoproduct, Proarrow.Object.Exponential
STSq	Proarrow.Category.Equipment.Stateful
STT	Proarrow.Category.Equipment.Stateful
StT
1 (Type/Class)	Proarrow.Category.Equipment.Stateful
2 (Data Constructor)	Proarrow.Category.Equipment.Stateful
STT'	Proarrow.Category.Equipment.Stateful
stUnit	Proarrow.Category.Bicategory.Strictified
SUB
1 (Type/Class)	Proarrow.Category.Bicategory.Sub
2 (Type/Class)	Proarrow.Category.Instance.Sub
Sub
1 (Type/Class)	Proarrow.Category.Bicategory.Sub
2 (Data Constructor)	Proarrow.Category.Bicategory.Sub
3 (Type/Class)	Proarrow.Category.Instance.Sub
4 (Data Constructor)	Proarrow.Category.Instance.Sub
SUBCAT
1 (Type/Class)	Proarrow.Category.Bicategory.Sub
2 (Type/Class)	Proarrow.Category.Instance.Sub
SubMonoidal	Proarrow.Category.Instance.Sub
suc	Proarrow.Category.Instance.Simplex
Sum	Proarrow.Object.BinaryCoproduct
sum	Proarrow.Object.BinaryCoproduct
Supplies	Proarrow.Category, Proarrow
Surjective	Proarrow.Category.Instance.Rel
Swap
1 (Data Constructor)	Proarrow.Category.Instance.Free
2 (Type/Class)	Proarrow.Category.Instance.Cat
swap	Proarrow.Category.Monoidal
swap'
1 (Function)	Proarrow.Category.Monoidal
2 (Function)	Proarrow.Category.Monoidal.Strictified
swap1	Proarrow.Category.Monoidal.Strictified
swap1Inv	Proarrow.Category.Monoidal.Strictified
swap2	Proarrow.Tools.Diagrams.Dot
swapClosed	Proarrow.Object.Exponential
swapCoprod	Proarrow.Object.BinaryCoproduct
swapCoprod'	Proarrow.Object.BinaryCoproduct
swapFst	Proarrow.Category.Monoidal
swapInner	Proarrow.Category.Monoidal
swapInner'	Proarrow.Category.Monoidal
swapNode	Proarrow.Tools.Diagrams.Dot
swapOuter	Proarrow.Category.Monoidal
swapProd	Proarrow.Object.BinaryProduct
swapProd'	Proarrow.Object.BinaryProduct
swapSnd	Proarrow.Category.Monoidal
Symmetric	Proarrow.Category.Instance.Rel
SymMonoidal	Proarrow.Category.Monoidal
SymMonoidalAction	Proarrow.Category.Monoidal.Action
SymRefl
1 (Type/Class)	Proarrow.Tools.Diagrams.Dot
2 (Data Constructor)	Proarrow.Tools.Diagrams.Dot
SZ
1 (Data Constructor)	Proarrow.Category.Instance.Simplex
2 (Data Constructor)	Proarrow.Category.Instance.Fin
tabulate	Proarrow.Profunctor.Representable
target	Proarrow.Object.Pullback
Tensor
1 (Type/Class)	Proarrow.Category.Promonoidal
2 (Data Constructor)	Proarrow.Category.Promonoidal
TensorIsCoproduct	Proarrow.Object.BinaryCoproduct
TensorIsProduct	Proarrow.Object.BinaryProduct
Term
1 (Type/Class)	Proarrow.Category.Instance.Fam
2 (Data Constructor)	Proarrow.Category.Instance.Fam
TermF
1 (Type/Class)	Proarrow.Object.Terminal
2 (Type/Class)	Proarrow.Tools.CCC
Terminal
1 (Type/Class)	Proarrow.Category.Bicategory.Terminal
2 (Data Constructor)	Proarrow.Category.Bicategory.Terminal
TerminalLimit	Proarrow.Category.Limit
TerminalObject
1 (Type/Class)	Proarrow.Category.Bicategory.Limit
2 (Type/Class)	Proarrow.Object.Terminal
TerminalProfunctor
1 (Type/Class)	Proarrow.Profunctor.Terminal
2 (Data Constructor)	Proarrow.Profunctor.Terminal
TerminalProfunctor'	Proarrow.Profunctor.Terminal
Terminate
1 (Type/Class)	Proarrow.Category.Bicategory.Limit
2 (Data Constructor)	Proarrow.Object.Terminal
3 (Type/Class)	Proarrow.Category.Instance.Cat
terminate
1 (Function)	Proarrow.Category.Bicategory.Limit
2 (Function)	Proarrow.Object.Terminal
terminate'	Proarrow.Object.Terminal
termUniv	Proarrow.Category.Bicategory.Limit
termUnivArr	Proarrow.Universal, Proarrow
TermUniversal	Proarrow.Universal, Proarrow
termUnivProp	Proarrow.Universal, Proarrow
Test	Proarrow.Profunctor.Cofree
test	Proarrow.Profunctor.Cofree
tgt	Proarrow.Core, Proarrow.Object, Proarrow
That	Proarrow.Category.Instance.PointedHask
These
1 (Type/Class)	Proarrow.Category.Instance.PointedHask
2 (Data Constructor)	Proarrow.Category.Instance.PointedHask
Thin	Proarrow.Category.Enriched.Thin
ThinProfunctor	Proarrow.Category.Enriched.Thin
This	Proarrow.Category.Instance.PointedHask
Tight	Proarrow.Category.Equipment
TightAdj	Proarrow.Category.Bicategory.Adj
TightAdjoint	Proarrow.Category.Equipment
TightPair	Proarrow.Category.Equipment
toBools	Proarrow.Category.Instance.FinRel
toCCC	Proarrow.Tools.CCC
toEl	Proarrow.Object.Exponential
toHask	Proarrow.Category.Instance.PointedHask
toInt	Proarrow.Category.Instance.IntConstruction
toLeft	Proarrow.Squares
toList	Proarrow.Profunctor.Fix
toMatrix	Proarrow.Category.Instance.ZX
Top
1 (Type/Class)	Proarrow.Category.Instance.Linear
2 (Data Constructor)	Proarrow.Category.Instance.Linear
toRight	Proarrow.Squares
toSelfAct	Proarrow.Category.Monoidal.Action
toSimplex	Proarrow.Category.Bicategory.Adj
toSimplexOp	Proarrow.Category.Bicategory.Adj
Total	Proarrow.Category.Instance.Rel
trace	Proarrow.Category.Monoidal.Action
traceCC	Proarrow.Object.Dual
TracedMonoidal	Proarrow.Category.Monoidal.Action
traceHG	Proarrow.Category.Monoidal.Hypergraph
Transitive	Proarrow.Category.Instance.Rel
transpose	Proarrow.Category.Instance.ZX
trav	Proarrow.Profunctor.Fold
Traversable	Proarrow.Category.Monoidal.Distributive
Traversal
1 (Type/Class)	Proarrow.Category.Monoidal.Optic
2 (Type/Class)	Proarrow.Squares
traverse	Proarrow.Category.Monoidal.Distributive
traversing	Proarrow.Category.Monoidal.Optic
traversing'	Proarrow.Category.Monoidal.Optic
trivialCorep	Proarrow.Profunctor.Corepresentable
trivialRep	Proarrow.Profunctor.Representable
TRU	Proarrow.Category.Instance.Bool
Tru	Proarrow.Category.Instance.Bool
Type	Proarrow.Category.Instance.Hask
u1Optic	Proarrow.Category.Monoidal.Optic
UN	Proarrow.Core
unAp	Proarrow.Category.Instance.Ap
unArr	Proarrow.Profunctor.Arrow
unAsLeftAdjoint	Proarrow.Universal, Proarrow
unAsRightAdjoint	Proarrow.Universal, Proarrow
unClassify	Proarrow.Category.Monoidal.Optic
unCo	Proarrow.Profunctor.Star
unCopower	Proarrow.Category.Instance.Nat
uncopower	Proarrow.Object.Copower
unCoprod	Proarrow.Object.BinaryCoproduct
unCorep	Proarrow.Profunctor.Corepresentable
unCorepStar	Proarrow.Profunctor.Representable
unCostar	Proarrow.Profunctor.Costar
unCoyoneda	Proarrow.Profunctor.Coyoneda
Uncurry
1 (Type/Class)	Proarrow.Category.Instance.Cat
2 (Data Constructor)	Proarrow.Category.Instance.Cat
uncurry	Proarrow.Object.Exponential
underlying	Proarrow.Category.Enriched
underlyingPt	Proarrow.Category.Instance.PointedHask
underlyingSelf	Proarrow.Category.Enriched
unEnd	Proarrow.Category.Limit
unEntails	Proarrow.Category.Instance.Constraint
unExp	Proarrow.Category.Instance.FinSet
unFin	Proarrow.Tools.Diagrams.Dot
unFinRel	Proarrow.Category.Instance.FinRel
unFinSet	Proarrow.Category.Instance.FinSet
unFlipApp	Proarrow.Squares
unflipCorep	Proarrow.Profunctor.Representable
unflipRep	Proarrow.Profunctor.Representable
unFromAdjunction	Proarrow.Universal, Proarrow
unFromPointed	Proarrow.Category.Instance.PointedHask
unFromProfunctor	Proarrow.Functor, Proarrow
UNFUN	Proarrow.Category.Bicategory.Prof
unHomK	Proarrow.Category.Bicategory.Hom
unId	Proarrow.Profunctor.Identity
Unit
1 (Type/Class)	Proarrow.Category.Instance.Unit
2 (Data Constructor)	Proarrow.Category.Instance.Unit
3 (Type/Class)	Proarrow.Category.Monoidal
4 (Data Constructor)	Proarrow.Profunctor.Free
unit
1 (Function)	Proarrow.Category.Bicategory
2 (Function)	Proarrow.Category.Bicategory.Relative
3 (Function)	Proarrow.Category.Instance.Linear
4 (Function)	Proarrow.Adjunction
5 (Function)	Proarrow.Squares
6 (Function)	Proarrow.Squares.Relative
unitAdj	Proarrow.Tools.Diagrams.Dot
UnitF	Proarrow.Category.Instance.Free
unitObj	Proarrow.Category.Monoidal
unitor	Proarrow.Category.Monoidal.Action
unitorInv	Proarrow.Category.Monoidal.Action
unitQuest	Proarrow.Category.Instance.Linear
UnitRep	Proarrow.Category.Monoidal
unitRep	Proarrow.Adjunction
unKleisli	Proarrow.Category.Instance.Kleisli
unLinear	Proarrow.Category.Instance.Linear
unMat	Proarrow.Category.Instance.Mat
unmult	Proarrow.Category.Instance.FinSet
unNat	Proarrow.Category.Instance.Nat
unNat'	Proarrow.Category.Instance.Nat
UnOp
1 (Type/Class)	Proarrow.Category.Opposite
2 (Data Constructor)	Proarrow.Category.Opposite
unOp	Proarrow.Category.Opposite
unpar0Corep	Proarrow.Category.Monoidal
unpar0Rep	Proarrow.Category.Monoidal
unparCorep	Proarrow.Category.Monoidal
unparRep	Proarrow.Category.Monoidal
unPower
1 (Function)	Proarrow.Object.Power
2 (Function)	Proarrow.Category.Instance.Nat
unpower	Proarrow.Object.Power
unPrelude	Proarrow.Functor, Proarrow
unPreview	Proarrow.Category.Monoidal.Optic
unProd	Proarrow.Object.BinaryProduct
unProf	Proarrow.Category.Instance.Prof
unPt	Proarrow.Category.Instance.PointedHask
unRan	Proarrow.Profunctor.Ran
unRe	Proarrow.Optic
unRep	Proarrow.Profunctor.Representable
unRepCostar	Proarrow.Profunctor.Representable
unReplace	Proarrow.Category.Monoidal.Optic
unRift	Proarrow.Profunctor.Rift
unsafeLinear	Proarrow.Category.Instance.Linear
unStar	Proarrow.Profunctor.Star
unStr
1 (Function)	Proarrow.Category.Bicategory.Strictified
2 (Function)	Proarrow.Category.Monoidal.Strictified
unSub	Proarrow.Category.Instance.Sub
unTensor	Proarrow.Category.Promonoidal
unUnOp	Proarrow.Category.Opposite
unUpdate	Proarrow.Category.Monoidal.Optic
unVec	Proarrow.Tools.Diagrams.Dot
Unweighted
1 (Type/Class)	Proarrow.Category.Limit
2 (Type/Class)	Proarrow.Category.Colimit
unWrapped	Proarrow.Profunctor.Wrapped
unYoneda	Proarrow.Profunctor.Yoneda
Up	Proarrow.Category.Instance.Duploid
Update	Proarrow.Category.Monoidal.Optic
Updating	Proarrow.Category.Monoidal.Optic
Ur
1 (Type/Class)	Proarrow.Category.Instance.Linear
2 (Data Constructor)	Proarrow.Category.Instance.Linear
urWith	Proarrow.Category.Instance.Linear
v1Optic	Proarrow.Category.Monoidal.Optic
VacuusOb	Proarrow.Object, Proarrow
vArr	Proarrow.Squares
vCombine	Proarrow.Squares
vCombineAll	Proarrow.Squares
Vec
1 (Type/Class)	Proarrow.Tools.Diagrams.Dot
2 (Data Constructor)	Proarrow.Tools.Diagrams.Dot
vId	Proarrow.Squares
view
1 (Function)	Proarrow.Category.Bicategory.Strictified
2 (Function)	Proarrow.Profunctor.Constant
VOID	Proarrow.Category.Instance.Zero
vSplit	Proarrow.Squares
vSplitAll	Proarrow.Squares
vUnitor	Proarrow.Squares
vUnitorInv	Proarrow.Squares
With
1 (Type/Class)	Proarrow.Category.Instance.Linear
2 (Data Constructor)	Proarrow.Category.Instance.Linear
withAdj	Proarrow.Category.Bicategory
withArr	Proarrow.Category.Enriched.Thin
withAssocMult	Proarrow.Category.Instance.Mat
withAssocPlus	Proarrow.Category.Instance.Mat
withCorepOb	Proarrow.Profunctor.Corepresentable
withCotightAdjoint	Proarrow.Category.Equipment
withDist	Proarrow.Category.Instance.Mat
WithEq	Proarrow.Category.Instance.Free
withEq
1 (Function)	Proarrow.Category.Enriched.Thin
2 (Function)	Proarrow.Category.Instance.Discrete
withIsList2	Proarrow.Category.Monoidal.Strictified
withIsNat	Proarrow.Category.Instance.Mat
withIsObTagFold	Proarrow.Category.Bicategory.Strictified
withIsPath	Proarrow.Category.Bicategory.Strictified
withIsPath2
1 (Function)	Proarrow.Category.Bicategory.Strictified
2 (Function)	Proarrow.Category.Bicategory.Adj
withLowerOb	Proarrow.Category.Instance.Free
withMultNat	Proarrow.Category.Instance.Mat
withMultSucc	Proarrow.Category.Instance.Mat
withMultSym	Proarrow.Category.Instance.Mat
withNegOb	Proarrow.Category.Instance.Duploid
withOb0s	Proarrow.Category.Bicategory
withOb2
1 (Function)	Proarrow.Category.Bicategory
2 (Function)	Proarrow.Category.Monoidal
withObAct	Proarrow.Category.Monoidal.Action
withObCoExp	Proarrow.Object.Coexponential
withObColimit	Proarrow.Category.Equipment.Limit
withObCopower	Proarrow.Object.Copower
withObCoprod	Proarrow.Object.BinaryCoproduct
withObExp	Proarrow.Object.Exponential
withObLimit	Proarrow.Category.Equipment.Limit
withObNFold	Proarrow.Category.Monoidal.Hypergraph
WithObO2	Proarrow.Category.Bicategory.Sub, Proarrow.Category.Equipment
withObO2	Proarrow.Category.Bicategory.Sub, Proarrow.Category.Equipment
withObPower	Proarrow.Object.Power
withObProd	Proarrow.Object.BinaryProduct
withPathO2	Proarrow.Category.Bicategory.Strictified
withPlusIsNat
1 (Function)	Proarrow.Category.Instance.ZX
2 (Function)	Proarrow.Category.Instance.Cost
withPlusNat	Proarrow.Category.Instance.Mat
withPlusSucc	Proarrow.Category.Instance.Mat
withPlusSym	Proarrow.Category.Instance.Mat
withPosOb	Proarrow.Category.Instance.Duploid
withProObj	Proarrow.Category.Enriched
WithReader	Proarrow.Category.Equipment.Stateful
withRepOb	Proarrow.Profunctor.Representable
WithShow	Proarrow.Category.Instance.Free
withTightAdjoint	Proarrow.Category.Equipment
WithWriter	Proarrow.Category.Equipment.Stateful
Wrapped
1 (Type/Class)	Proarrow.Profunctor.Wrapped
2 (Data Constructor)	Proarrow.Profunctor.Wrapped
wrapped	Proarrow.Profunctor.Wrapped
Writer
1 (Type/Class)	Proarrow.Promonad.Writer
2 (Data Constructor)	Proarrow.Promonad.Writer
writerComp	Proarrow.Promonad.Writer
writerDay	Proarrow.Promonad.Writer
X
1 (Data Constructor)	Proarrow.Category.Instance.Simplex
2 (Type/Class)	Proarrow.Category.Instance.Fam
xCopy	Proarrow.Category.Instance.ZX
xDisc	Proarrow.Category.Instance.ZX
xSpider	Proarrow.Category.Instance.ZX
Y	Proarrow.Category.Instance.Simplex
Yo
1 (Type/Class)	Proarrow.Profunctor.Yoneda
2 (Data Constructor)	Proarrow.Profunctor.Yoneda
Yoneda
1 (Type/Class)	Proarrow.Profunctor.Yoneda
2 (Data Constructor)	Proarrow.Profunctor.Yoneda
yoneda	Proarrow.Profunctor.Yoneda
Z
1 (Data Constructor)	Proarrow.Category.Instance.Simplex
2 (Type/Class)	Proarrow.Category.Instance.Fin
zCopy	Proarrow.Category.Instance.ZX
zDisc	Proarrow.Category.Instance.ZX
ZEQ	Proarrow.Category.Instance.Fin
Zero	Proarrow.Category.Instance.Zero
zero
1 (Function)	Proarrow.Object.Initial
2 (Function)	Proarrow.Category.Instance.Mat
3 (Function)	Proarrow.Category.Instance.FinRel
zeroState	Proarrow.Category.Instance.ZX
zipV3	Proarrow.Tools.Diagrams.Dot
ZLT	Proarrow.Category.Instance.Fin
zSpider	Proarrow.Category.Instance.ZX
ZX
1 (Type/Class)	Proarrow.Category.Instance.ZX
2 (Data Constructor)	Proarrow.Category.Instance.ZX
ZZ	Proarrow.Category.Instance.Simplex
\\	Proarrow.Core, Proarrow.Profunctor, Proarrow
\\\	Proarrow.Category.Bicategory
^	Proarrow.Object.Power
^.	Proarrow.Profunctor.Constant
^^^	Proarrow.Object.Exponential
_1	Proarrow.Category.Monoidal.Optic
_2	Proarrow.Category.Monoidal.Optic
\|>
1 (Type/Class)	Proarrow.Category.Bicategory.Kan
2 (Type/Class)	Proarrow.Profunctor.Ran
\|\|
1 (Function)	Proarrow.Category.Bicategory
2 (Function)	Proarrow.Category.Monoidal
3 (Type/Class)	Proarrow.Object.BinaryCoproduct
4 (Function)	Proarrow.Category.Monoidal.Strictified
\|\|\|
1 (Function)	Proarrow.Object.BinaryCoproduct
2 (Function)	Proarrow.Squares
~>	Proarrow.Core, Proarrow.Category, Proarrow, Proarrow
~~>	Proarrow.Object.Exponential
•	Proarrow.Category.Instance.Duploid
◦	Proarrow.Category.Instance.Duploid