| Safe Haskell | Safe |
|---|---|
| Language | Haskell98 |
Numeric.Domain.Integral
- class (Domain d, Commutative d) => IntegralDomain d where
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 #
Instances
| IntegralDomain Integer Source # | |
| GCDDomain d => IntegralDomain (Fraction d) Source # | |