Pandora.Pattern.Object.Semiring

Documentation

class Ringoid a => Semiring a

When providing a new instance, you should ensure it satisfies one law:
* Associativity: x * (y * z) ≡ (x * y) * z