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)

Defined in Math.ExpPairs.RatioInf

Methods

(==) :: RatioInf t -> RatioInf t -> Bool

(/=) :: RatioInf t -> RatioInf t -> Bool

Integral t => Fractional (RatioInf t)

Defined in Math.ExpPairs.RatioInf

Methods

(/) :: RatioInf t -> RatioInf t -> RatioInf t

recip :: RatioInf t -> RatioInf t

fromRational :: Rational -> RatioInf t

Integral t => Num (RatioInf t)

Defined in Math.ExpPairs.RatioInf

Methods

(+) :: RatioInf t -> RatioInf t -> RatioInf t

(-) :: RatioInf t -> RatioInf t -> RatioInf t

(*) :: RatioInf t -> RatioInf t -> RatioInf t

negate :: RatioInf t -> RatioInf t

abs :: RatioInf t -> RatioInf t

signum :: RatioInf t -> RatioInf t

fromInteger :: Integer -> RatioInf t

Integral t => Ord (RatioInf t)

Defined in Math.ExpPairs.RatioInf

Methods

compare :: RatioInf t -> RatioInf t -> Ordering

(<) :: RatioInf t -> RatioInf t -> Bool

(<=) :: RatioInf t -> RatioInf t -> Bool

(>) :: RatioInf t -> RatioInf t -> Bool

(>=) :: RatioInf t -> RatioInf t -> Bool

max :: RatioInf t -> RatioInf t -> RatioInf t

min :: RatioInf t -> RatioInf t -> RatioInf t

Integral t => Real (RatioInf t)

Defined in Math.ExpPairs.RatioInf

Methods

toRational :: RatioInf t -> Rational

Show t => Show (RatioInf t)

Defined in Math.ExpPairs.RatioInf

Methods

showsPrec :: Int -> RatioInf t -> ShowS

show :: RatioInf t -> String

showList :: [RatioInf t] -> ShowS

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

Defined in Math.ExpPairs.RatioInf

Methods

pretty :: RatioInf t -> Doc ann

prettyList :: [RatioInf t] -> Doc ann

type RationalInf = RatioInf Integer

Arbitrary-precision rational numbers with positive and negative infinities.