AERN2.MP.Precision

Floating-point precision type and its operations

Documentation

data Precision

Instances

Enum 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

Methods

(==) :: Precision -> Precision -> Bool

(/=) :: Precision -> Precision -> Bool

Integral 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

Methods

(+) :: Precision -> Precision -> Precision

(-) :: Precision -> Precision -> Precision

(*) :: Precision -> Precision -> Precision

negate :: Precision -> Precision

abs :: Precision -> Precision

signum :: Precision -> Precision

fromInteger :: Integer -> Precision

Ord 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

Methods

toRational :: Precision -> Rational

Show Precision

Methods

showsPrec :: Int -> Precision -> ShowS

show :: Precision -> String

showList :: [Precision] -> ShowS

Arbitrary Precision

Methods

arbitrary :: Gen Precision

shrink :: Precision -> [Precision]

CanMulAsymmetric Integer Precision

Associated Types

type MulType Integer Precision :: *

Methods

mul :: Integer -> Precision -> MulType Integer Precision

CanMulAsymmetric Precision Integer

Associated Types

type MulType Precision Integer :: *

Methods

mul :: Precision -> Integer -> MulType Precision Integer

CanMulAsymmetric Precision Precision

Associated Types

type MulType Precision Precision :: *

Methods

mul :: Precision -> Precision -> MulType Precision Precision

CanAddAsymmetric Integer Precision

Associated Types

type AddType Integer Precision :: *

Methods

add :: Integer -> Precision -> AddType Integer Precision

CanAddAsymmetric Precision Integer

Associated Types

type AddType Precision Integer :: *

Methods

add :: Precision -> Integer -> AddType Precision Integer

CanAddAsymmetric Precision Precision

Associated Types

type AddType Precision Precision :: *

Methods

add :: Precision -> Precision -> AddType Precision Precision

CanMinMaxAsymmetric Precision Precision

Associated Types

type MinMaxType Precision Precision :: *

Methods

min :: Precision -> Precision -> MinMaxType Precision Precision

max :: Precision -> Precision -> MinMaxType Precision Precision

HasOrderAsymmetric Int 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

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

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

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

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

HasEqAsymmetric Int Precision

Associated Types

type EqCompareType Int Precision :: *

Methods

equalTo :: Int -> Precision -> EqCompareType Int Precision

notEqualTo :: Int -> Precision -> EqCompareType Int Precision

HasEqAsymmetric Integer Precision

Associated Types

type EqCompareType Integer Precision :: *

Methods

equalTo :: Integer -> Precision -> EqCompareType Integer Precision

notEqualTo :: Integer -> Precision -> EqCompareType Integer Precision

HasEqAsymmetric Precision Int

Associated Types

type EqCompareType Precision Int :: *

Methods

equalTo :: Precision -> Int -> EqCompareType Precision Int

notEqualTo :: Precision -> Int -> EqCompareType Precision Int

HasEqAsymmetric Precision Integer

Associated Types

type EqCompareType Precision Integer :: *

Methods

equalTo :: Precision -> Integer -> EqCompareType Precision Integer

notEqualTo :: Precision -> Integer -> EqCompareType Precision Integer

HasEqAsymmetric Precision Precision

Associated Types

type EqCompareType Precision Precision :: *

Methods

equalTo :: Precision -> Precision -> EqCompareType Precision Precision

notEqualTo :: Precision -> Precision -> EqCompareType Precision Precision

ConvertibleExactly Integer Precision

Methods

safeConvertExactly :: Integer -> ConvertResult Precision

ConvertibleExactly Precision Integer

Methods

safeConvertExactly :: Precision -> ConvertResult Integer

ConvertibleExactly Precision Accuracy

Methods

safeConvertExactly :: Precision -> ConvertResult Accuracy

type MulType Integer Precision

type MulType Integer Precision = Precision

type MulType Precision Integer

type MulType Precision Integer = Precision

type MulType Precision Precision

type MulType Precision Precision = Precision

type AddType Integer Precision

type AddType Integer Precision = Precision

type AddType Precision Integer

type AddType Precision Integer = Precision

type AddType Precision Precision

type AddType Precision Precision = Precision

type MinMaxType Precision Precision

type MinMaxType Precision Precision = Precision

type OrderCompareType Int Precision

type OrderCompareType Int Precision = Bool

type OrderCompareType Integer Precision

type OrderCompareType Integer Precision = Bool

type OrderCompareType Precision Int

type OrderCompareType Precision Int = Bool

type OrderCompareType Precision Integer

type OrderCompareType Precision Integer = Bool

type OrderCompareType Precision Precision

type OrderCompareType Precision Precision = Bool

type EqCompareType Int Precision

type EqCompareType Int Precision = Bool

type EqCompareType Integer Precision

type EqCompareType Integer Precision = Bool

type EqCompareType Precision Int

type EqCompareType Precision Int = Bool

type EqCompareType Precision Integer

type EqCompareType Precision Integer = Bool

type EqCompareType Precision Precision

type EqCompareType Precision Precision = Bool

prec :: Integer -> Precision

class HasPrecision t where

Minimal complete definition

getPrecision

Methods

getPrecision :: t -> Precision

Instances

HasPrecision Bool

Methods

getPrecision :: Bool -> Precision

HasPrecision Dyadic

Methods

getPrecision :: Dyadic -> Precision

HasPrecision MPBall

Methods

getPrecision :: MPBall -> Precision

HasPrecision t => HasPrecision (Maybe t)

Methods

getPrecision :: Maybe t -> Precision

HasPrecision t => HasPrecision (Complex t)

Methods

getPrecision :: Complex t -> Precision

HasPrecision t => HasPrecision (CollectErrors es t)

Methods

getPrecision :: CollectErrors es t -> Precision

class HasPrecision t => CanSetPrecision t where

Minimal complete definition

setPrecision

Methods

setPrecision :: Precision -> t -> t

Instances

CanSetPrecision Bool

Methods

setPrecision :: Precision -> Bool -> Bool

CanSetPrecision MPBall

Methods

setPrecision :: Precision -> MPBall -> MPBall

CanSetPrecision t => CanSetPrecision (Maybe t)

Methods

setPrecision :: Precision -> Maybe t -> Maybe t

CanSetPrecision t => CanSetPrecision (Complex t)

Methods

setPrecision :: Precision -> Complex t -> Complex t

CanSetPrecision t => CanSetPrecision (CollectErrors es t)

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 Bool t0, Monoid es0) => ConvertibleWithPrecision Bool (CollectErrors es0 t0)

Methods

safeConvertP :: Precision -> Bool -> ConvertResult (CollectErrors es0 t0)

(ConvertibleWithPrecision Double t0, Monoid es0) => ConvertibleWithPrecision Double (CollectErrors es0 t0)

Methods

safeConvertP :: Precision -> Double -> ConvertResult (CollectErrors es0 t0)

(ConvertibleWithPrecision Int t0, Monoid es0) => ConvertibleWithPrecision Int (CollectErrors es0 t0)

Methods

safeConvertP :: Precision -> Int -> ConvertResult (CollectErrors es0 t0)

(ConvertibleWithPrecision Integer t0, Monoid es0) => ConvertibleWithPrecision Integer (CollectErrors es0 t0)

Methods

safeConvertP :: Precision -> Integer -> ConvertResult (CollectErrors es0 t0)

(ConvertibleWithPrecision Rational t0, Monoid es0) => ConvertibleWithPrecision Rational (CollectErrors es0 t0)

Methods

safeConvertP :: Precision -> Rational -> ConvertResult (CollectErrors es0 t0)

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