Safe Haskell | None |
---|---|
Language | Haskell98 |
Documentation
Fraction field k(D)
of Euclidean
domain D
.
Euclidean d => RightModule Integer (Fraction d) | |
Euclidean d => RightModule Natural (Fraction d) | |
Euclidean d => LeftModule Integer (Fraction d) | |
Euclidean d => LeftModule Natural (Fraction d) | |
(Eq d, Multiplicative d) => Eq (Fraction d) | |
(Ord d, Multiplicative d) => Ord (Fraction d) | |
(Eq d, Show d, Unital d) => Show (Fraction d) | |
Euclidean d => Abelian (Fraction d) | |
Euclidean d => Additive (Fraction d) | |
Euclidean d => Monoidal (Fraction d) | |
Euclidean d => Semiring (Fraction d) | |
Euclidean d => Multiplicative (Fraction d) | |
Euclidean d => Group (Fraction d) | |
Euclidean d => Unital (Fraction d) | |
Euclidean d => Division (Fraction d) | |
Euclidean d => DecidableUnits (Fraction d) | |
Euclidean d => DecidableZero (Fraction d) | |
Euclidean d => Rig (Fraction d) | |
(Characteristic d, Euclidean d) => Characteristic (Fraction d) | |
Euclidean d => Ring (Fraction d) | |
Euclidean d => IntegralSemiring (Fraction d) | |
(Commutative d, Euclidean d) => Commutative (Fraction d) |
denominator :: Fraction t -> t Source