Index - I
| I | OAlg.Data.Symbol |
| Id | |
| 1 (Type/Class) | OAlg.Data.Identity |
| 2 (Data Constructor) | OAlg.Data.Identity |
| id | OAlg.Category.Definition, OAlg.Prelude |
| IdHom | |
| 1 (Type/Class) | OAlg.Hom.Oriented.Definition, OAlg.Hom.Oriented, OAlg.Hom.Proposition, OAlg.Hom |
| 2 (Data Constructor) | OAlg.Hom.Oriented.Definition, OAlg.Hom.Oriented, OAlg.Hom.Proposition, OAlg.Hom |
| IdPath | OAlg.Category.Path |
| 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 |
| InitialDiagram | OAlg.Limes.TerminalAndInitialPoint |
| InitialPoint | OAlg.Limes.TerminalAndInitialPoint |
| initialPointOrnt | OAlg.Limes.TerminalAndInitialPoint |
| Initials | OAlg.Limes.TerminalAndInitialPoint |
| inj | OAlg.Data.Canonical |
| Injective | OAlg.Limes.Perspective, OAlg.Limes.Cone.Definition, OAlg.Limes.Cone |
| Int | OAlg.Data.Number, OAlg.Prelude |
| intCone | OAlg.Limes.TerminalAndInitialPoint |
| intConeDuality | OAlg.Limes.TerminalAndInitialPoint |
| intDiagram | OAlg.Limes.TerminalAndInitialPoint |
| intDiagramDuality | OAlg.Limes.TerminalAndInitialPoint |
| Integer | OAlg.Data.Number, OAlg.Prelude |
| Integral | OAlg.Structure.Number.Definition, OAlg.Structure.Number |
| intLimesDuality | OAlg.Limes.TerminalAndInitialPoint |
| intLimitsDuality | OAlg.Limes.TerminalAndInitialPoint |
| 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 |
| 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 |
| IsEmpty | OAlg.Data.X, OAlg.Prelude |
| isEmpty | OAlg.Entity.Sequence.Definition, OAlg.Entity.Sequence |
| isEndo | OAlg.Structure.Oriented.Definition, OAlg.Structure.Oriented |
| isEndoAt | OAlg.Structure.Oriented.Definition, OAlg.Structure.Oriented |
| isFree | OAlg.Entity.Slice.Free, OAlg.Entity.Slice |
| 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 |
| isoCoMatrixDst | OAlg.Entity.Matrix.Definition, OAlg.Entity.Matrix |
| isoCoPath | OAlg.Hom.Oriented.Definition, OAlg.Hom.Oriented, OAlg.Hom.Proposition, OAlg.Hom |
| IsoDistributive | OAlg.Hom.Distributive, OAlg.Hom |
| isoFromOpOpDst | OAlg.Hom.Distributive, OAlg.Hom |
| isoFromOpOpMlt | OAlg.Hom.Multiplicative.Definition, OAlg.Hom.Multiplicative, OAlg.Hom.Proposition, OAlg.Hom |
| isoFromOpOpOrt | OAlg.Hom.Oriented.Definition, OAlg.Hom.Oriented, OAlg.Hom.Proposition, OAlg.Hom |
| IsoMultiplicative | OAlg.Hom.Multiplicative.Definition, OAlg.Hom.Multiplicative, OAlg.Hom.Proposition, OAlg.Hom |
| isOne | OAlg.Structure.Multiplicative.Definition, OAlg.Structure.Multiplicative |
| IsoOp | OAlg.Hom.Oriented.Definition, OAlg.Hom.Oriented, OAlg.Hom.Proposition, OAlg.Hom |
| IsoOpMap | OAlg.Hom.Oriented.Definition, OAlg.Hom.Oriented, OAlg.Hom.Proposition, OAlg.Hom |
| isoOppositeMlt | OAlg.Hom.Multiplicative.Definition, OAlg.Hom.Multiplicative, OAlg.Hom.Proposition, OAlg.Hom |
| IsoOriented | OAlg.Hom.Oriented.Definition, OAlg.Hom.Oriented, OAlg.Hom.Proposition, OAlg.Hom |
| IsoOrt | OAlg.Hom.Oriented.Definition, OAlg.Hom.Oriented, OAlg.Hom.Proposition, OAlg.Hom |
| isSubSet | OAlg.Entity.Sequence.Set, OAlg.Entity.Sequence |
| isZero | OAlg.Structure.Additive.Definition, OAlg.Structure.Additive |
| It | OAlg.Data.Ord, OAlg.Prelude |
| itfW | OAlg.Entity.Natural |