module Float: sig
.. end
Float overloadings and optimized functions
val overloading : Delimited_overloading.t
In addition to the above overloadings, the usual float
functions like
sqrt
,
exp
,
cos
,
sin
,
acos
,
floor
,... are the
Pervasives
ones. Also
abs
is an alias
for
abs_float
.
max
and
min
are optimized for floats and
ignore
nan
(i.e.
max x nan = max nan x = x
,
min x nan =
min nan x = x
) as mandated by
IEEE Std 754-2008.
The function
is_nan
is available. The power operator is
specialized so that writing e.g.
x**2
is translated into
x
*. x
. The constant
pi
and function
hypot
are available.
val eq : Camlp4.PreCast.Syntax.Ast.Loc.t -> Camlp4.PreCast.Syntax.Ast.expr
An expression for the equality function ( = ) : float ->
float -> bool
, optimized for floats.
val ne : Camlp4.PreCast.Syntax.Ast.Loc.t -> Camlp4.PreCast.Syntax.Ast.expr
same as eq
but for <>
val lt : Camlp4.PreCast.Syntax.Ast.Loc.t -> Camlp4.PreCast.Syntax.Ast.expr
same as eq
but for <
val le : Camlp4.PreCast.Syntax.Ast.Loc.t -> Camlp4.PreCast.Syntax.Ast.expr
same as eq
but for <=
val gt : Camlp4.PreCast.Syntax.Ast.Loc.t -> Camlp4.PreCast.Syntax.Ast.expr
same as eq
but for >
val ge : Camlp4.PreCast.Syntax.Ast.Loc.t -> Camlp4.PreCast.Syntax.Ast.expr
same as eq
but for >=
val compare : Camlp4.PreCast.Syntax.Ast.Loc.t -> Camlp4.PreCast.Syntax.Ast.expr
Relocatable expression for a specialized comparison function.
val neg : Camlp4.PreCast.Syntax.Ast.Loc.t -> Camlp4.PreCast.Syntax.Ast.expr
An alternate identifier for ~-.
that performs float unary
negation even if the identifier ~-.
has been redefined.
val add : Camlp4.PreCast.Syntax.Ast.Loc.t -> Camlp4.PreCast.Syntax.Ast.expr
An alternate identifier for +.
that performs float addition
even if the identifier +.
has been redefined.
val sub : Camlp4.PreCast.Syntax.Ast.Loc.t -> Camlp4.PreCast.Syntax.Ast.expr
Similar to add
but for -.
val mul : Camlp4.PreCast.Syntax.Ast.Loc.t -> Camlp4.PreCast.Syntax.Ast.expr
Similar to add
but for *.
val div : Camlp4.PreCast.Syntax.Ast.Loc.t -> Camlp4.PreCast.Syntax.Ast.expr
Similar to add
but for /.
val pow : Camlp4.PreCast.Syntax.Ast.Loc.t -> Camlp4.PreCast.Syntax.Ast.expr
Similar to add
but for **
val abs : Camlp4.PreCast.Syntax.Ast.Loc.t -> Camlp4.PreCast.Syntax.Ast.expr
Similar to add
but for abs_float
val max : Camlp4.PreCast.Syntax.Ast.Loc.t -> Camlp4.PreCast.Syntax.Ast.expr
Optimized implementation for max
val min : Camlp4.PreCast.Syntax.Ast.Loc.t -> Camlp4.PreCast.Syntax.Ast.expr
Optimized implementation for min
val pi : Camlp4.PreCast.Syntax.Ast.Loc.t -> Camlp4.PreCast.Syntax.Ast.expr
Expression for the constant pi
val hypot : Camlp4.PreCast.Syntax.Ast.Loc.t -> Camlp4.PreCast.Syntax.Ast.expr
Expression for hypot x y
which
computes sqrt(x *. x +. y *. y)
without
undue underflow or overflow.