Copyright	(c) Michal Konecny
License	BSD3
Maintainer	mikkonecny@gmail.com
Stability	experimental
Portability	portable
Safe Haskell	None
Language	Haskell98

AERN2.MP.Precision

Description

Floating-point precision type and its operations

Documentation

data Precision #

Instances

Enum Precision #
Instance details Defined in AERN2.MP.Precision Methods succ :: Precision -> Precision # pred :: Precision -> Precision # toEnum :: Int -> Precision # fromEnum :: Precision -> Int # enumFrom :: Precision -> [Precision] # enumFromThen :: Precision -> Precision -> [Precision] # enumFromTo :: Precision -> Precision -> [Precision] # enumFromThenTo :: Precision -> Precision -> Precision -> [Precision] #
Eq Precision #
Instance details Defined in AERN2.MP.Precision Methods (==) :: Precision -> Precision -> Bool # (/=) :: Precision -> Precision -> Bool #
Integral Precision #
Instance details Defined in AERN2.MP.Precision Methods quot :: Precision -> Precision -> Precision # rem :: Precision -> Precision -> Precision # div :: Precision -> Precision -> Precision # mod :: Precision -> Precision -> Precision # quotRem :: Precision -> Precision -> (Precision, Precision) # divMod :: Precision -> Precision -> (Precision, Precision) # toInteger :: Precision -> Integer #
Num Precision #
Instance details Defined in AERN2.MP.Precision Methods (+) :: Precision -> Precision -> Precision # (-) :: Precision -> Precision -> Precision # (*) :: Precision -> Precision -> Precision # negate :: Precision -> Precision # abs :: Precision -> Precision # signum :: Precision -> Precision # fromInteger :: Integer -> Precision #
Ord Precision #
Instance details Defined in AERN2.MP.Precision Methods compare :: Precision -> Precision -> Ordering # (<) :: Precision -> Precision -> Bool # (<=) :: Precision -> Precision -> Bool # (>) :: Precision -> Precision -> Bool # (>=) :: Precision -> Precision -> Bool # max :: Precision -> Precision -> Precision # min :: Precision -> Precision -> Precision #
Real Precision #
Instance details Defined in AERN2.MP.Precision Methods toRational :: Precision -> Rational #
Show Precision #
Instance details Defined in AERN2.MP.Precision Methods showsPrec :: Int -> Precision -> ShowS # show :: Precision -> String # showList :: [Precision] -> ShowS #
Arbitrary Precision #
Instance details Defined in AERN2.MP.Precision Methods arbitrary :: Gen Precision # shrink :: Precision -> [Precision] #
CanMulAsymmetric Integer Precision #
Instance details Defined in AERN2.MP.Precision Associated Types type MulType Integer Precision :: * # Methods mul :: Integer -> Precision -> MulType Integer Precision #
CanMulAsymmetric Precision Integer #
Instance details Defined in AERN2.MP.Precision Associated Types type MulType Precision Integer :: * # Methods mul :: Precision -> Integer -> MulType Precision Integer #
CanMulAsymmetric Precision Precision #
Instance details Defined in AERN2.MP.Precision Associated Types type MulType Precision Precision :: * # Methods mul :: Precision -> Precision -> MulType Precision Precision #
CanAddAsymmetric Integer Precision #
Instance details Defined in AERN2.MP.Precision Associated Types type AddType Integer Precision :: * # Methods add :: Integer -> Precision -> AddType Integer Precision #
CanAddAsymmetric Precision Integer #
Instance details Defined in AERN2.MP.Precision Associated Types type AddType Precision Integer :: * # Methods add :: Precision -> Integer -> AddType Precision Integer #
CanAddAsymmetric Precision Precision #
Instance details Defined in AERN2.MP.Precision Associated Types type AddType Precision Precision :: * # Methods add :: Precision -> Precision -> AddType Precision Precision #
CanMinMaxAsymmetric Precision Precision #
Instance details Defined in AERN2.MP.Precision Associated Types type MinMaxType Precision Precision :: * # Methods min :: Precision -> Precision -> MinMaxType Precision Precision # max :: Precision -> Precision -> MinMaxType Precision Precision #
HasEqAsymmetric Int Precision #
Instance details Defined in AERN2.MP.Precision Associated Types type EqCompareType Int Precision :: * # Methods equalTo :: Int -> Precision -> EqCompareType Int Precision # notEqualTo :: Int -> Precision -> EqCompareType Int Precision #
HasEqAsymmetric Integer Precision #
Instance details Defined in AERN2.MP.Precision Associated Types type EqCompareType Integer Precision :: * # Methods equalTo :: Integer -> Precision -> EqCompareType Integer Precision # notEqualTo :: Integer -> Precision -> EqCompareType Integer Precision #
HasEqAsymmetric Precision Int #
Instance details Defined in AERN2.MP.Precision Associated Types type EqCompareType Precision Int :: * # Methods equalTo :: Precision -> Int -> EqCompareType Precision Int # notEqualTo :: Precision -> Int -> EqCompareType Precision Int #
HasEqAsymmetric Precision Integer #
Instance details Defined in AERN2.MP.Precision Associated Types type EqCompareType Precision Integer :: * # Methods equalTo :: Precision -> Integer -> EqCompareType Precision Integer # notEqualTo :: Precision -> Integer -> EqCompareType Precision Integer #
HasEqAsymmetric Precision Precision #
Instance details Defined in AERN2.MP.Precision Associated Types type EqCompareType Precision Precision :: * # Methods equalTo :: Precision -> Precision -> EqCompareType Precision Precision # notEqualTo :: Precision -> Precision -> EqCompareType Precision Precision #
HasOrderAsymmetric Int Precision #
Instance details Defined in AERN2.MP.Precision Associated Types type OrderCompareType Int Precision :: * # Methods lessThan :: Int -> Precision -> OrderCompareType Int Precision # greaterThan :: Int -> Precision -> OrderCompareType Int Precision # leq :: Int -> Precision -> OrderCompareType Int Precision # geq :: Int -> Precision -> OrderCompareType Int Precision #
HasOrderAsymmetric Integer Precision #
Instance details Defined in AERN2.MP.Precision Associated Types type OrderCompareType Integer Precision :: * # Methods lessThan :: Integer -> Precision -> OrderCompareType Integer Precision # greaterThan :: Integer -> Precision -> OrderCompareType Integer Precision # leq :: Integer -> Precision -> OrderCompareType Integer Precision # geq :: Integer -> Precision -> OrderCompareType Integer Precision #
HasOrderAsymmetric Precision Int #
Instance details Defined in AERN2.MP.Precision Associated Types type OrderCompareType Precision Int :: * # Methods lessThan :: Precision -> Int -> OrderCompareType Precision Int # greaterThan :: Precision -> Int -> OrderCompareType Precision Int # leq :: Precision -> Int -> OrderCompareType Precision Int # geq :: Precision -> Int -> OrderCompareType Precision Int #
HasOrderAsymmetric Precision Integer #
Instance details Defined in AERN2.MP.Precision Associated Types type OrderCompareType Precision Integer :: * # Methods lessThan :: Precision -> Integer -> OrderCompareType Precision Integer # greaterThan :: Precision -> Integer -> OrderCompareType Precision Integer # leq :: Precision -> Integer -> OrderCompareType Precision Integer # geq :: Precision -> Integer -> OrderCompareType Precision Integer #
HasOrderAsymmetric Precision Precision #
Instance details Defined in AERN2.MP.Precision Associated Types type OrderCompareType Precision Precision :: * # Methods lessThan :: Precision -> Precision -> OrderCompareType Precision Precision # greaterThan :: Precision -> Precision -> OrderCompareType Precision Precision # leq :: Precision -> Precision -> OrderCompareType Precision Precision # geq :: Precision -> Precision -> OrderCompareType Precision Precision #
ConvertibleExactly Integer Precision #
Instance details Defined in AERN2.MP.Precision Methods safeConvertExactly :: Integer -> ConvertResult Precision #
ConvertibleExactly Precision Integer #
Instance details Defined in AERN2.MP.Precision Methods safeConvertExactly :: Precision -> ConvertResult Integer #
ConvertibleExactly Precision Accuracy #
Instance details Defined in AERN2.MP.Accuracy Methods safeConvertExactly :: Precision -> ConvertResult Accuracy #
type MulType Integer Precision #
Instance details Defined in AERN2.MP.Precision type MulType Integer Precision = Precision
type MulType Precision Integer #
Instance details Defined in AERN2.MP.Precision type MulType Precision Integer = Precision
type MulType Precision Precision #
Instance details Defined in AERN2.MP.Precision type MulType Precision Precision = Precision
type AddType Integer Precision #
Instance details Defined in AERN2.MP.Precision type AddType Integer Precision = Precision
type AddType Precision Integer #
Instance details Defined in AERN2.MP.Precision type AddType Precision Integer = Precision
type AddType Precision Precision #
Instance details Defined in AERN2.MP.Precision type AddType Precision Precision = Precision
type MinMaxType Precision Precision #
Instance details Defined in AERN2.MP.Precision type MinMaxType Precision Precision = Precision
type EqCompareType Int Precision #
Instance details Defined in AERN2.MP.Precision type EqCompareType Int Precision = Bool
type EqCompareType Integer Precision #
Instance details Defined in AERN2.MP.Precision type EqCompareType Integer Precision = Bool
type EqCompareType Precision Int #
Instance details Defined in AERN2.MP.Precision type EqCompareType Precision Int = Bool
type EqCompareType Precision Integer #
Instance details Defined in AERN2.MP.Precision type EqCompareType Precision Integer = Bool
type EqCompareType Precision Precision #
Instance details Defined in AERN2.MP.Precision type EqCompareType Precision Precision = Bool
type OrderCompareType Int Precision #
Instance details Defined in AERN2.MP.Precision type OrderCompareType Int Precision = Bool
type OrderCompareType Integer Precision #
Instance details Defined in AERN2.MP.Precision type OrderCompareType Integer Precision = Bool
type OrderCompareType Precision Int #
Instance details Defined in AERN2.MP.Precision type OrderCompareType Precision Int = Bool
type OrderCompareType Precision Integer #
Instance details Defined in AERN2.MP.Precision type OrderCompareType Precision Integer = Bool
type OrderCompareType Precision Precision #
Instance details Defined in AERN2.MP.Precision type OrderCompareType Precision Precision = Bool

prec :: Integer -> Precision #

class HasPrecision t where #

Minimal complete definition

getPrecision

Methods

getPrecision :: t -> Precision #

Instances

HasPrecision Bool #
Instance details Defined in AERN2.MP.Precision Methods getPrecision :: Bool -> Precision #
HasPrecision MPFloat #
Instance details Defined in AERN2.MP.UseMPFR.Float.Type Methods getPrecision :: MPFloat -> Precision #
HasPrecision Dyadic #
Instance details Defined in AERN2.MP.UseMPFR.Dyadic Methods getPrecision :: Dyadic -> Precision #
HasPrecision MPBall #
Instance details Defined in AERN2.MP.UseMPFR.Ball.Type Methods getPrecision :: MPBall -> Precision #
HasPrecision t => HasPrecision (Maybe t) #
Instance details Defined in AERN2.MP.Precision Methods getPrecision :: Maybe t -> Precision #
HasPrecision t => HasPrecision (Complex t) #
Instance details Defined in AERN2.MP.Precision Methods getPrecision :: Complex t -> Precision #
HasPrecision t => HasPrecision (CollectErrors es t) #
Instance details Defined in AERN2.MP.Precision Methods getPrecision :: CollectErrors es t -> Precision #

class HasPrecision t => CanSetPrecision t where #

Minimal complete definition

setPrecision

Methods

setPrecision :: Precision -> t -> t #

Instances

CanSetPrecision Bool #
Instance details Defined in AERN2.MP.Precision Methods setPrecision :: Precision -> Bool -> Bool #
CanSetPrecision MPFloat #
Instance details Defined in AERN2.MP.UseMPFR.Float.Type Methods setPrecision :: Precision -> MPFloat -> MPFloat #
CanSetPrecision MPBall #
Instance details Defined in AERN2.MP.UseMPFR.Ball.Type Methods setPrecision :: Precision -> MPBall -> MPBall #
CanSetPrecision t => CanSetPrecision (Maybe t) #
Instance details Defined in AERN2.MP.Precision Methods setPrecision :: Precision -> Maybe t -> Maybe t #
CanSetPrecision t => CanSetPrecision (Complex t) #
Instance details Defined in AERN2.MP.Precision Methods setPrecision :: Precision -> Complex t -> Complex t #
CanSetPrecision t => CanSetPrecision (CollectErrors es t) #
Instance details Defined in AERN2.MP.Precision Methods setPrecision :: Precision -> CollectErrors es t -> CollectErrors es t #

lowerPrecisionIfAbove :: CanSetPrecision t => Precision -> t -> t #

raisePrecisionIfBelow :: CanSetPrecision t => Precision -> t -> t #

specCanSetPrecision :: (CanSetPrecision t, Arbitrary t, Show t, Testable prop) => T t -> (t -> t -> prop) -> Spec #

defaultPrecision :: Precision #

maximumPrecision :: Precision #

standardPrecisions :: Precision -> [Precision] #

precisionTimes2 :: Precision -> Precision #

iterateUntilOK :: Precision -> (a -> Bool) -> (Precision -> a) -> [(Precision, a)] #

class ConvertibleWithPrecision t1 t2 where #

Minimal complete definition

safeConvertP

Methods

safeConvertP :: Precision -> t1 -> ConvertResult t2 #

Instances

ConvertibleWithPrecision Int MPBall #
Instance details Defined in AERN2.MP.UseMPFR.Ball.Conversions Methods safeConvertP :: Precision -> Int -> ConvertResult MPBall #
ConvertibleWithPrecision Integer MPBall #
Instance details Defined in AERN2.MP.UseMPFR.Ball.Conversions Methods safeConvertP :: Precision -> Integer -> ConvertResult MPBall #
ConvertibleWithPrecision Rational MPBall #
Instance details Defined in AERN2.MP.UseMPFR.Ball.Conversions Methods safeConvertP :: Precision -> Rational -> ConvertResult MPBall #
ConvertibleWithPrecision Dyadic MPBall #
Instance details Defined in AERN2.MP.UseMPFR.Ball.Conversions Methods safeConvertP :: Precision -> Dyadic -> ConvertResult MPBall #
(ConvertibleWithPrecision Bool t, Monoid es) => ConvertibleWithPrecision Bool (CollectErrors es t) #
Instance details Defined in AERN2.MP.Precision Methods safeConvertP :: Precision -> Bool -> ConvertResult (CollectErrors es t) #
(ConvertibleWithPrecision Double t, Monoid es) => ConvertibleWithPrecision Double (CollectErrors es t) #
Instance details Defined in AERN2.MP.Precision Methods safeConvertP :: Precision -> Double -> ConvertResult (CollectErrors es t) #
(ConvertibleWithPrecision Int t, Monoid es) => ConvertibleWithPrecision Int (CollectErrors es t) #
Instance details Defined in AERN2.MP.Precision Methods safeConvertP :: Precision -> Int -> ConvertResult (CollectErrors es t) #
(ConvertibleWithPrecision Integer t, Monoid es) => ConvertibleWithPrecision Integer (CollectErrors es t) #
Instance details Defined in AERN2.MP.Precision Methods safeConvertP :: Precision -> Integer -> ConvertResult (CollectErrors es t) #
(ConvertibleWithPrecision Rational t, Monoid es) => ConvertibleWithPrecision Rational (CollectErrors es t) #
Instance details Defined in AERN2.MP.Precision Methods safeConvertP :: Precision -> Rational -> ConvertResult (CollectErrors es t) #
ConvertibleWithPrecision (Rational, Rational) MPBall #
Instance details Defined in AERN2.MP.UseMPFR.Ball.Conversions Methods safeConvertP :: Precision -> (Rational, Rational) -> ConvertResult MPBall #

convertP :: ConvertibleWithPrecision t1 t2 => Precision -> t1 -> t2 #

convertPFirst :: (ConvertibleWithPrecision t1 t2, HasPrecision t2) => (t2 -> t2 -> c) -> t1 -> t2 -> c #

convertPSecond :: (ConvertibleWithPrecision t2 t1, HasPrecision t1) => (t1 -> t1 -> c) -> t1 -> t2 -> c #