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 the one law: * Additive identity is a multiplicative annihilator: zero * x = x * zero = zero
Instances
Quasiring Boolean Source # | |
Defined in Pandora.Paradigm.Primary.Object.Boolean | |
Quasiring Natural Source # | |
Defined in Pandora.Paradigm.Primary.Object.Natural | |
Quasiring a => Quasiring (Identity a) Source # | |
Defined in Pandora.Paradigm.Primary.Functor.Identity | |
(Quasiring s, Quasiring a) => Quasiring (s :*: a) Source # | |
Defined in Pandora.Paradigm.Primary.Functor.Product | |
Quasiring a => Quasiring (Tagged tag a) Source # | |
Defined in Pandora.Paradigm.Primary.Functor.Tagged | |
Quasiring a => Quasiring (Constant a b) Source # | |
Defined in Pandora.Paradigm.Primary.Functor.Constant |