algebra-0.9.0.3: Constructive abstract algebra

Numeric.Rng.Class

Synopsis

Documentation

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

A Ring without an identity.

Instances

(Group r, Semiring r) => Rng r 
(Group r, Abelian r) => Rng (ZeroRng r)