diff options
Diffstat (limited to 'lib/cList.mli')
| -rw-r--r-- | lib/cList.mli | 4 |
1 files changed, 4 insertions, 0 deletions
diff --git a/lib/cList.mli b/lib/cList.mli index a82759daa..d891403d8 100644 --- a/lib/cList.mli +++ b/lib/cList.mli @@ -143,6 +143,10 @@ sig val iteri : (int -> 'a -> unit) -> 'a list -> unit (** As [iter] but with the index argument (starting from 0). *) + val fold_left_until : ('c -> 'a -> 'c CSig.until) -> 'c -> 'a list -> 'c + (** acts like [fold_left f acc s] while [f] returns + [Cont acc']; it stops returning [c] as soon as [f] returns [Stop c]. *) + val fold_right_i : (int -> 'a -> 'b -> 'b) -> int -> 'a list -> 'b -> 'b val fold_left_i : (int -> 'a -> 'b -> 'a) -> int -> 'a -> 'b list -> 'a val fold_right_and_left : |