morphisms-objects-0.1.3: Algebraic structures

Safe Haskell Safe Haskell2010

Control.Object.Semiring

Synopsis

# Documentation

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 #