pandora-0.2.7: A box of patterns and paradigms

Safe HaskellSafe
LanguageHaskell2010

Pandora.Pattern.Object.Quasiring

Synopsis

Documentation

class (Monoid a, Ringoid a) => Quasiring a where Source #

When providing a new instance, you should ensure it satisfies the one law:
* Additive identity is a multiplicative annihilator: zero * x = x  * zero = zero

Methods

one :: a Source #

Instances
Quasiring Boolean Source # 
Instance details

Defined in Pandora.Pattern.Object.Setoid

Methods

one :: Boolean Source #

Quasiring a => Quasiring (Identity a) Source # 
Instance details

Defined in Pandora.Paradigm.Primary.Functor.Identity

Methods

one :: Identity a Source #

(Quasiring a, Quasiring b) => Quasiring (Product a b) Source # 
Instance details

Defined in Pandora.Paradigm.Primary.Functor.Product

Methods

one :: Product a b Source #

Quasiring a => Quasiring (Tagged tag a) Source # 
Instance details

Defined in Pandora.Paradigm.Primary.Functor.Tagged

Methods

one :: Tagged tag a Source #

Quasiring a => Quasiring (Constant a b) Source # 
Instance details

Defined in Pandora.Paradigm.Primary.Functor.Constant

Methods

one :: Constant a b Source #