Skip to content

Refactor uses of `partitionEithers . map`

Stefan Holdermans requested to merge (removed):23953-partitionEithers into master

This MR implements changes that refactor uses of the idioms partitionEithers (map f xs) and partitionEithers (mapM f xs) into partitionWith f xs and partitionWithM f xs respectively, where partitionWith is an existing utility function from GHC.Utils.Misc and partitionWithM a newly added monadic version.

The MR contains three commits: one for the non-monadic idiom, one for the monadic idiom, and one for making the monadic utility function inlineable.

Closes: #23953 (closed)

Edited by Stefan Holdermans

Merge request reports