algebra-4.3.1: Constructive abstract algebra

Safe HaskellSafe
LanguageHaskell98

Numeric.Domain.Integral

Synopsis

Documentation

class (Domain d, Commutative d) => IntegralDomain d where Source #

An integral domain is a commutative domain in which 1≠0.

Methods

divides :: d -> d -> Bool infix 7 Source #

divides :: Euclidean d => d -> d -> Bool infix 7 Source #

maybeQuot :: d -> d -> Maybe d infix 7 Source #

maybeQuot :: Euclidean d => d -> d -> Maybe d infix 7 Source #