| I | OAlg.Data.Symbol |
| Id | |
| 1 (Type/Class) | OAlg.Data.Identity, OAlg.Prelude |
| 2 (Data Constructor) | OAlg.Data.Identity, OAlg.Prelude |
| id | OAlg.Category.Definition, OAlg.Prelude |
| Id2 | |
| 1 (Type/Class) | OAlg.Data.Identity, OAlg.Prelude |
| 2 (Data Constructor) | OAlg.Data.Identity, OAlg.Prelude |
| IdPath | OAlg.Category.Path |
| idPnt | OAlg.Structure.Oriented.Point, OAlg.Structure.Oriented.Definition, OAlg.Structure.Oriented |
| idRt | OAlg.Structure.Fibred.Root, OAlg.Structure.Fibred.Definition, OAlg.Structure.Fibred |
| iFinList | OAlg.Entity.FinList |
| iFinList' | OAlg.Entity.FinList |
| iFinList0 | OAlg.Entity.FinList |
| image | OAlg.Entity.Sequence.Definition, OAlg.Entity.Sequence |
| Impl | OAlg.Data.Statement.Definition, OAlg.Data.Statement, OAlg.Prelude |
| implementation | OAlg.Control.Exception, OAlg.Prelude |
| ImplementationError | OAlg.Control.Exception, OAlg.Prelude |
| indent0 | OAlg.Data.Statement.Definition, OAlg.Data.Statement, OAlg.Prelude |
| IndexOutOfSupport | OAlg.Entity.Sequence.Definition, OAlg.Entity.Sequence |
| induction | OAlg.Entity.Natural |
| inductionS | OAlg.Entity.FinList |
| InitialCone | OAlg.Limes.TerminalAndInitialPoint |
| InitialConic | OAlg.Limes.TerminalAndInitialPoint |
| InitialDiagram | OAlg.Limes.TerminalAndInitialPoint |
| InitialDiagrammatic | OAlg.Limes.TerminalAndInitialPoint |
| InitialPoint | OAlg.Limes.TerminalAndInitialPoint |
| InitialPointG | OAlg.Limes.TerminalAndInitialPoint |
| initialPointOrnt | OAlg.Limes.TerminalAndInitialPoint |
| Initials | OAlg.Limes.TerminalAndInitialPoint |
| InitialsG | OAlg.Limes.TerminalAndInitialPoint |
| inj | OAlg.Data.Canonical |
| Injective | OAlg.Limes.Perspective, OAlg.Limes.Cone.Core, OAlg.Limes.Cone.Definition, OAlg.Limes.Cone |
| Int | OAlg.Data.Number, OAlg.Prelude |
| intCone | OAlg.Limes.TerminalAndInitialPoint |
| intDiagram | OAlg.Limes.TerminalAndInitialPoint |
| Integer | OAlg.Data.Number, OAlg.Prelude |
| Integral | OAlg.Structure.Number.Definition, OAlg.Structure.Number |
| intsOrnt | OAlg.Limes.TerminalAndInitialPoint |
| Inv | |
| 1 (Type/Class) | OAlg.Structure.Multiplicative.Definition, OAlg.Structure.Multiplicative |
| 2 (Data Constructor) | OAlg.Structure.Multiplicative.Definition, OAlg.Structure.Multiplicative |
| Inv2 | |
| 1 (Type/Class) | OAlg.Category.Definition, OAlg.Prelude |
| 2 (Data Constructor) | OAlg.Category.Definition, OAlg.Prelude |
| inv2 | OAlg.Category.Definition, OAlg.Prelude |
| inv2Forget | OAlg.Category.Definition, OAlg.Prelude |
| Invalid | OAlg.Data.Statement.Definition, OAlg.Data.Statement, OAlg.Prelude |
| InvalidData | OAlg.Control.Exception, OAlg.Prelude |
| invert | OAlg.Structure.Multiplicative.Definition, OAlg.Structure.Multiplicative |
| invert2 | OAlg.Category.Definition, OAlg.Prelude |
| Invertible | OAlg.Structure.Multiplicative.Definition, OAlg.Structure.Multiplicative |
| IO | OAlg.Prelude |
| iProxy | OAlg.Entity.Sequence.PSequence, OAlg.Entity.Sequence |
| isDefaultValue | OAlg.Entity.Sequence.FSequence, OAlg.Entity.Sequence |
| IsEmpty | OAlg.Data.X, OAlg.Prelude |
| isEmpty | |
| 1 (Function) | OAlg.Structure.PartiallyOrdered.Definition, OAlg.Structure.PartiallyOrdered |
| 2 (Function) | OAlg.Entity.Sequence.Definition, OAlg.Entity.Sequence |
| isEndo | OAlg.Structure.Oriented.Definition, OAlg.Structure.Oriented |
| isEndoAt | OAlg.Structure.Oriented.Definition, OAlg.Structure.Oriented |
| isExact | OAlg.Limes.Exact.Deviation |
| isExactVariance | OAlg.Limes.Exact.Deviation |
| isFree | OAlg.Entity.Slice.Free, OAlg.Entity.Slice |
| isFull | OAlg.Structure.PartiallyOrdered.Definition, OAlg.Structure.PartiallyOrdered |
| isInvertible | OAlg.Structure.Multiplicative.Definition, OAlg.Structure.Multiplicative |
| isJust | OAlg.Data.Maybe, OAlg.Prelude |
| isMinusOne | OAlg.Structure.Ring.Definition, OAlg.Structure.Ring |
| isNothing | OAlg.Data.Maybe, OAlg.Prelude |
| IsoCo | OAlg.Data.HomCo |
| isoCo | OAlg.Data.HomCo |
| isoCoMatrixOp | OAlg.Entity.Matrix.Definition, OAlg.Entity.Matrix |
| IsoHomDisj | OAlg.Hom.Definition, OAlg.Hom |
| isoHomDisj | OAlg.Hom.Definition, OAlg.Hom |
| isoHomDisj' | OAlg.Hom.Definition, OAlg.Hom |
| isOne | OAlg.Structure.Multiplicative.Definition, OAlg.Structure.Multiplicative |
| IsoO | OAlg.Hom.Definition, OAlg.Hom |
| isSubGraph | OAlg.Entity.Sequence.Graph, OAlg.Entity.Sequence |
| isSubSet | OAlg.Entity.Sequence.Set, OAlg.Entity.Sequence |
| isZero | OAlg.Structure.Additive.Definition, OAlg.Structure.Additive |
| isZeroPoint | OAlg.Limes.Exact.ZeroPoint |
| It | OAlg.Data.Ord, OAlg.Prelude |
| itfW | OAlg.Entity.Natural |