fix: wrong name in 6b52ec69

partition_filter_either -> partition_map_either
This commit is contained in:
Fardale 2021-02-25 18:51:33 +01:00
parent 6b52ec6945
commit 1975c98025
2 changed files with 4 additions and 4 deletions

View file

@ -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 *)

View file

@ -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 *)