- class (AdditiveGroup r, Semiring r) => Rng r
Documentation
class (AdditiveGroup r, Semiring r) => Rng r Source
A Ring without an identity.
Rng Int | |
Rng Int8 | |
Rng Int16 | |
Rng Int32 | |
Rng Int64 | |
Rng Integer | |
Rng Word | |
Rng Word8 | |
Rng Word16 | |
Rng Word32 | |
Rng Word64 | |
Rng () | |
(Abelian r, AdditiveGroup r) => Rng (End r) | |
(AdditiveGroup r, Abelian r) => Rng (ZeroRng r) | |
Rng r => Rng (Opposite r) | |
Rng r => Rng (RngRing r) | |
(Rng a, Rng b) => Rng (a, b) | |
(Rng r, FreeCounitalCoalgebra r m) => Rng (Linear r m) | |
(Rng a, Rng b, Rng c) => Rng (a, b, c) | |
(Rng r, FreeCounitalCoalgebra r m) => Rng (Map r b m) | |
(Rng a, Rng b, Rng c, Rng d) => Rng (a, b, c, d) | |
(Rng a, Rng b, Rng c, Rng d, Rng e) => Rng (a, b, c, d, e) |