algebra-4.2: Constructive abstract algebra

Numeric.Rng.Class

Synopsis

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

A Ring without an identity.

Instances