numeric-prelude-0.1.2: An experimental alternative hierarchy of numeric type classesSource codeContentsIndex
Number.Ratio
Portabilityportable (?)
Stabilityprovisional
Maintainernumericprelude@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
show/hide Instances
C a => C Integer (T a)
Eq a => Eq (T a)
(Num a, C a, C a) => Fractional (T a)
(Num a, C 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)
(Storable a, C a) => Storable (T a)
(Random a, C a, C a) => Random (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 => Zero (T a)
C a => C (T a) (T a)
C a => C (T a) (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 => C (T a) (T a)
(%) :: C a => a -> a -> T aSource
type Rational = T IntegerSource
fromValue :: C a => a -> T aSource
scale :: C a => a -> T a -> T aSource
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 -> StringSource
This is an alternative show method that is more user-friendly but also potentially more ambigious.
toRational98 :: (Integral a, C a) => T a -> Ratio aSource
Necessary when mixing NumericPrelude Rationals with Prelude98 Rationals
Produced by Haddock version 2.4.2