Ratio package:numeric-prelude

type Ratio a = T (T a)
numeric-prelude Number.NonNegative
module Number.Ratio
numeric-prelude
Ratios of mathematical objects.
type Rational = T Rational
numeric-prelude Number.NonNegative
type Rational = T Integer
numeric-prelude Number.Ratio NumericPrelude NumericPrelude.Numeric
rationalPower :: C a => Rational -> T a -> T a
numeric-prelude Number.Root
fromRational :: C a => Rational -> a
numeric-prelude Algebra.Field NumericPrelude NumericPrelude.Numeric
Needed to work around shortcomings in GHC.
fromRational' :: C a => Rational -> a
numeric-prelude Algebra.Field NumericPrelude NumericPrelude.Numeric
approxRational :: (C a, C a) => a -> a -> Rational
numeric-prelude Algebra.RealRing NumericPrelude NumericPrelude.Numeric
TODO: Should be moved to a continued fraction module.
module Algebra.ToRational
numeric-prelude
toRational :: C a => a -> Rational
numeric-prelude Algebra.ToRational NumericPrelude NumericPrelude.Numeric
Lossless conversion from any representation of a rational to Rational
fromRational' :: Integer -> Rational -> T
numeric-prelude Number.FixedPoint.Check
fromRationalBasis :: Integer -> Int -> Rational -> T
numeric-prelude Number.FixedPoint.Check
fromRatio :: (C b, C a) => T a -> b
numeric-prelude Number.Physical
fromBaseRational :: Basis -> Rational -> T
numeric-prelude Number.Positional Number.Positional.Check
toRational98 :: Integral a => T a -> Ratio a
numeric-prelude Number.Ratio
Necessary when mixing NumericPrelude.Numeric Rationals with Prelude98 Rationals
accelerationOfEarthGravity :: (C a, C v) => T a v
numeric-prelude Number.SI
acceleration :: T Dimension
numeric-prelude Number.SI.Unit
Some common quantity classes.
accelerationOfEarthGravity :: C a => a
numeric-prelude Number.SI.Unit
Physical constants