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

utils

Browse source
This commit is contained in:
Simon Cruanes 2021-09-13 06:34:21 -04:00
parent d1db53f002
commit 3ea7064de4
No known key found for this signature in database
GPG key ID: 4AC01D0849AA62B6
2 changed files with 4 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

2
src/util/Vec.ml
View file

@ -129,6 +129,8 @@ let[@inline] iteri f t =
let[@inline] to_seq a k = iter k a let[@inline] to_seq a k = iter k a
let to_iter v k = iter k v
let exists p t = Iter.exists p @@ to_seq t let exists p t = Iter.exists p @@ to_seq t
let for_all p t = Iter.for_all p @@ to_seq t let for_all p t = Iter.for_all p @@ to_seq t
let fold f acc a = Iter.fold f acc @@ to_seq a let fold f acc a = Iter.fold f acc @@ to_seq a

2
src/util/Vec.mli
View file

@ -84,6 +84,8 @@ val sort : 'a t -> ('a -> 'a -> int) -> unit
val iter : ('a -> unit) -> 'a t -> unit val iter : ('a -> unit) -> 'a t -> unit
(** Iterate on elements *) (** Iterate on elements *)
val to_iter : 'a t -> 'a Iter.t
val iteri : (int -> 'a -> unit) -> 'a t -> unit val iteri : (int -> 'a -> unit) -> 'a t -> unit
(** Iterate on elements with their index *) (** Iterate on elements with their index *)