1995-05-04 03:15:53 -07:00
|
|
|
(* Array operations *)
|
|
|
|
|
1995-05-05 03:05:18 -07:00
|
|
|
external length : 'a array -> int = "%array_length"
|
1995-05-04 03:15:53 -07:00
|
|
|
|
1995-06-15 01:10:01 -07:00
|
|
|
external get: 'a array -> int -> 'a = "array_get"
|
|
|
|
external set: 'a array -> int -> 'a -> unit = "array_set"
|
1995-05-05 03:05:18 -07:00
|
|
|
external new: int -> 'a -> 'a array = "make_vect"
|
1995-05-04 03:15:53 -07:00
|
|
|
val new_matrix: int -> int -> 'a -> 'a array array
|
1995-06-05 06:42:38 -07:00
|
|
|
val append: 'a array -> 'a array -> 'a array
|
|
|
|
val concat: 'a array list -> 'a array
|
1995-05-04 03:15:53 -07:00
|
|
|
val sub: 'a array -> int -> int -> 'a array
|
|
|
|
val copy: 'a array -> 'a array
|
|
|
|
val fill: 'a array -> int -> int -> 'a -> unit
|
|
|
|
val blit: 'a array -> int -> 'a array -> int -> int -> unit
|
|
|
|
val iter: ('a -> 'b) -> 'a array -> unit
|
|
|
|
val map: ('a -> 'b) -> 'a array -> 'b array
|
|
|
|
val to_list: 'a array -> 'a list
|
|
|
|
val of_list: 'a list -> 'a array
|
|
|
|
|
1995-06-15 01:10:01 -07:00
|
|
|
external unsafe_get: 'a array -> int -> 'a = "%array_unsafe_get"
|
|
|
|
external unsafe_set: 'a array -> int -> 'a -> unit = "%array_unsafe_set"
|
1995-05-04 03:15:53 -07:00
|
|
|
|