Math.ExpPairs.RatioInf

Rational numbers extended with infinities.

Documentation

data RatioInf t

Extend Ratio t with \( \pm \infty \) positive and negative infinities.

Constructors

InfMinus

\( - \infty \)

Finite !(Ratio t)

Finite value

InfPlus

\( + \infty \)

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.