Index - I
| idempotent_addition_on | Data.Semiring.Property |
| idempotent_multiplication_on | Data.Semiring.Property |
| identity | Data.Semimodule.Combinator |
| image | Data.Semimodule.Free |
| images | Data.Semimodule.Free |
| init | Data.Semimodule.Free |
| initial | Data.Semimodule.Free |
| inner | Data.Semimodule.Combinator |
| inv | Data.Semiring |
| inv1 | Data.Semimodule.Finite |
| inv2 | Data.Semimodule.Finite |
| inv3 | Data.Semimodule.Finite |
| inv4 | Data.Semimodule.Finite |
| invmap | Data.Semimodule.Free |