Safe Haskell | None |
---|---|

Language | Haskell2010 |

- data RoundMode
- = Near
- | Zero
- | Up
- | Down
- | AwayFromZero

- type Precision = Int
- data Rounded
- 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
- fromRationalA :: RoundMode -> Precision -> Rational -> Rounded
- fromInteger2Exp :: RoundMode -> Precision -> Integer -> Int -> Rounded
- readRounded :: RoundMode -> Precision -> Int -> ReadS Rounded
- 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
- 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
- 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
- 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)
- 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)
- nextAbove :: Rounded -> Rounded
- nextBelow :: Rounded -> Rounded
- nextToward :: Rounded -> Rounded -> Rounded
- copySign :: Rounded -> Rounded -> Rounded
- getPrec :: Rounded -> Precision
- getExp :: Rounded -> Exp

# Types

# Assignment functions

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

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

Construct a rounded floating point number directly from a `Double`

.

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

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

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

# Conversion functions

toRationalA :: Rounded -> Rational Source

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

toInteger2Exp :: Rounded -> (Integer, Int) Source

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

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

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

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

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

toStringReadback :: Rounded -> String Source

fitsSShort :: RoundMode -> Rounded -> Bool Source

fitsUShort :: RoundMode -> Rounded -> Bool Source

# Arithmetic functions

# Comparison functions

isInfinite :: Rounded -> Bool Source

# Special functions

# Integer functions

# Miscellaneous functions

nextToward :: Rounded -> Rounded -> Rounded Source