Portability | FFI |
---|---|
Stability | provisional |
Maintainer | Don Stewart <dons@galois.com> |
- acos :: Double -> Double
- c_acos :: CDouble -> CDouble
- asin :: Double -> Double
- c_asin :: CDouble -> CDouble
- atan :: Double -> Double
- c_atan :: CDouble -> CDouble
- atan2 :: Double -> Double -> Double
- c_atan2 :: CDouble -> CDouble -> CDouble
- cos :: Double -> Double
- c_cos :: CDouble -> CDouble
- sin :: Double -> Double
- c_sin :: CDouble -> CDouble
- tan :: Double -> Double
- c_tan :: CDouble -> CDouble
- cosh :: Double -> Double
- c_cosh :: CDouble -> CDouble
- sinh :: Double -> Double
- c_sinh :: CDouble -> CDouble
- tanh :: Double -> Double
- c_tanh :: CDouble -> CDouble
- exp :: Double -> Double
- c_exp :: CDouble -> CDouble
- frexp :: Double -> (Double, Int)
- c_frexp :: CDouble -> Ptr CInt -> IO Double
- ldexp :: Double -> Int -> Double
- c_ldexp :: CDouble -> CInt -> Double
- log :: Double -> Double
- c_log :: CDouble -> CDouble
- log10 :: Double -> Double
- c_log10 :: CDouble -> CDouble
- modf :: Double -> (Double, Double)
- c_modf :: CDouble -> Ptr CDouble -> IO CDouble
- pow :: Double -> Double -> Double
- c_pow :: CDouble -> CDouble -> CDouble
- sqrt :: Double -> Double
- c_sqrt :: CDouble -> CDouble
- ceil :: Double -> Double
- c_ceil :: CDouble -> CDouble
- fabs :: Double -> Double
- c_fabs :: CDouble -> CDouble
- floor :: Double -> Double
- c_floor :: CDouble -> CDouble
- fmod :: Double -> Double -> Double
- c_fmod :: CDouble -> CDouble -> CDouble
- round :: Double -> Double
- c_round :: CDouble -> CDouble
- trunc :: Double -> Double
- c_trunc :: CDouble -> CDouble
- erf :: Double -> Double
- c_erf :: CDouble -> CDouble
- erfc :: Double -> Double
- c_erfc :: CDouble -> CDouble
- gamma :: Double -> Double
- c_gamma :: CDouble -> CDouble
- hypot :: Double -> Double -> Double
- c_hypot :: CDouble -> CDouble -> CDouble
- isinf :: Double -> Int
- c_isinf :: CDouble -> CInt
- isnan :: Double -> Int
- c_isnan :: CDouble -> CInt
- finite :: Double -> Int
- c_finite :: CDouble -> CInt
- j0 :: Double -> Double
- c_j0 :: CDouble -> CDouble
- j1 :: Double -> Double
- c_j1 :: CDouble -> CDouble
- y0 :: Double -> Double
- c_y0 :: CDouble -> CDouble
- y1 :: Double -> Double
- c_y1 :: CDouble -> CDouble
- yn :: Int -> Double -> Double
- c_yn :: CInt -> CDouble -> CDouble
- lgamma :: Double -> Double
- c_lgamma :: CDouble -> CDouble
- acosh :: Double -> Double
- c_acosh :: CDouble -> CDouble
- asinh :: Double -> Double
- c_asinh :: CDouble -> CDouble
- atanh :: Double -> Double
- c_atanh :: CDouble -> CDouble
- cbrt :: Double -> Double
- c_cbrt :: CDouble -> CDouble
- logb :: Double -> Double
- c_logb :: CDouble -> CDouble
- nextafter :: Double -> Double -> Double
- c_nextafter :: CDouble -> CDouble -> CDouble
- remainder :: Double -> Double -> Double
- c_remainder :: CDouble -> CDouble -> CDouble
- scalb :: Double -> Double -> Double
- c_scalb :: CDouble -> CDouble -> CDouble
- significand :: Double -> Double
- c_significand :: CDouble -> CDouble
- copysign :: Double -> Double -> Double
- c_copysign :: CDouble -> CDouble -> CDouble
- ilogb :: Double -> Int
- c_ilogb :: CDouble -> CInt
- rint :: Double -> Double
- c_rint :: CDouble -> CDouble
Documentation
acos :: Double -> DoubleSource
The acos function computes the principal value of the arc cosine of x in the range [0, pi]
asin :: Double -> DoubleSource
The asin function computes the principal value of the arc sine of x in the range [-pi2, +pi2].
atan :: Double -> DoubleSource
The atan function computes the principal value of the arc tangent of x in the range [-pi2, +pi2].
atan2 :: Double -> Double -> DoubleSource
The atan2 function computes the principal value of the arc tangent of y/x, using the signs of both arguments to determine the quadrant of the return value.
The cos function computes the cosine of x (measured in radians). A large magnitude argument may yield a result with little or no significance. For a discussion of error due to roundoff, see math(3).
The sin function computes the sine of x (measured in radians). A large magnitude argument may yield a result with little or no significance. For a discussion of error due to roundoff, see math(3).
The tan function computes the tangent of x (measured in radians). A large magnitude argument may yield a result with little or no significance. For a discussion of error due to roundoff, see math(3).
The exp() function computes the exponential value of the given argument x.
frexp :: Double -> (Double, Int)Source
frexp convert floating-point number to fractional and integral components frexp is not defined in the Haskell 98 report.
ldexp :: Double -> Int -> DoubleSource
The ldexp function multiplies a floating-point number by an integral power of 2. ldexp is not defined in the Haskell 98 report.
The log() function computes the value of the natural logarithm of argument x.
log10 :: Double -> DoubleSource
The log10 function computes the value of the logarithm of argument x to base 10. log10 is not defined in the Haskell 98 report.
modf :: Double -> (Double, Double)Source
The modf function breaks the argument value into integral and fractional parts, each of which has the same sign as the argument. modf is not defined in the Haskell 98 report.
ceil :: Double -> DoubleSource
The ceil function returns the smallest integral value greater than or equal to x.
fabs :: Double -> DoubleSource
The fabs function computes the absolute value of a floating-point number x.
floor :: Double -> DoubleSource
The floor function returns the largest integral value less than or equal to x.
fmod :: Double -> Double -> DoubleSource
The fmod function computes the floating-point remainder of x / y.
round :: Double -> DoubleSource
The round function returns the nearest integral value to x; if x lies halfway between two integral values, then these functions return the integral value with the larger absolute value (i.e., it rounds away from zero).
The erf calculates the error function of x. The error function is defined as:
erf(x) = 2/sqrt(pi)*integral from 0 to x of exp(-t*t) dt.
erfc :: Double -> DoubleSource
The erfc function calculates the complementary error function of x; that is erfc() subtracts the result of the error function erf(x) from 1.0. This is useful, since for large x places disappear.
hypot :: Double -> Double -> DoubleSource
The hypot function function computes the sqrt(x*x+y*y) in such a way that underflow will not happen, and overflow occurs only if the final result deserves it.
hypot(Infinity, v) = hypot(v, Infinity) = +Infinity for all v, including NaN.
The isnan function returns 1 if the number n is ``not-a-number'', otherwise 0.
finite returns the value 1 just when -Infinity < x < +Infinity; otherwise a zero is returned (when |x| = Infinity or x is NaN.
The functions j0() and j1() compute the Bessel function of the first kind of the order 0 and the order 1, respectively, for the real value x
The functions j0() and j1() compute the Bessel function of the first kind of the order 0 and the order 1, respectively, for the real value x
The functions y0() and y1() compute the linearly independent Bessel function of the second kind of the order 0 and the order 1, respectively, for the positive integer value x (expressed as a double)
The functions y0() and y1() compute the linearly independent Bessel function of the second kind of the order 0 and the order 1, respectively, for the positive integer value x (expressed as a double)
yn :: Int -> Double -> DoubleSource
yn() computes the Bessel function of the second kind for the integer Bessel0 n for the positive integer value x (expressed as a double).
acosh :: Double -> DoubleSource
The acosh function computes the inverse hyperbolic cosine of the real argument x.
asinh :: Double -> DoubleSource
The asinh function computes the inverse hyperbolic sine of the real argument.
atanh :: Double -> DoubleSource
The atanh function computes the inverse hyperbolic tangent of the real argument x.
logb :: Double -> DoubleSource
logb x returns x's exponent n, a signed integer converted to double-precision floating-point.
logb(+-Infinity) = +Infinity; logb(0) = -Infinity with a division by zero exception.
nextafter :: Double -> Double -> DoubleSource
nextafter returns the next machine representable number from x in direction y.
c_nextafter :: CDouble -> CDouble -> CDoubleSource
remainder :: Double -> Double -> DoubleSource
remainder returns the remainder r := x - n*y where n is the integer nearest the exact value of xy; moreover if |n - xy| = 1/2 then n is even. Consequently, the remainder is computed exactly and |r| <= |y|/2. But remainder(x, 0) and remainder(Infinity, 0) are invalid operations that produce a NaN. --
c_remainder :: CDouble -> CDouble -> CDoubleSource
scalb :: Double -> Double -> DoubleSource
scalb(x, n) returns x*(2**n) computed by exponent manipulation.
significand :: Double -> DoubleSource
significand(x) returns sig, where x := sig * 2**n with 1 <= sig < 2. significand(x) is not defined when x is 0, +-Infinity, or NaN.
c_copysign :: CDouble -> CDouble -> CDoubleSource
ilogb() returns x's exponent n, in integer format. ilogb(+-Infinity) re- turns INT_MAX and ilogb(0) returns INT_MIN.