Commit | Line | Data |
---|---|---|
7f918cf1 CE |
1 | signature ARRAY_1997 = |
2 | sig | |
3 | eqtype 'a array | |
4 | type 'a vector | |
5 | ||
6 | val app: ('a -> unit) -> 'a array -> unit | |
7 | val appi: (int * 'a -> unit) -> 'a array * int * int option -> unit | |
8 | val array: int * 'a -> 'a array | |
9 | val copy: {src: 'a array, si: int, len: int option, | |
10 | dst: 'a array, di: int} -> unit | |
11 | val copyVec: {src: 'a vector, si: int, len: int option, | |
12 | dst: 'a array, di: int} -> unit | |
13 | val extract: 'a array * int * int option -> 'a vector | |
14 | val foldl: ('a * 'b -> 'b) -> 'b -> 'a array -> 'b | |
15 | val foldli: (int * 'a * 'b -> 'b) -> 'b -> 'a array * int * int option -> 'b | |
16 | val foldr: ('a * 'b -> 'b) -> 'b -> 'a array -> 'b | |
17 | val foldri: (int * 'a * 'b -> 'b) -> 'b -> 'a array * int * int option -> 'b | |
18 | val fromList: 'a list -> 'a array | |
19 | val length: 'a array -> int | |
20 | val maxLen: int | |
21 | val modify: ('a -> 'a) -> 'a array -> unit | |
22 | val modifyi: (int * 'a -> 'a) -> 'a array * int * int option -> unit | |
23 | val sub: 'a array * int -> 'a | |
24 | val tabulate: int * (int -> 'a) -> 'a array | |
25 | val update: 'a array * int * 'a -> unit | |
26 | end |