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 |
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 |
index | Proarrow.Profunctor.Representable |
InitF | Proarrow.Helper.CCC |
InitialLimit | |
1 (Type/Class) | Proarrow.Category.Colimit |
2 (Data Constructor) | Proarrow.Category.Colimit |
InitialObject | |
1 (Type/Class) | Proarrow.Object.Initial |
2 (Type/Class) | Proarrow.Category.Equipment.Limit |
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.Object.Initial |
2 (Function) | Proarrow.Category.Equipment.Limit |
initiate' | Proarrow.Object.Initial |
initUniv | Proarrow.Category.Equipment.Limit |
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 |
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 |
isCotabulator | Proarrow.Category.Bicategory.Prof |
IsFin | Proarrow.Category.Instance.Fin |
IsFunctorial | Proarrow.Category.Bicategory.Prof |
IsList | |
1 (Type/Class) | Proarrow.Category.Monoidal.Strictified |
2 (Type/Class) | Proarrow.Category.Instance.List |
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 |
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 |
IsSimplex | Proarrow.Category.Instance.Simplex |