numeric-prelude-0.0.5: An experimental alternative hierarchy of numeric type classesSource codeContentsIndex
Algebra.ToRational
Synopsis
class C a => C a where
toRational :: a -> Rational
Documentation
class C a => C a whereSource

This class allows lossless conversion from any representation of a rational to the fixed Rational type. "Lossless" means - don't do any rounding. For rounding see Algebra.RealField. With the instances for Float and Double we acknowledge that these types actually represent rationals rather than (approximated) real numbers. However, this contradicts to the Algebra.Transcendental

Laws that must be satisfied by instances:

  fromRational' . toRational === id
Methods
toRational :: a -> RationalSource
Lossless conversion from any representation of a rational to Rational
show/hide Instances
Produced by Haddock version 2.6.0