Safe Haskell | Safe |
---|---|
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.Pattern.Object.Setoid | |
Quasiring a => Quasiring (Identity a) Source # | |
Defined in Pandora.Paradigm.Primary.Functor.Identity | |
(Quasiring a, Quasiring b) => Quasiring (Product a b) 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 |