Module Prelude.Math

Math functions from java.lang.Math. Many of those functions are overloaded for Float and Double, so we introduce a type class Floating to avoid overloading issues.

For example

 f x = 2 * sqrt x

would give a type error, because the compiler wouldn't know whether to use

 sqrt :: Float  -> Double

 sqrt :: Double -> Double

Note that many functions return Double, no matter if the argument was Double or Float.

Imports

import Java.lang.Math as J
import Prelude.PreludeBase as PreludeBase

Table of Content

Definitions

class (Eq r, Ord r, Num r, Real r) ⇒ Floating r

random ∷ () → IO Double

sqr ∷ Num a ⇒ a → a
Instances

instance Floating Double

instance Floating Float
Functions and Values by Type

Definitions

random ∷ () → IO Double
native java.lang.Math.random

Returns a Double with a positive sign, greater than or equal to 0.0 and less than 1.0.

sqr ∷ Num a ⇒ a → a

square

class (Eq r, Ord r, Num r, Real r) ⇒ Floating r

Known Instances

Double, Float

Member Functions

acos ∷ Floating r ⇒ r → Double

Returns the arc cosine of a value; the returned angle is in the range 0.0 through Floating.pi.

acosh ∷ Floating r ⇒ r → Double

Inverse hyperbolic function for Floating.cosh

asin ∷ Floating r ⇒ r → Double

Returns the arc sine of a value; the returned angle is in the range -Floating.pi/2 through Floating.pi/2.

asinh ∷ Floating r ⇒ r → Double

Inverse hyperbolic function for Floating.sinh

atan ∷ Floating r ⇒ r → Double

Returns the arc tangent of a value; the returned angle is in the range -Floating.pi/2 through Floating.pi/2.

atan2 ∷ Floating r ⇒ r → r → Double

Returns the angle theta from the conversion of rectangular coordinates (x, y) to polar coordinates (r, theta).

atanh ∷ Floating r ⇒ r → Double

Inverse hyperbolic function for Floating.tanh

cbrt ∷ Floating r ⇒ r → Double

Returns the cube root of a value.

ceil ∷ Floating r ⇒ r → Double

Returns the smallest (closest to negative infinity) value that is greater than or equal to the argument and is equal to a mathematical integer.

copySign ∷ Floating r ⇒ r → r → r

Returns the first argument with the sign of the second argument.

cos ∷ Floating r ⇒ r → Double

Returns the trigonometric cosine of an angle.

cosh ∷ Floating r ⇒ r → Double

Returns the hyperbolic cosine of a floating point value.

e ∷ Floating r ⇒ r

The value that is closer than any other to e, the base of the natural logarithms.

exp ∷ Floating r ⇒ r → Double

Returns Euler's number Floating.e raised to the power of a floating-point value.

expm1 ∷ Floating r ⇒ r → Double

Returns e^x -1.

floor ∷ Floating r ⇒ r → Double

Returns the largest (closest to positive infinity) value that is less than or equal to the argument and is equal to a mathematical integer.

Special cases:

If the argument value is already equal to a mathematical integer, then the result is the same as the argument.
If the argument is NaN or an infinity or positive zero or negative zero, then the result is the same as the argument.

getExponent ∷ Floating r ⇒ r → Int

Returns the unbiased exponent used in the representation of a floating point number.

hypot ∷ Floating r ⇒ r → r → Double

Returns Floating.sqrt (x² + y²) without intermediate overflow or underflow.

ieeeRemainder ∷ Floating r ⇒ r → r → Double

Computes the remainder operation on two arguments as prescribed by the IEEE 754 standard.

log ∷ Floating r ⇒ r → Double

Returns the natural logarithm (base Floating.e) of a value.

log10 ∷ Floating r ⇒ r → Double

Returns the base 10 logarithm of a value.

log1p ∷ Floating r ⇒ r → Double

Returns the natural logarithm of the sum of the argument and 1.

logBase ∷ Floating r ⇒ r → r → Double

Returns the logarithm of the second argument to the base given by the first argument.

nextAfter ∷ Floating r ⇒ r → r → Double

Returns the floating-point number adjacent to the first argument in the direction of the second argument.

nextUp ∷ Floating r ⇒ r → r

Returns the floating-point value adjacent to the argument in the direction of positive infinity.

pi ∷ Floating r ⇒ r

The value that is closer than any other to pi, the ratio of the circumference of a circle to its diameter.

pow ∷ Floating r ⇒ r → r → Double
infixr 15

Returns the value of the first argument raised to the power of the second argument.

rint ∷ Floating r ⇒ r → Double

Returns the double value that is closest in value to the argument and is equal to a mathematical integer.

round ∷ Floating r ⇒ r → Long

Returns the closest Long to the argument, with ties rounding up.

scalb ∷ Floating r ⇒ r → Int → r

 scalb d scaleFactor

Return d * 2^scaleFactor rounded as if performed by a single correctly rounded floating-point multiply.

signum ∷ Floating r ⇒ r → r

Returns the signum function of the argument; zero if the argument is zero, 1.0 if the argument is greater than zero, -1.0 if the argument is less than zero.

sin ∷ Floating r ⇒ r → Double