simon/sidekick
1
0
Fork 0
mirror of https://github.com/c-cube/sidekick.git synced 2025-12-11 05:28:34 -05:00
Code Issues Projects Releases Packages Wiki Activity Actions

add IArray.iteri2

Browse source
This commit is contained in:
Simon Cruanes 2021-06-15 20:54:43 -04:00
parent 252f7243a4
commit e979b88148
2 changed files with 8 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

6
src/util/IArray.ml
View file

@ -165,6 +165,12 @@ let iter2 f a b =
f (unsafe_get a i) (unsafe_get b i) f (unsafe_get a i) (unsafe_get b i)
done done
let iteri2 f a b =
if length a <> length b then invalid_arg "iteri2";
for i = 0 to length a-1 do
f i (unsafe_get a i) (unsafe_get b i)
done
let fold2 f acc a b = let fold2 f acc a b =
if length a <> length b then invalid_arg "fold2"; if length a <> length b then invalid_arg "fold2";
let rec aux acc i = let rec aux acc i =

2
src/util/IArray.mli
View file

@ -106,5 +106,7 @@ val map2 : ('a -> 'b -> 'c) -> 'a t -> 'b t -> 'c t
val fold2 : ('acc -> 'a -> 'b -> 'acc) -> 'acc -> 'a t -> 'b t -> 'acc val fold2 : ('acc -> 'a -> 'b -> 'acc) -> 'acc -> 'a t -> 'b t -> 'acc
val iteri2 : (int -> 'a -> 'b -> unit) -> 'a t -> 'b t -> unit
val iter2 : ('a -> 'b -> unit) -> 'a t -> 'b t -> unit val iter2 : ('a -> 'b -> unit) -> 'a t -> 'b t -> unit