From 3ea7064de4654c6f25124ec650a4fabcc78c99c8 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Mon, 13 Sep 2021 06:34:21 -0400 Subject: [PATCH] utils --- src/util/Vec.ml | 2 ++ src/util/Vec.mli | 2 ++ 2 files changed, 4 insertions(+) diff --git a/src/util/Vec.ml b/src/util/Vec.ml index 01b9731a..277ec362 100644 --- a/src/util/Vec.ml +++ b/src/util/Vec.ml @@ -129,6 +129,8 @@ let[@inline] iteri f t = 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 for_all p t = Iter.for_all p @@ to_seq t let fold f acc a = Iter.fold f acc @@ to_seq a diff --git a/src/util/Vec.mli b/src/util/Vec.mli index 5e0038b3..feae52b7 100644 --- a/src/util/Vec.mli +++ b/src/util/Vec.mli @@ -84,6 +84,8 @@ val sort : 'a t -> ('a -> 'a -> int) -> unit val iter : ('a -> unit) -> 'a t -> unit (** Iterate on elements *) +val to_iter : 'a t -> 'a Iter.t + val iteri : (int -> 'a -> unit) -> 'a t -> unit (** Iterate on elements with their index *)