feat ccfunvec: add fold_rev

This commit is contained in:
Simon Cruanes 2023-11-16 15:32:07 -05:00
parent a07c688404
commit 3a296ba127
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4

View file

@ -83,6 +83,7 @@ val iteri_rev : f:(int -> 'a -> unit) -> 'a t -> unit
(** Iterate on elements with their index, but starting from the end. *) (** Iterate on elements with their index, but starting from the end. *)
val fold : f:('b -> 'a -> 'b) -> x:'b -> 'a t -> 'b val fold : f:('b -> 'a -> 'b) -> x:'b -> 'a t -> 'b
val fold_rev : f:('b -> 'a -> 'b) -> x:'b -> 'a t -> 'b
val foldi : f:('b -> int -> 'a -> 'b) -> x:'b -> 'a t -> 'b val foldi : f:('b -> int -> 'a -> 'b) -> x:'b -> 'a t -> 'b
val append : 'a t -> 'a t -> 'a t val append : 'a t -> 'a t -> 'a t
val map : ('a -> 'b) -> 'a t -> 'b t val map : ('a -> 'b) -> 'a t -> 'b t