algebra-4.3.1: Constructive abstract algebra

Safe HaskellSafe
LanguageHaskell98

Numeric.Domain.Integral

Synopsis

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 # 
Instance details

Defined in Numeric.Domain.Internal

Methods

divides :: Integer -> Integer -> Bool #

maybeQuot :: Integer -> Integer -> Maybe Integer #

GCDDomain d => IntegralDomain (Fraction d) # 
Instance details

Defined in Numeric.Field.Fraction

Methods

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

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