(Semiring Integer, Additive (ZeroRng r), Group r) => RightModule Integer (ZeroRng r) | |
(Semiring Natural, Additive (ZeroRng r), Monoidal r) => RightModule Natural (ZeroRng r) | |
(Semiring Integer, Additive (ZeroRng r), Group r) => LeftModule Integer (ZeroRng r) | |
(Semiring Natural, Additive (ZeroRng r), Monoidal r) => LeftModule Natural (ZeroRng r) | |
Eq r => Eq (ZeroRng r) | |
(Eq (ZeroRng r), Ord r) => Ord (ZeroRng r) | |
Read r => Read (ZeroRng r) | |
Show r => Show (ZeroRng r) | |
(Additive (ZeroRng r), Idempotent r) => Idempotent (ZeroRng r) | |
(Additive (ZeroRng r), Abelian r) => Abelian (ZeroRng r) | |
Additive r => Additive (ZeroRng r) | |
(LeftModule Natural (ZeroRng r), RightModule Natural (ZeroRng r), Monoidal r) => Monoidal (ZeroRng r) | |
(Additive (ZeroRng r), Abelian (ZeroRng r), Multiplicative (ZeroRng r), Monoidal r, Abelian r) => Semiring (ZeroRng r) | |
Monoidal r => Multiplicative (ZeroRng r) | |
(LeftModule Integer (ZeroRng r), RightModule Integer (ZeroRng r), Monoidal (ZeroRng r), Group r) => Group (ZeroRng r) | |
(Group (ZeroRng r), Semiring (ZeroRng r), Group r, Abelian r) => Rng (ZeroRng r) | |
(Multiplicative (ZeroRng r), Monoidal r) => Commutative (ZeroRng r) | |