Pandora.Pattern.Object.Semiring
class Ringoid a => Semiring a Source #
When providing a new instance, you should ensure it satisfies: * Associativity: x * (y * z) ≡ (x * y) * z