diff options
| author | Hugo Herbelin | 2020-09-05 19:41:37 +0200 |
|---|---|---|
| committer | Hugo Herbelin | 2020-11-16 20:08:26 +0100 |
| commit | 213207a1612d311f2f60d7e498ebd53a13ce039b (patch) | |
| tree | b8f5229ba9eb47d5eac4c7068a774c3afee064c0 /clib/cArray.mli | |
| parent | 22c8fcfcfff8000863b374b4c51fb50d9a7ac7c2 (diff) | |
Adding Array.iter3.
Diffstat (limited to 'clib/cArray.mli')
| -rw-r--r-- | clib/cArray.mli | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/clib/cArray.mli b/clib/cArray.mli index f40ceb56db..664bad4c0a 100644 --- a/clib/cArray.mli +++ b/clib/cArray.mli @@ -92,6 +92,9 @@ sig val iter2_i : (int -> 'a -> 'b -> unit) -> 'a array -> 'b array -> unit (** Iter on two arrays. Raise [Invalid_argument "Array.iter2_i"] if sizes differ. *) + val iter3 : ('a -> 'b -> 'c -> unit) -> 'a array -> 'b array -> 'c array -> unit + (** Iter on three arrays. Raise [Invalid_argument "Array.iter3"] if sizes differ. *) + val fold_left_map : ('a -> 'b -> 'a * 'c) -> 'a -> 'b array -> 'a * 'c array (** [fold_left_map f e_0 [|l_1...l_n|] = e_n,[|k_1...k_n|]] where [(e_i,k_i)=f e_{i-1} l_i]; see also [Smart.fold_left_map] *) |