Number.Ratio
 Portability portable (?) Stability provisional Maintainer numericprelude@henning-thielemann.de
Description
Ratios of mathematical objects.
Synopsis
data T a = :% {
 numerator :: !a denominator :: !a
}
(%) :: C a => a -> a -> T a
type Rational = T Integer
fromValue :: C a => a -> T a
scale :: C a => a -> T a -> T a
split :: C a => T a -> (a, T a)
showsPrecAuto :: (Eq a, C a, Show a) => Int -> T a -> String -> String
toRational98 :: (Integral a, C a) => T a -> Ratio a
Documentation
 data T a Source
Constructors
:%
 numerator :: !a denominator :: !a
Instances
 C a => C Integer (T a) Eq a => Eq (T a) (Num a, C a) => Fractional (T a) (Num a, C a) => Num (T a) (Ord a, C a) => Ord (T a) (Read a, C a) => Read (T a) (Show a, C a) => Show (T a) (Arbitrary a, C a, C a) => Arbitrary (T a) (Ord a, C a) => C (T a) C a => C (T a) C a => C (T a) (C a, C a) => C (T a) (C a, C a) => C (T a) C a => C (T a) (C a, C a) => C (T a) (C a, C a) => C (T a) (Ord a, C a) => C (T a) C a => Divisible (T a) C a => C (T a) (T a) (C a, C a) => Sqr (T a) (T a) (C a, C a) => C (T a) (T a) (C a, C a) => C (T a) (T a)
 (%) :: C a => a -> a -> T a Source
 type Rational = T Integer Source
 fromValue :: C a => a -> T a Source
 scale :: C a => a -> T a -> T a Source
 split :: C a => T a -> (a, T a) Source
similar to Algebra.RealField.splitFraction
 showsPrecAuto :: (Eq a, C a, Show a) => Int -> T a -> String -> String Source
This is an alternative show method that is more user-friendly but also potentially more ambigious.
 toRational98 :: (Integral a, C a) => T a -> Ratio a Source
Necessary when mixing NumericPrelude Rationals with Prelude98 Rationals