algebra-2.1: Constructive abstract algebra

Numeric.Rng.Class

Synopsis

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

A Ring without an identity.

Instances