pandora-0.2.0: A box of patterns and paradigms

Pandora.Pattern.Object.Quasiring

Synopsis

# Documentation

class (Monoid a, Ringoid a) => Quasiring a where Source #

When providing a new instance, you should ensure it satisfies the one law:
* Additive identity is a multiplicative annihilator: zero * x = x  * zero = zero

Methods

one :: a Source #