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 (Type/Class)	Proarrow.Profunctor.Identity
3 (Data Constructor)	Proarrow.Profunctor.Identity
4 (Data Constructor)	Proarrow.Category.Instance.Free
id	Proarrow.Core, Proarrow.Promonad
idLan	Proarrow.Category.Bicategory.Kan
idLift	Proarrow.Category.Bicategory.Kan
idRan	Proarrow.Category.Bicategory.Kan
idRift	Proarrow.Category.Bicategory.Kan
In	Proarrow.Profunctor.Fix
Includes	Proarrow.Category.Instance.Free
index	Proarrow.Profunctor.Representable
InitF
1 (Type/Class)	Proarrow.Helper.CCC
2 (Type/Class)	Proarrow.Category.Instance.Free
Initial	Proarrow.Category.Instance.Free
InitialLimit
1 (Type/Class)	Proarrow.Category.Colimit
2 (Data Constructor)	Proarrow.Category.Colimit
InitialObject
1 (Type/Class)	Proarrow.Category.Equipment.Limit
2 (Type/Class)	Proarrow.Object.Initial
InitialProfunctor	Proarrow.Profunctor.Initial
Initiate
1 (Type/Class)	Proarrow.Category.Equipment.Limit
2 (Type/Class)	Proarrow.Category.Instance.Cat
3 (Data Constructor)	Proarrow.Category.Instance.Cat
initiate
1 (Function)	Proarrow.Category.Equipment.Limit
2 (Function)	Proarrow.Object.Initial
initiate'	Proarrow.Object.Initial
initUniv	Proarrow.Category.Equipment.Limit
Injective	Proarrow.Category.Instance.Rel
InjL
1 (Data Constructor)	Proarrow.Profunctor.Coproduct
2 (Type/Class)	Proarrow.Category.Instance.Collage
3 (Data Constructor)	Proarrow.Category.Instance.Collage
4 (Data Constructor)	Proarrow.Category.Instance.Coproduct
InjLP	Proarrow.Category.Instance.Cat
InjR
1 (Data Constructor)	Proarrow.Profunctor.Coproduct
2 (Type/Class)	Proarrow.Category.Instance.Collage
3 (Data Constructor)	Proarrow.Category.Instance.Collage
4 (Data Constructor)	Proarrow.Category.Instance.Coproduct
InjRP	Proarrow.Category.Instance.Cat
InL	Proarrow.Category.Instance.Collage
InR	Proarrow.Category.Instance.Collage
INT	Proarrow.Category.Instance.IntConstruction
Int	Proarrow.Category.Instance.IntConstruction
IntConstruction	Proarrow.Category.Instance.IntConstruction
Interp
1 (Type/Class)	Proarrow.Category.Instance.Free
2 (Data Constructor)	Proarrow.Category.Instance.Free
IntMinus	Proarrow.Category.Instance.IntConstruction
IntPlus	Proarrow.Category.Instance.IntConstruction
introI	Proarrow.Category.Bicategory.Strictified
introO	Proarrow.Category.Bicategory.Strictified
IntTy	Proarrow.Category.Instance.Free
IntTy'	Proarrow.Category.Instance.Free
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
IsChart	Proarrow.Category.Monoidal.Optic
isCotabulator	Proarrow.Category.Bicategory.Prof
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.Collage
2 (Type/Class)	Proarrow.Category.Instance.Coproduct
IsLTE	Proarrow.Category.Instance.Fin
IsNat
1 (Type/Class)	Proarrow.Category.Instance.Simplex
2 (Type/Class)	Proarrow.Category.Instance.Mat
IsOb	Proarrow.Category.Bicategory.Sub
IsOb0	Proarrow.Category.Bicategory.Sub
IsObI	Proarrow.Category.Bicategory.Sub
IsObMult	Proarrow.Category.Instance.Sub
IsObO	Proarrow.Category.Bicategory.Sub
IsOptic	Proarrow.Category.Monoidal.Optic
isoToInt	Proarrow.Category.Instance.IntConstruction
IsPath	Proarrow.Category.Bicategory.Strictified
IsPosetOf	Proarrow.Preorder
IsRepresentableColimit	Proarrow.Category.Colimit
IsRepresentableLimit	Proarrow.Category.Limit
isSurjective	Proarrow.Category.Instance.Rel
isTotal	Proarrow.Category.Instance.Rel