BatFloat

`sig
type t = float
val zero : float
val one : float
val neg : float -> float
val succ : float -> float
val pred : float -> float
val abs : float -> float
val add : float -> float -> float
val sub : float -> float -> float
val mul : float -> float -> float
val div : float -> float -> float
val modulo : float -> float -> float
val pow : float -> float -> float
val min_num : float
val max_num : float
val compare : float -> float -> int
val of_int : int -> float
val to_int : float -> int
external of_float : float -> float = "%identity"
external to_float : float -> float = "%identity"
val of_string : string -> float
val to_string : float -> string
val ( + ) : BatFloat.t -> BatFloat.t -> BatFloat.t
val ( - ) : BatFloat.t -> BatFloat.t -> BatFloat.t
val ( * ) : BatFloat.t -> BatFloat.t -> BatFloat.t
val ( / ) : BatFloat.t -> BatFloat.t -> BatFloat.t
val ( ** ) : BatFloat.t -> BatFloat.t -> BatFloat.t
val ( <> ) : BatFloat.t -> BatFloat.t -> bool
val ( >= ) : BatFloat.t -> BatFloat.t -> bool
val ( <= ) : BatFloat.t -> BatFloat.t -> bool
val ( > ) : BatFloat.t -> BatFloat.t -> bool
val ( < ) : BatFloat.t -> BatFloat.t -> bool
val ( = ) : BatFloat.t -> BatFloat.t -> bool
val ( -- ) : BatFloat.t -> BatFloat.t -> BatFloat.t BatEnum.t
val ( --- ) : BatFloat.t -> BatFloat.t -> BatFloat.t BatEnum.t
val operations : BatFloat.t BatNumber.numeric
external exp : float -> float = "caml_exp_float" "exp" "float"
external log : float -> float = "caml_log_float" "log" "float"
external log10 : float -> float = "caml_log10_float" "log10" "float"
external cos : float -> float = "caml_cos_float" "cos" "float"
external sin : float -> float = "caml_sin_float" "sin" "float"
external tan : float -> float = "caml_tan_float" "tan" "float"
external acos : float -> float = "caml_acos_float" "acos" "float"
external asin : float -> float = "caml_asin_float" "asin" "float"
external atan : float -> float = "caml_atan_float" "atan" "float"
external atan2 : float -> float -> float = "caml_atan2_float" "atan2"
"float"
external cosh : float -> float = "caml_cosh_float" "cosh" "float"
external sinh : float -> float = "caml_sinh_float" "sinh" "float"
external tanh : float -> float = "caml_tanh_float" "tanh" "float"
external ceil : float -> float = "caml_ceil_float" "ceil" "float"
external floor : float -> float = "caml_floor_float" "floor" "float"
val infinity : float
val neg_infinity : float
val nan : float
val is_nan : float -> bool
val epsilon : float
val pi : float
external frexp : float -> float * int = "caml_frexp_float"
external ldexp : float -> int -> float = "caml_ldexp_float"
external modf : float -> float * float = "caml_modf_float"
type fpkind =
Pervasives.fpclass =
FP_normal
| FP_subnormal
| FP_zero
| FP_infinite
| FP_nan
external classify : float -> BatFloat.fpkind = "caml_classify_float"
module Infix :
sig
type bat__infix_t = t
val ( + ) : bat__infix_t -> bat__infix_t -> bat__infix_t
val ( - ) : bat__infix_t -> bat__infix_t -> bat__infix_t
val ( * ) : bat__infix_t -> bat__infix_t -> bat__infix_t
val ( / ) : bat__infix_t -> bat__infix_t -> bat__infix_t
val ( ** ) : bat__infix_t -> bat__infix_t -> bat__infix_t
val ( -- ) : bat__infix_t -> bat__infix_t -> bat__infix_t BatEnum.t
val ( --- ) : bat__infix_t -> bat__infix_t -> bat__infix_t BatEnum.t
end
module Compare :
sig
type bat__compare_t = t
val ( <> ) : bat__compare_t -> bat__compare_t -> bool
val ( >= ) : bat__compare_t -> bat__compare_t -> bool
val ( <= ) : bat__compare_t -> bat__compare_t -> bool
val ( > ) : bat__compare_t -> bat__compare_t -> bool
val ( < ) : bat__compare_t -> bat__compare_t -> bool
val ( = ) : bat__compare_t -> bat__compare_t -> bool
end
val print : 'a BatInnerIO.output -> BatFloat.t -> unit
val t_printer : BatFloat.t BatValue_printer.t
module Safe_float :
sig
type t = float
val zero : float
val one : float
val neg : float -> float
val succ : float -> float
val pred : float -> float
val abs : float -> float
val add : float -> float -> float
val sub : float -> float -> float
val mul : float -> float -> float
val div : float -> float -> float
val modulo : float -> float -> float
val pow : float -> float -> float
val min_num : float
val max_num : float
val compare : float -> float -> int
val of_int : int -> float
val to_int : float -> int
external of_float : float -> float = "%identity"
external to_float : float -> float = "%identity"
val of_string : string -> float
val to_string : float -> string
val ( + ) :
BatFloat.Safe_float.t ->
BatFloat.Safe_float.t -> BatFloat.Safe_float.t
val ( - ) :
BatFloat.Safe_float.t ->
BatFloat.Safe_float.t -> BatFloat.Safe_float.t
val ( * ) :
BatFloat.Safe_float.t ->
BatFloat.Safe_float.t -> BatFloat.Safe_float.t
val ( / ) :
BatFloat.Safe_float.t ->
BatFloat.Safe_float.t -> BatFloat.Safe_float.t
val ( ** ) :
BatFloat.Safe_float.t ->
BatFloat.Safe_float.t -> BatFloat.Safe_float.t
val ( <> ) : BatFloat.Safe_float.t -> BatFloat.Safe_float.t -> bool
val ( >= ) : BatFloat.Safe_float.t -> BatFloat.Safe_float.t -> bool
val ( <= ) : BatFloat.Safe_float.t -> BatFloat.Safe_float.t -> bool
val ( > ) : BatFloat.Safe_float.t -> BatFloat.Safe_float.t -> bool
val ( < ) : BatFloat.Safe_float.t -> BatFloat.Safe_float.t -> bool
val ( = ) : BatFloat.Safe_float.t -> BatFloat.Safe_float.t -> bool
val operations : BatFloat.Safe_float.t BatNumber.numeric
val exp : float -> float
val log : float -> float
val log10 : float -> float
val cos : float -> float
val sin : float -> float
val tan : float -> float
val acos : float -> float
val asin : float -> float
val atan : float -> float
val atan2 : float -> float -> float
val cosh : float -> float
val sinh : float -> float
val tanh : float -> float
val ceil : float -> float
val floor : float -> float
val infinity : float
val neg_infinity : float
val nan : float
val is_nan : float -> bool
val epsilon : float
val pi : float
val frexp : float -> float * int
val ldexp : float -> int -> float
val modf : float -> float * float
type fpkind =
Pervasives.fpclass =
FP_normal
| FP_subnormal
| FP_zero
| FP_infinite
| FP_nan
external classify : float -> BatFloat.Safe_float.fpkind
= "caml_classify_float"
val print : 'a BatInnerIO.output -> BatFloat.Safe_float.t -> unit
val t_printer : BatFloat.Safe_float.t BatValue_printer.t
end
end`