morphisms-objects-0.1.3: Algebraic structures
Control.Object.Semiring
class Semigroup a => Semiring a where Source #
When providing a new instance, you should ensure it satisfies the two laws: * Commutativity: a >< b = b >< a * Distributivity: x <> (y >< z) = x <> y >< x <> z
Minimal complete definition
(><)
Methods
(><) :: a -> a -> a Source #