Pandora.Pattern.Object.Quasiring

Documentation

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

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

Methods

one :: a

Instances

Quasiring Boolean

Defined in Pandora.Paradigm.Primary.Object.Boolean

Methods

one :: Boolean

Quasiring Numerator

Defined in Pandora.Paradigm.Primary.Object.Numerator

Methods

one :: Numerator

Quasiring a => Quasiring (Exactly a)

Defined in Pandora.Paradigm.Primary.Functor.Exactly

Methods

one :: Exactly a

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

Defined in Pandora.Paradigm.Algebraic.Product

Methods

one :: s :*: a

Quasiring a => Quasiring (Vector a a)

Defined in Pandora.Paradigm.Primary.Linear.Vector

Methods

one :: Vector a a

(Quasiring a, Quasiring r, Quasiring (a :*: r), Quasiring (Vector r a)) => Quasiring (Vector (a :*: r) a)

Defined in Pandora.Paradigm.Primary.Linear.Vector

Methods

one :: Vector (a :*: r) a

Quasiring a => Quasiring (Constant a b)

Defined in Pandora.Paradigm.Primary.Functor.Constant

Methods

one :: Constant a b

Quasiring a => Quasiring (Tagged tag a)

Defined in Pandora.Paradigm.Primary.Functor.Tagged

Methods

one :: Tagged tag a