Safe Haskell | None |
---|---|
Language | Haskell98 |
A Field
is a Ring
in which all nonzero elements
have a multiplicative inverse.
Field typeclass
class (Euclidean a, Ring a) => Field a Source #
Instances
Field Double Source # | |
Defined in Data.Euclidean | |
Field Float Source # | |
Defined in Data.Euclidean | |
Field () Source # | |
Defined in Data.Euclidean | |
Field CFloat Source # | |
Defined in Data.Euclidean | |
Field CDouble Source # | |
Defined in Data.Euclidean | |
Integral a => Field (Ratio a) Source # | |
Defined in Data.Euclidean | |
Field a => Field (Complex a) Source # | |
Defined in Data.Euclidean | |
(Eq a, Fractional a) => Field (WrappedFractional a) Source # | |
Defined in Data.Euclidean |
divide :: Field a => a -> a -> a infixl 7 Source #
Divide two elements of a Field
.
For any Fractional
type, this is the same as '(Prelude./)'.
xdivide
y = xtimes
recip
y
fromRational :: Field a => Rational -> a Source #
Convert from rational to field.