Module JavaArray

module JavaArray: sig .. end
Support for unspecialized arrays.

type ('_, '_, '_) t
The type of unspecialized arrays, that are wrappers around specialized ones. The type parameters indicate:
  • the type of array elements;
  • the type of array indexes;
  • the type of the array that is wrapped.

 
val wrap_boolean_array : bool java_boolean_array -> (bool, int32, bool java_boolean_array) t
 
val wrap_byte_array : int java_byte_array -> (int, int32, int java_byte_array) t
 
val wrap_char_array : int java_char_array -> (int, int32, int java_char_array) t
 
val wrap_double_array : float java_double_array ->
(float, int32, float java_double_array) t
 
val wrap_float_array : float java_float_array -> (float, int32, float java_float_array) t
 
val wrap_int_array : int32 java_int_array -> (int32, int32, int32 java_int_array) t
 
val wrap_long_array : int64 java_long_array -> (int64, int32, int64 java_long_array) t
 
val wrap_short_array : int java_short_array -> (int, int32, int java_short_array) t
 
val wrap_reference_array : 'a java_reference_array -> ('a, int32, 'a java_reference_array) t
 
val wrap_boolean_array2 : bool java_boolean_array java_reference_array ->
(bool, int32 * int32, bool java_boolean_array java_reference_array)
t
 
val wrap_byte_array2 : int java_byte_array java_reference_array ->
(int, int32 * int32, int java_byte_array java_reference_array) t
 
val wrap_char_array2 : int java_char_array java_reference_array ->
(int, int32 * int32, int java_char_array java_reference_array) t
 
val wrap_double_array2 : float java_double_array java_reference_array ->
(float, int32 * int32, float java_double_array java_reference_array)
t
 
val wrap_float_array2 : float java_float_array java_reference_array ->
(float, int32 * int32, float java_float_array java_reference_array)
t
 
val wrap_int_array2 : int32 java_int_array java_reference_array ->
(int32, int32 * int32, int32 java_int_array java_reference_array) t
 
val wrap_long_array2 : int64 java_long_array java_reference_array ->
(int64, int32 * int32, int64 java_long_array java_reference_array)
t
 
val wrap_short_array2 : int java_short_array java_reference_array ->
(int, int32 * int32, int java_short_array java_reference_array) t
 
val wrap_reference_array2 : 'a java_reference_array java_reference_array ->
('a, int32 * int32, 'a java_reference_array java_reference_array) t
 
val length : ('a, 'b, 'c) t -> int32
length a returns the length of a.

Raises Java_exception if a is null.
 
val length_sub : ('a, int32 * int32, 'b) t -> int32 -> int32
length_sub a i returns the length of the sub array at index i of a.

Raises Java_exception if a is null, or if i is out of bounds.
 
val get : ('e, 'i, 'a) t -> 'i -> 'e
get a i returns the element at index i in a.

Raises Java_exception if a is null, or i is out of bounds.
 
val set : ('e, 'i, 'a) t -> 'i -> 'e -> unit
set a i x changes the element at index i in a to x.

Raises Java_exception if a is null, or i is out of bounds.
 
val iter : ('a -> unit) -> ('a, 'b, 'c) t -> unit
iter f a applies f to the elements of a.

Raises Java_exception if a is null.
 
val iteri : ('i -> 'a -> unit) -> ('a, 'i, 'b) t -> unit
iter f a applies f to the elements of a.

Raises Java_exception if a is null.
 
val is_null : ('a, 'b, 'c) t -> bool
is_null a returns true iff a is equal to null.
 
val is_not_null : ('a, 'b, 'c) t -> bool
is_not_null a returns false iff a is equal to null.
 
val wrap : ('e, 'i, 'r) t -> ('e, 'i, 'r) t option
wrap x wraps the array x into an option type:
  • Some x if x is not null;
  • None if x is null.

 
val wrapped : ('a, 'b, 'r) t -> 'r
wrapped a returns the wrapped array.