algebra-0.4.0: Constructive abstract algebra

Numeric.Semiring.Integral

Documentation

class (AdditiveMonoid r, Semiring r) => IntegralSemiring r Source

Instances