algebra-0.4.0: Constructive abstract algebra

Numeric.Rng.Class

Synopsis

Documentation

class (AdditiveGroup r, Semiring r) => Rng r Source

A Ring without an identity.

Instances

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)