| I | |
| 1 (Type/Class) | Proarrow.Tools.Diagrams.Svg |
| 2 (Data Constructor) | Proarrow.Category.Instance.IntConstruction |
| Id | |
| 1 (Type/Class) | Proarrow.Profunctor.Instance.Identity |
| 2 (Data Constructor) | Proarrow.Profunctor.Instance.Identity |
| id | Proarrow.Core, Proarrow.Promonad, Proarrow |
| Ident | Proarrow.Tools.Diagrams.Svg |
| identity | |
| 1 (Function) | Proarrow.Tools.Diagrams.Svg |
| 2 (Function) | Proarrow.Category.Internal |
| idN | Proarrow.Path |
| If | Proarrow.Category.Instance.Bool |
| Image | Proarrow.Category.Sheaf |
| Images | Proarrow.Category.Sheaf |
| implies | Proarrow.Category.Topos |
| IN | Proarrow.Category.Internal |
| In | Proarrow.Profunctor.Instance.Fix |
| inClosedSieve | Proarrow.Category.Enriched.Finitary.Sheaf |
| Index | Proarrow.Category.Enriched.Thin |
| index | Proarrow.Profunctor.Representable, Proarrow |
| Indexed | Proarrow.Category.Enriched.Thin |
| IndexedList | Proarrow.Category.Enriched.Thin |
| IndexOf | Proarrow.Category.Enriched.Thin |
| indices | Proarrow.Category.Enriched.Finitary |
| Induce | Proarrow.Category.Sheaf |
| Induced | Proarrow.Category.Sheaf |
| Induces | Proarrow.Category.Sheaf |
| INF | Proarrow.Category.Instance.Cost |
| Inf | Proarrow.Category.Instance.Cost |
| infixlDoc | Proarrow.Testing.Laws.Run |
| infixrDoc | Proarrow.Testing.Laws.Run |
| InitF | Proarrow.Colimit.Initial |
| Initial | Proarrow.Colimit.Initial |
| InitialObject | Proarrow.Colimit.Initial |
| InitialProfunctor | Proarrow.Profunctor.Instance.Initial |
| InitialW | Proarrow.Testing.Laws.Run |
| Initiate | Proarrow.Category.Instance.Fam |
| initiate | Proarrow.Colimit.Initial |
| initiate' | Proarrow.Colimit.Initial |
| initUnivArr | Proarrow.Universal, Proarrow |
| InitUniversal | Proarrow.Universal, Proarrow |
| initUnivProp | Proarrow.Universal, Proarrow |
| InitUnivTgt | Proarrow.Universal, Proarrow |
| InJ | Proarrow.Tools.Laws |
| inject | Proarrow.Category.Enriched.Thin.Composition |
| Injective | Proarrow.Category.Instance.Rel |
| injectRight | Proarrow.Tools.CCC |
| InjL | |
| 1 (Data Constructor) | Proarrow.Profunctor.Instance.Coproduct |
| 2 (Data Constructor) | Proarrow.Category.Instance.Coproduct |
| 3 (Type/Class) | Proarrow.Category.Instance.Collage |
| injLOptic | Proarrow.Optic.Sum |
| InjR | |
| 1 (Data Constructor) | Proarrow.Profunctor.Instance.Coproduct |
| 2 (Data Constructor) | Proarrow.Category.Instance.Coproduct |
| 3 (Type/Class) | Proarrow.Category.Instance.Collage |
| injROptic | Proarrow.Optic.Sum |
| InK | Proarrow.Tools.Laws |
| InL | Proarrow.Category.Instance.Collage |
| inOrder | Proarrow.Tools.Diagrams.Svg |
| 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 |
| INTERNAL | Proarrow.Category.Internal |
| Internal | |
| 1 (Type/Class) | Proarrow.Category.Internal |
| 2 (Data Constructor) | Proarrow.Category.Internal |
| InternalIn | Proarrow.Category.Internal |
| internalIsFinite | Proarrow.Category.Internal |
| IntMinus | Proarrow.Category.Instance.IntConstruction |
| IntPlus | Proarrow.Category.Instance.IntConstruction |
| inverse | Proarrow.Tools.Diagrams.Svg |
| Inverses | |
| 1 (Type/Class) | Proarrow.Tools.Laws |
| 2 (Data Constructor) | Proarrow.Tools.Laws |
| inverses | Proarrow.Tools.Laws |
| invmap | Proarrow.Testing |
| involuted | Proarrow.Adjunction |
| Involution | Proarrow.Adjunction |
| Is | Proarrow.Core |
| IsBool | Proarrow.Category.Instance.Bool |
| isClosed | Proarrow.Category.Enriched.Finitary.Sheaf |
| IsCorepColimit | Proarrow.Colimit |
| IsCost | Proarrow.Category.Instance.Cost |
| isCovering | Proarrow.Category.Enriched.Finitary.Sheaf |
| isDense | Proarrow.Category.Enriched.Finitary.Sheaf |
| isEpi | Proarrow.Colimit.Pushout |
| isEq | Proarrow.Category.Topos |
| IsFreeOb | Proarrow.Category.Instance.Free |
| isFunctional | Proarrow.Category.Instance.Rel |
| isGenNonEmpty | Proarrow.Testing |
| 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 |
| isMaximal | Proarrow.Category.Enriched.Finitary.Sheaf |
| isMono | Proarrow.Limit.Pullback |
| IsNat | |
| 1 (Type/Class) | Proarrow.Category.Instance.Simplex |
| 2 (Type/Class) | Proarrow.Category.Instance.Mat |
| Iso | Proarrow.Optic.Iso, Proarrow.Optics, Proarrow |
| iso | Proarrow.Optic, Proarrow.Optics, Proarrow |
| Iso' | Proarrow.Optic.Iso, Proarrow.Optics, Proarrow |
| IsOb | Proarrow.Path |
| IsObExp | Proarrow.Profunctor.Instance.Exponential |
| IsObMult | Proarrow.Category.Instance.Sub |
| IsObProd | Proarrow.Category.Instance.Sub |
| IsoFl | Proarrow.Optic.Iso |
| IsOptic | Proarrow.Squares |
| IsOrdinal | Proarrow.Category.Instance.Ordinal |
| isoToInt | Proarrow.Category.Instance.IntConstruction |
| IsPath | Proarrow.Path |
| IsPN | Proarrow.Category.Instance.Duploid |
| IsPresheafSub | Proarrow.Category.Instance.Fam |
| isReflexive | Proarrow.Category.Instance.Rel |
| IsRepresentableLimit | Proarrow.Limit |
| isSheaf | Proarrow.Category.Enriched.Finitary.Sheaf |
| isSurjective | Proarrow.Category.Instance.Rel |
| IsTight | Proarrow.Path |
| isTotal | Proarrow.Category.Instance.Rel |
| isTransitive | Proarrow.Category.Instance.Rel |
| isZero | Proarrow.Category.Instance.ZX |
| ixed | Proarrow.Tools.Diagrams.Dot |
| ixs | Proarrow.Tools.Diagrams.Dot |