Index - I
| idempotent_addition_on | Data.Semigroup.Property |
| idempotent_multiplication_on | Data.Semigroup.Property |
| identity | Data.Semimodule.Free |
| idx | 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 |