algebra-4.3: Constructive abstract algebra

Numeric.Rng.Class

Synopsis

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

A Ring without an identity.

Instances