blob: e0d9983d7d87f7140c99ad455768276d5f0dd427 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
|
(* Array operations *)
external length : 'a array -> int = "%array_length"
external get: 'a array -> int -> 'a = "array_get"
external set: 'a array -> int -> 'a -> unit = "array_set"
external new: int -> 'a -> 'a array = "make_vect"
val new_matrix: int -> int -> 'a -> 'a array array
val append: 'a array -> 'a array -> 'a array
val concat: 'a array list -> 'a array
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
external unsafe_get: 'a array -> int -> 'a = "%array_unsafe_get"
external unsafe_set: 'a array -> int -> 'a -> unit = "%array_unsafe_set"
|
