From 1975c980254dac24ddf9ae88f862884ec6f6ed0e Mon Sep 17 00:00:00 2001 From: Fardale Date: Thu, 25 Feb 2021 18:51:33 +0100 Subject: [PATCH] fix: wrong name in 6b52ec69 partition_filter_either -> partition_map_either --- src/core/CCList.mli | 4 ++-- src/core/CCListLabels.mli | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-) diff --git a/src/core/CCList.mli b/src/core/CCList.mli index e7f4a821..17902aa1 100644 --- a/src/core/CCList.mli +++ b/src/core/CCList.mli @@ -231,9 +231,9 @@ val diagonal : 'a t -> ('a * 'a) t (** [diagonal l] returns all pairs of distinct positions of the list [l], that is the list of [List.nth i l, List.nth j l] if [i < j]. *) -val partition_filter_either : ('a -> ('b, 'c) CCEither.t) -> +val partition_map_either : ('a -> ('b, 'c) CCEither.t) -> 'a list -> 'b list * 'c list -(** [partition_filter_either f l] maps [f] on [l] and gather results in lists: +(** [partition_map_either f l] maps [f] on [l] and gather results in lists: - if [f x = Left y], adds [y] to the first list. - if [f x = Right z], adds [z] to the second list. @since NEXT_RELEASE *) diff --git a/src/core/CCListLabels.mli b/src/core/CCListLabels.mli index c0cdb1cb..0d9891e6 100644 --- a/src/core/CCListLabels.mli +++ b/src/core/CCListLabels.mli @@ -235,9 +235,9 @@ val diagonal : 'a t -> ('a * 'a) t (** [diagonal l] returns all pairs of distinct positions of the list [l], that is the list of [List.nth i l, List.nth j l] if [i < j]. *) -val partition_filter_either : f:('a -> ('b, 'c) CCEither.t) -> +val partition_map_either : f:('a -> ('b, 'c) CCEither.t) -> 'a list -> 'b list * 'c list -(** [partition_filter_either ~f l] maps [f] on [l] and gather results in lists: +(** [partition_map_either ~f l] maps [f] on [l] and gather results in lists: - if [f x = Left y], adds [y] to the first list. - if [f x = Right z], adds [z] to the second list. @since NEXT_RELEASE *)