Safe Haskell | Safe-Inferred |
---|---|
Language | Haskell2010 |
Documentation
class (Monoid a, Ringoid a) => Quasiring a where Source #
When providing a new instance, you should ensure it satisfies: * Additive identity is a multiplicative annihilator: zero * x = x * zero = zero
Instances
Quasiring Boolean Source # | |
Defined in Pandora.Paradigm.Primary.Object.Boolean | |
Quasiring Numerator Source # | |
Defined in Pandora.Paradigm.Primary.Object.Numerator | |
Quasiring a => Quasiring (Exactly a) Source # | |
Defined in Pandora.Paradigm.Primary.Functor.Exactly | |
(Quasiring s, Quasiring a) => Quasiring (s :*: a) Source # | |
Defined in Pandora.Paradigm.Algebraic.Product | |
Quasiring a => Quasiring (Vector a a) Source # | |
Defined in Pandora.Paradigm.Primary.Linear.Vector | |
(Quasiring a, Quasiring r, Quasiring (a :*: r), Quasiring (Vector r a)) => Quasiring (Vector (a :*: r) a) Source # | |
Quasiring a => Quasiring (Constant a b) Source # | |
Defined in Pandora.Paradigm.Primary.Functor.Constant | |
Quasiring a => Quasiring (Tagged tag a) Source # | |
Defined in Pandora.Paradigm.Primary.Functor.Tagged |