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