Index - I
| idempotent_addition_on | Data.Semigroup.Property |
| idempotent_multiplication_on | Data.Semigroup.Property |
| identity | Data.Semimodule.Transform, Data.Semimodule.Free |
| idx | Data.Semimodule.Free |
| image | Data.Semimodule.Transform |
| image' | Data.Semimodule.Transform |
| index | Data.Semimodule.Transform |
| init | Data.Semimodule.Transform |
| init' | Data.Semimodule.Transform |
| inner | Data.Semimodule.Transform, Data.Semimodule.Free |
| inv | Data.Semiring |
| inv1 | Data.Semimodule.Free |
| inv2 | Data.Semimodule.Free |
| inv3 | Data.Semimodule.Free |
| inv4 | Data.Semimodule.Free |
| invmap | Data.Semimodule.Transform |