- module Algebra.Structures.IntegralDomain
- class IntegralDomain a => Field a where
- inv :: a -> a
- propField :: (Field a, Eq a) => a -> a -> a -> Property
- (</>) :: Field a => a -> a -> a
Documentation
class IntegralDomain a => Field a whereSource
Definition of fields.
(GCDDomain a, Eq a) => Field (FieldOfFractions a) |