Math.ExpPairs.RatioInf

Provides types and necessary instances for rational numbers, extended with infinite values. Just use RationalInf instead of Rational from Data.Ratio.

Documentation

data RatioInf t

Extends a rational type with positive and negative infinities.

Constructors

InfMinus

Negative infinity

Finite !(Ratio t)

Finite value

InfPlus

Positive infinity

Instances

Eq t => Eq (RatioInf t)

Integral t => Fractional (RatioInf t)

Integral t => Num (RatioInf t)

Integral t => Ord (RatioInf t)

Integral t => Real (RatioInf t)

(Integral t, Show t) => Show (RatioInf t)

type RationalInf = RatioInf Integer

Arbitrary-precision rational numbers with positive and negative infinities.