Float_u.ArrayThe Array module provides some helpers that wrap common operations on floatarrays with appropriate boxing or unboxing to work with float#.
These functions are provided just for convenience. They are equivalent (in semantics and performance) to just using the same functions from the Float_array library and appropriate calls to to_float or of_float. The compiler should erase the extra boxing/unboxing steps either way.
include Array with type t = Float_array.t and type elt := floattype t = Float_array.tinclude Array_getters_and_setters with type t := t and type elt := floatval get : t @ local -> (int -> float) @ localval set : t @ local -> (int -> (float -> unit) @ local) @ localval unsafe_get : t @ local -> (int -> float) @ localval unsafe_set : t @ local -> (int -> (float -> unit) @ local) @ localval create : len:int -> float -> tval length : t @ local -> intval t_of_sexp : Core.Sexp.t -> t @@ portableval sexp_of_t : t -> Core.Sexp.t @@ portableval custom_sexp_of_t : (float -> Core.Sexp.t) -> t -> Core.Sexp.tval custom_t_of_sexp : (Core.Sexp.t -> float) -> Core.Sexp.t -> tval init : int -> f:(int -> float) -> tval iter : t -> f:(float -> unit) -> unitval iteri : t -> f:(int -> float -> unit) -> unitIdentity no-op conversions between t and elt array. They are the same type at runtime.
val to_float_u_array : t -> float arrayval of_float_u_array : float array -> tinclude Core.Bin_prot.Binable.S with type t := tinclude Bin_prot.Binable.S_only_functions with type t := tval bin_read_t : t Bin_prot.Read.readerval __bin_read_t__ : t Bin_prot.Read.vtag_readerThis function only needs implementation if t exposed to be a polymorphic variant. Despite what the type reads, this does *not* produce a function after reading; instead it takes the constructor tag (int) before reading and reads the rest of the variant t afterwards.
val bin_shape_t : Bin_prot.Shape.tval bin_writer_t : t Bin_prot.Type_class.writerval bin_reader_t : t Bin_prot.Type_class.readerval bin_t : t Bin_prot.Type_class.tmodule Permissioned : sig ... end