From beb50229ad96d9e98c53fa2fdc60c51482e6d77f Mon Sep 17 00:00:00 2001 From: carm Date: Sat, 3 Jan 2015 13:16:56 -0500 Subject: [PATCH] fix foldi to have 'a param first --- sequence.mli | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/sequence.mli b/sequence.mli index ce6c318..7957890 100644 --- a/sequence.mli +++ b/sequence.mli @@ -122,7 +122,7 @@ val iteri : (int -> 'a -> unit) -> 'a t -> unit val fold : ('a -> 'b -> 'a) -> 'a -> 'b t -> 'a (** Fold over elements of the sequence, consuming it *) -val foldi : ('b -> int -> 'a -> 'b) -> 'b -> 'a t -> 'b +val foldi : ('a -> int -> 'b -> 'a) -> 'a -> 'b t -> 'a (** Fold over elements of the sequence and their index, consuming it *) val map : ('a -> 'b) -> 'a t -> 'b t