AERN2.MP.Float.Conversions

Conversions and comparisons of arbitrary precision floating point numbers

MPFloat to other types (see also instances)

toDouble :: MPFloat -> Double

MPFloat constructors (see also instances)

type CanBeMPFloat t = ConvertibleExactly t MPFloat

mpFloat :: CanBeMPFloat t => t -> MPFloat

fromIntegerCEDU :: Precision -> Integer -> BoundsCEDU MPFloat

fromRationalCEDU :: Precision -> Rational -> BoundsCEDU MPFloat

comparisons and constants (see also instances)

zero :: MPFloat

one :: MPFloat

two :: MPFloat

nan :: MPFloat

infinity :: MPFloat

Orphan instances

CanTestFinite MPFloat

Methods

isInfinite :: MPFloat -> Bool

isFinite :: MPFloat -> Bool

CanTestNaN MPFloat

Methods

isNaN :: MPFloat -> Bool

CanTestZero MPFloat

Methods

isCertainlyZero :: MPFloat -> Bool

isCertainlyNonZero :: MPFloat -> Bool

CanTestPosNeg MPFloat

Methods

isCertainlyPositive :: MPFloat -> Bool

isCertainlyNonNegative :: MPFloat -> Bool

isCertainlyNegative :: MPFloat -> Bool

isCertainlyNonPositive :: MPFloat -> Bool

CanRound MPFloat

Associated Types

type RoundType MPFloat

Methods

properFraction :: MPFloat -> (RoundType MPFloat, MPFloat)

truncate :: MPFloat -> RoundType MPFloat

round :: MPFloat -> RoundType MPFloat

ceiling :: MPFloat -> RoundType MPFloat

floor :: MPFloat -> RoundType MPFloat

Convertible MPFloat Double

Methods

safeConvert :: MPFloat -> ConvertResult Double

HasEqAsymmetric MPFloat MPFloat

Associated Types

type EqCompareType MPFloat MPFloat

Methods

equalTo :: MPFloat -> MPFloat -> EqCompareType MPFloat MPFloat

notEqualTo :: MPFloat -> MPFloat -> EqCompareType MPFloat MPFloat

HasEqAsymmetric MPFloat Rational

Associated Types

type EqCompareType MPFloat Rational

Methods

equalTo :: MPFloat -> Rational -> EqCompareType MPFloat Rational

notEqualTo :: MPFloat -> Rational -> EqCompareType MPFloat Rational

HasEqAsymmetric MPFloat Integer

Associated Types

type EqCompareType MPFloat Integer

Methods

equalTo :: MPFloat -> Integer -> EqCompareType MPFloat Integer

notEqualTo :: MPFloat -> Integer -> EqCompareType MPFloat Integer

HasEqAsymmetric MPFloat Int

Associated Types

type EqCompareType MPFloat Int

Methods

equalTo :: MPFloat -> Int -> EqCompareType MPFloat Int

notEqualTo :: MPFloat -> Int -> EqCompareType MPFloat Int

HasEqAsymmetric Rational MPFloat

Associated Types

type EqCompareType Rational MPFloat

Methods

equalTo :: Rational -> MPFloat -> EqCompareType Rational MPFloat

notEqualTo :: Rational -> MPFloat -> EqCompareType Rational MPFloat

HasEqAsymmetric Approx Approx

Associated Types

type EqCompareType Approx Approx

Methods

equalTo :: Approx -> Approx -> EqCompareType Approx Approx

notEqualTo :: Approx -> Approx -> EqCompareType Approx Approx

HasEqAsymmetric Integer MPFloat

Associated Types

type EqCompareType Integer MPFloat

Methods

equalTo :: Integer -> MPFloat -> EqCompareType Integer MPFloat

notEqualTo :: Integer -> MPFloat -> EqCompareType Integer MPFloat

HasEqAsymmetric Int MPFloat

Associated Types

type EqCompareType Int MPFloat

Methods

equalTo :: Int -> MPFloat -> EqCompareType Int MPFloat

notEqualTo :: Int -> MPFloat -> EqCompareType Int MPFloat

ConvertibleExactly MPFloat MPFloat

Methods

safeConvertExactly :: MPFloat -> ConvertResult MPFloat

ConvertibleExactly MPFloat Rational

Methods

safeConvertExactly :: MPFloat -> ConvertResult Rational

ConvertibleExactly Approx Rational

Methods

safeConvertExactly :: Approx -> ConvertResult Rational

ConvertibleExactly Integer MPFloat

Methods

safeConvertExactly :: Integer -> ConvertResult MPFloat

ConvertibleExactly Int MPFloat

Methods

safeConvertExactly :: Int -> ConvertResult MPFloat

CanMinMaxAsymmetric MPFloat MPFloat

Associated Types

type MinMaxType MPFloat MPFloat

Methods

min :: MPFloat -> MPFloat -> MinMaxType MPFloat MPFloat

max :: MPFloat -> MPFloat -> MinMaxType MPFloat MPFloat

HasOrderAsymmetric MPFloat MPFloat

Associated Types

type OrderCompareType MPFloat MPFloat

Methods

lessThan :: MPFloat -> MPFloat -> OrderCompareType MPFloat MPFloat

greaterThan :: MPFloat -> MPFloat -> OrderCompareType MPFloat MPFloat

leq :: MPFloat -> MPFloat -> OrderCompareType MPFloat MPFloat

geq :: MPFloat -> MPFloat -> OrderCompareType MPFloat MPFloat

HasOrderAsymmetric MPFloat Rational

Associated Types

type OrderCompareType MPFloat Rational

Methods

lessThan :: MPFloat -> Rational -> OrderCompareType MPFloat Rational

greaterThan :: MPFloat -> Rational -> OrderCompareType MPFloat Rational

leq :: MPFloat -> Rational -> OrderCompareType MPFloat Rational

geq :: MPFloat -> Rational -> OrderCompareType MPFloat Rational

HasOrderAsymmetric MPFloat Integer

Associated Types

type OrderCompareType MPFloat Integer

Methods

lessThan :: MPFloat -> Integer -> OrderCompareType MPFloat Integer

greaterThan :: MPFloat -> Integer -> OrderCompareType MPFloat Integer

leq :: MPFloat -> Integer -> OrderCompareType MPFloat Integer

geq :: MPFloat -> Integer -> OrderCompareType MPFloat Integer

HasOrderAsymmetric MPFloat Int

Associated Types

type OrderCompareType MPFloat Int

Methods

lessThan :: MPFloat -> Int -> OrderCompareType MPFloat Int

greaterThan :: MPFloat -> Int -> OrderCompareType MPFloat Int

leq :: MPFloat -> Int -> OrderCompareType MPFloat Int

geq :: MPFloat -> Int -> OrderCompareType MPFloat Int

HasOrderAsymmetric Rational MPFloat

Associated Types

type OrderCompareType Rational MPFloat

Methods

lessThan :: Rational -> MPFloat -> OrderCompareType Rational MPFloat

greaterThan :: Rational -> MPFloat -> OrderCompareType Rational MPFloat

leq :: Rational -> MPFloat -> OrderCompareType Rational MPFloat

geq :: Rational -> MPFloat -> OrderCompareType Rational MPFloat

HasOrderAsymmetric Approx Approx

Associated Types

type OrderCompareType Approx Approx

Methods

lessThan :: Approx -> Approx -> OrderCompareType Approx Approx

greaterThan :: Approx -> Approx -> OrderCompareType Approx Approx

leq :: Approx -> Approx -> OrderCompareType Approx Approx

geq :: Approx -> Approx -> OrderCompareType Approx Approx

HasOrderAsymmetric Integer MPFloat

Associated Types

type OrderCompareType Integer MPFloat

Methods

lessThan :: Integer -> MPFloat -> OrderCompareType Integer MPFloat

greaterThan :: Integer -> MPFloat -> OrderCompareType Integer MPFloat

leq :: Integer -> MPFloat -> OrderCompareType Integer MPFloat

geq :: Integer -> MPFloat -> OrderCompareType Integer MPFloat

HasOrderAsymmetric Int MPFloat

Associated Types

type OrderCompareType Int MPFloat

Methods

lessThan :: Int -> MPFloat -> OrderCompareType Int MPFloat

greaterThan :: Int -> MPFloat -> OrderCompareType Int MPFloat

leq :: Int -> MPFloat -> OrderCompareType Int MPFloat

geq :: Int -> MPFloat -> OrderCompareType Int MPFloat