Data.Approximate.MPFRLowLevel

Types

data RoundMode

Constructors

Near

Zero

Up

Down

AwayFromZero

Instances

Enum RoundMode

type Precision = Int

data Rounded

Instances

Eq Rounded

Ord Rounded

Show Rounded

Assignment functions

set :: RoundMode -> Precision -> Rounded -> Rounded

posInf :: Rounded

negInf :: Rounded

zero :: Rounded

negZero :: Rounded

nan :: Rounded

fromInt :: RoundMode -> Precision -> Int -> Rounded

fromIntegerA :: RoundMode -> Precision -> Integer -> Rounded

fromDouble :: RoundMode -> Precision -> Double -> Rounded

Construct a rounded floating point number directly from a Double.

fromRationalA :: RoundMode -> Precision -> Rational -> Rounded

fromInteger2Exp :: RoundMode -> Precision -> Integer -> Int -> Rounded

readRounded :: RoundMode -> Precision -> Int -> ReadS Rounded

Conversion functions

toRationalA :: Rounded -> Rational

toDoubleA :: RoundMode -> Rounded -> Double

toDouble2Exp :: RoundMode -> Rounded -> (Double, Int)

toInteger2Exp :: Rounded -> (Integer, Int)

toRawStringExp :: RoundMode -> Int -> Int -> Rounded -> (String, Exp)

toStringHex :: RoundMode -> Int -> Rounded -> String

toStringBin :: RoundMode -> Int -> Rounded -> String

toStringSci :: RoundMode -> Int -> Rounded -> String

toStringFix :: RoundMode -> Int -> Rounded -> String

toString :: RoundMode -> Int -> Rounded -> String

toStringReadback :: Rounded -> String

fitsSInt :: RoundMode -> Rounded -> Bool

fitsSLong :: RoundMode -> Rounded -> Bool

fitsSShort :: RoundMode -> Rounded -> Bool

fitsUInt :: RoundMode -> Rounded -> Bool

fitsULong :: RoundMode -> Rounded -> Bool

fitsUShort :: RoundMode -> Rounded -> Bool

Arithmetic functions

add :: RoundMode -> Precision -> Rounded -> Rounded -> Rounded

sub :: RoundMode -> Precision -> Rounded -> Rounded -> Rounded

mul :: RoundMode -> Precision -> Rounded -> Rounded -> Rounded

div :: RoundMode -> Precision -> Rounded -> Rounded -> Rounded

neg :: RoundMode -> Precision -> Rounded -> Rounded

sqr :: RoundMode -> Precision -> Rounded -> Rounded

sqrt :: RoundMode -> Precision -> Rounded -> Rounded

pow :: RoundMode -> Precision -> Rounded -> Rounded -> Rounded

recSqrt :: RoundMode -> Precision -> Rounded -> Rounded

cbrt :: RoundMode -> Precision -> Rounded -> Rounded

abs :: RoundMode -> Precision -> Rounded -> Rounded

dim :: RoundMode -> Precision -> Rounded -> Rounded -> Rounded

mul2i :: RoundMode -> Precision -> Rounded -> Int -> Rounded

div2i :: RoundMode -> Precision -> Rounded -> Int -> Rounded

root :: RoundMode -> Precision -> Rounded -> Int -> Rounded

Comparison functions

isNaN :: Rounded -> Bool

isInfinite :: Rounded -> Bool

isZero :: Rounded -> Bool

cmp :: Rounded -> Rounded -> Maybe Ordering

cmpAbs :: Rounded -> Rounded -> Maybe Ordering

sgn :: Rounded -> Maybe Int

isNumber :: Rounded -> Bool

isRegular :: Rounded -> Bool

min :: RoundMode -> Precision -> Rounded -> Rounded -> Rounded

max :: RoundMode -> Precision -> Rounded -> Rounded -> Rounded

equal :: Rounded -> Rounded -> Bool

notEqual :: Rounded -> Rounded -> Bool

less :: Rounded -> Rounded -> Bool

greater :: Rounded -> Rounded -> Bool

lessEq :: Rounded -> Rounded -> Bool

greaterEq :: Rounded -> Rounded -> Bool

unordered :: Rounded -> Rounded -> Bool

Special functions

log :: RoundMode -> Precision -> Rounded -> Rounded

log2 :: RoundMode -> Precision -> Rounded -> Rounded

log10 :: RoundMode -> Precision -> Rounded -> Rounded

exp :: RoundMode -> Precision -> Rounded -> Rounded

exp2 :: RoundMode -> Precision -> Rounded -> Rounded

exp10 :: RoundMode -> Precision -> Rounded -> Rounded

cos :: RoundMode -> Precision -> Rounded -> Rounded

sin :: RoundMode -> Precision -> Rounded -> Rounded

tan :: RoundMode -> Precision -> Rounded -> Rounded

sincos :: RoundMode -> Precision -> Rounded -> (Rounded, Rounded)

sec :: RoundMode -> Precision -> Rounded -> Rounded

csc :: RoundMode -> Precision -> Rounded -> Rounded

cot :: RoundMode -> Precision -> Rounded -> Rounded

acos :: RoundMode -> Precision -> Rounded -> Rounded

asin :: RoundMode -> Precision -> Rounded -> Rounded

atan :: RoundMode -> Precision -> Rounded -> Rounded

atan2 :: RoundMode -> Precision -> Rounded -> Rounded -> Rounded

cosh :: RoundMode -> Precision -> Rounded -> Rounded

sinh :: RoundMode -> Precision -> Rounded -> Rounded

tanh :: RoundMode -> Precision -> Rounded -> Rounded

sinhcosh :: RoundMode -> Precision -> Rounded -> (Rounded, Rounded)

sech :: RoundMode -> Precision -> Rounded -> Rounded

csch :: RoundMode -> Precision -> Rounded -> Rounded

coth :: RoundMode -> Precision -> Rounded -> Rounded

acosh :: RoundMode -> Precision -> Rounded -> Rounded

asinh :: RoundMode -> Precision -> Rounded -> Rounded

atanh :: RoundMode -> Precision -> Rounded -> Rounded

log1p :: RoundMode -> Precision -> Rounded -> Rounded

expm1 :: RoundMode -> Precision -> Rounded -> Rounded

eint :: RoundMode -> Precision -> Rounded -> Rounded

li2 :: RoundMode -> Precision -> Rounded -> Rounded

gamma :: RoundMode -> Precision -> Rounded -> Rounded

lngamma :: RoundMode -> Precision -> Rounded -> Rounded

digamma :: RoundMode -> Precision -> Rounded -> Rounded

zeta :: RoundMode -> Precision -> Rounded -> Rounded

erf :: RoundMode -> Precision -> Rounded -> Rounded

erfc :: RoundMode -> Precision -> Rounded -> Rounded

j0 :: RoundMode -> Precision -> Rounded -> Rounded

j1 :: RoundMode -> Precision -> Rounded -> Rounded

y0 :: RoundMode -> Precision -> Rounded -> Rounded

y1 :: RoundMode -> Precision -> Rounded -> Rounded

fma :: RoundMode -> Precision -> Rounded -> Rounded -> Rounded -> Rounded

fms :: RoundMode -> Precision -> Rounded -> Rounded -> Rounded -> Rounded

agm :: RoundMode -> Precision -> Rounded -> Rounded -> Rounded

hypot :: RoundMode -> Precision -> Rounded -> Rounded -> Rounded

ai :: RoundMode -> Precision -> Rounded -> Rounded

log2c :: RoundMode -> Precision -> Rounded

pi :: RoundMode -> Precision -> Rounded

euler :: RoundMode -> Precision -> Rounded

catalan :: RoundMode -> Precision -> Rounded

facw :: RoundMode -> Precision -> Word -> Rounded

zetaw :: RoundMode -> Precision -> Word -> Rounded

jn :: RoundMode -> Precision -> Int -> Rounded -> Rounded

yn :: RoundMode -> Precision -> Int -> Rounded -> Rounded

lgamma :: RoundMode -> Precision -> Rounded -> (Int32, Rounded)

Integer functions

rint :: RoundMode -> Precision -> Rounded -> Rounded

ceil :: Precision -> Rounded -> Rounded

floor :: Precision -> Rounded -> Rounded

round :: Precision -> Rounded -> Rounded

trunc :: Precision -> Rounded -> Rounded

rintCeil :: RoundMode -> Precision -> Rounded -> Rounded

rintFloor :: RoundMode -> Precision -> Rounded -> Rounded

rintRound :: RoundMode -> Precision -> Rounded -> Rounded

rintTrunc :: RoundMode -> Precision -> Rounded -> Rounded

frac :: RoundMode -> Precision -> Rounded -> Rounded

modf :: RoundMode -> Precision -> Rounded -> (Rounded, Rounded)

fmod :: RoundMode -> Precision -> Rounded -> Rounded -> Rounded

remainder :: RoundMode -> Precision -> Rounded -> Rounded -> Rounded

isInteger :: Rounded -> Bool

remquo :: RoundMode -> Precision -> Rounded -> Rounded -> (Int, Rounded)

Miscellaneous functions

nextAbove :: Rounded -> Rounded

nextBelow :: Rounded -> Rounded

nextToward :: Rounded -> Rounded -> Rounded

copySign :: Rounded -> Rounded -> Rounded

getPrec :: Rounded -> Precision

getExp :: Rounded -> Exp