Numeric.Domain.Integral

Documentation

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

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

Methods

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

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

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

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

Instances

IntegralDomain Integer

Methods

divides :: Integer -> Integer -> Bool

maybeQuot :: Integer -> Integer -> Maybe Integer

GCDDomain d => IntegralDomain (Fraction d)

Methods

divides :: Fraction d -> Fraction d -> Bool

maybeQuot :: Fraction d -> Fraction d -> Maybe (Fraction d)