Safe Haskell | Safe |
---|---|

Language | Haskell98 |

- 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.

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 #

IntegralDomain Integer Source # | |

GCDDomain d => IntegralDomain (Fraction d) Source # | |