pandora-0.1.1: A box of patterns and paradigms
Pandora.Pattern.Object.Ringoid
class Semigroup a => Ringoid a where Source #
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 Source #
Defined in Pandora.Paradigm.Basis.Identity
(><) :: Identity a -> Identity a -> Identity a Source #