algebra-4.2: Constructive abstract algebra

Safe HaskellSafe-Inferred
LanguageHaskell98

Numeric.Domain.Class

Synopsis

Documentation

class (IntegralSemiring d, Ring d) => Domain d Source

(Integral) domain is the integral semiring.

Instances