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 |