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 |