Control.Object.Semiring

Documentation

class Semigroup a => Semiring a where

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