CanRound MPFloat #
Instance details Methods properFraction :: MPFloat -> (Integer, MPFloat) # truncate :: MPFloat -> Integer # round :: MPFloat -> Integer # ceiling :: MPFloat -> Integer # floor :: MPFloat -> Integer #
CanTestZero MPFloat #
Instance details Methods isCertainlyZero :: MPFloat -> Bool # isCertainlyNonZero :: MPFloat -> Bool #
CanTestPosNeg MPFloat #
Instance details Methods isCertainlyPositive :: MPFloat -> Bool # isCertainlyNonNegative :: MPFloat -> Bool # isCertainlyNegative :: MPFloat -> Bool # isCertainlyNonPositive :: MPFloat -> Bool #
HasNorm MPFloat #
Instance details Methods getNormLog :: MPFloat -> NormLog #
Convertible MPFloat Double #
Instance details Methods safeConvert :: MPFloat -> ConvertResult Double #
CanMinMaxAsymmetric MPFloat MPFloat #
Instance details Associated Types type MinMaxType MPFloat MPFloat :: * # Methods min :: MPFloat -> MPFloat -> MinMaxType MPFloat MPFloat # max :: MPFloat -> MPFloat -> MinMaxType MPFloat MPFloat #
HasEqAsymmetric Int MPFloat #
Instance details Associated Types type EqCompareType Int MPFloat :: * # Methods equalTo :: Int -> MPFloat -> EqCompareType Int MPFloat # notEqualTo :: Int -> MPFloat -> EqCompareType Int MPFloat #
HasEqAsymmetric Integer MPFloat #
Instance details Associated Types type EqCompareType Integer MPFloat :: * # Methods equalTo :: Integer -> MPFloat -> EqCompareType Integer MPFloat # notEqualTo :: Integer -> MPFloat -> EqCompareType Integer MPFloat #
HasEqAsymmetric Rational MPFloat #
Instance details Associated Types type EqCompareType Rational MPFloat :: * # Methods equalTo :: Rational -> MPFloat -> EqCompareType Rational MPFloat # notEqualTo :: Rational -> MPFloat -> EqCompareType Rational MPFloat #
HasEqAsymmetric MPFloat Int #
Instance details Associated Types type EqCompareType MPFloat Int :: * # Methods equalTo :: MPFloat -> Int -> EqCompareType MPFloat Int # notEqualTo :: MPFloat -> Int -> EqCompareType MPFloat Int #
HasEqAsymmetric MPFloat Integer #
Instance details Associated Types type EqCompareType MPFloat Integer :: * # Methods equalTo :: MPFloat -> Integer -> EqCompareType MPFloat Integer # notEqualTo :: MPFloat -> Integer -> EqCompareType MPFloat Integer #
HasEqAsymmetric MPFloat Rational #
Instance details Associated Types type EqCompareType MPFloat Rational :: * # Methods equalTo :: MPFloat -> Rational -> EqCompareType MPFloat Rational # notEqualTo :: MPFloat -> Rational -> EqCompareType MPFloat Rational #
HasEqAsymmetric MPFloat MPFloat #
Instance details Associated Types type EqCompareType MPFloat MPFloat :: * # Methods equalTo :: MPFloat -> MPFloat -> EqCompareType MPFloat MPFloat # notEqualTo :: MPFloat -> MPFloat -> EqCompareType MPFloat MPFloat #
HasOrderAsymmetric Int MPFloat #
Instance details 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 #
HasOrderAsymmetric Integer MPFloat #
Instance details 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 Rational MPFloat #
Instance details 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 MPFloat Int #
Instance details 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 MPFloat Integer #
Instance details 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 Rational #
Instance details 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 MPFloat #
Instance details 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 #
ConvertibleExactly Int MPFloat #
Instance details Methods safeConvertExactly :: Int -> ConvertResult MPFloat #
ConvertibleExactly Integer MPFloat #
Instance details Methods safeConvertExactly :: Integer -> ConvertResult MPFloat #
ConvertibleExactly MPFloat Rational #
Instance details Methods safeConvertExactly :: MPFloat -> ConvertResult Rational #