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 infixl 7

Instances

Ringoid Boolean

Defined in Pandora.Paradigm.Primary.Object.Boolean

Methods

(*) :: Boolean -> Boolean -> Boolean

Ringoid Natural

Defined in Pandora.Paradigm.Primary.Object.Natural

Methods

(*) :: Natural -> Natural -> Natural

Ringoid a => Ringoid (Identity a)

Defined in Pandora.Paradigm.Primary.Functor.Identity

Methods

(*) :: Identity a -> Identity a -> Identity a

Ringoid a => Ringoid (Delta a)

Defined in Pandora.Paradigm.Primary.Functor.Delta

Methods

(*) :: Delta a -> Delta a -> Delta a

(Ringoid s, Ringoid a) => Ringoid (s :*: a)

Defined in Pandora.Paradigm.Primary.Functor.Product

Methods

(*) :: (s :*: a) -> (s :*: a) -> s :*: a

Ringoid a => Ringoid (Tagged tag a)

Defined in Pandora.Paradigm.Primary.Functor.Tagged

Methods

(*) :: Tagged tag a -> Tagged tag a -> Tagged tag a

Ringoid a => Ringoid (Constant a b)

Defined in Pandora.Paradigm.Primary.Functor.Constant

Methods

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