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

I
1 (Type/Class)	Proarrow.Category.Bicategory
2 (Data Constructor)	Proarrow.Category.Instance.IntConstruction
Id
1 (Data Constructor)	Proarrow.Category.Bicategory.CategoryAsBi
2 (Data Constructor)	Proarrow.Category.Instance.Free
3 (Type/Class)	Proarrow.Profunctor.Identity
4 (Data Constructor)	Proarrow.Profunctor.Identity
id	Proarrow.Core, Proarrow.Promonad, Proarrow
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
IntMinus	Proarrow.Category.Instance.IntConstruction
IntPlus	Proarrow.Category.Instance.IntConstruction
introI	Proarrow.Category.Bicategory.Strictified
introO	Proarrow.Category.Bicategory.Strictified
iObj	Proarrow.Category.Bicategory
Is	Proarrow.Core
IsBool	Proarrow.Category.Instance.Bool
IsBoolArr	Proarrow.Category.Instance.Bool
IsChart	Proarrow.Category.Monoidal.Optic
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	Proarrow.Core
iso	Proarrow.Core
Iso'	Proarrow.Core
IsOb	Proarrow.Category.Bicategory.Sub, Proarrow.Category.Equipment
IsOb0	Proarrow.Category.Bicategory.Sub
IsObI	Proarrow.Category.Bicategory.Sub
IsObMult	Proarrow.Category.Instance.Sub
IsOptic	Proarrow.Category.Monoidal.Optic
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