algebra-4.3.1: Constructive abstract algebra

Safe HaskellSafe
LanguageHaskell98

Numeric.Domain.Class

Synopsis

Documentation

class (ZeroProductSemiring d, Ring d) => Domain d #

(Integral) domain is the integral semiring.

Instances
(ZeroProductSemiring d, Ring d) => Domain d # 
Instance details

Defined in Numeric.Domain.Internal