Pandora.Pattern.Object.Ringoid

Documentation

class Semigroup a => Ringoid a where

When providing a new instance, you should ensure it satisfies the two laws:
* Left distributivity: x <> (y >< z) ≡ x <> y >< x <> z
* Right distributivity: (y >< z) <> x ≡ y <> x >< z <> x

Methods

(><) :: a -> a -> a

Instances

Ringoid a => Ringoid (Identity a)

Defined in Pandora.Paradigm.Basis.Identity

Methods

(><) :: Identity a -> Identity a -> Identity a

(Ringoid a, Ringoid b) => Ringoid (Product a b)

Defined in Pandora.Paradigm.Basis.Product

Methods

(><) :: Product a b -> Product a b -> Product a b

Ringoid a => Ringoid (Constant a b)

Defined in Pandora.Paradigm.Basis.Constant

Methods

(><) :: Constant a b -> Constant a b -> Constant a b