Introduce parMap and deprecate parTraverseXXX#2863

Merged

nomisRev merged 11 commits intomainfrom deprecate-partraverse

Jan 24, 2023

+841-124

Commits on Dec 5, 2022

Commits on Dec 10, 2022

Merge branch 'main' into deprecate-partraverse
nomisRev
authored

Commits on Jan 18, 2023

Merge remote-tracking branch 'origin/main' into deprecate-partraverse
nomisRev
committed

Commits on Jan 19, 2023

Commits on Jan 20, 2023

Improve message, and add missing (semigroup) to ReplaceWith
nomisRev
committed
Merge remote-tracking branch 'origin/main' into deprecate-partraverse
nomisRev
committed

Commits on Jan 23, 2023

Merge branch 'main' into deprecate-partraverse
nomisRev
authored