Open guaraqe opened 4 years ago
I added a foldMapOf'
function that is equivalent to that in lens
. I put this in a separate commit in case you deem it is not adequate to this package.
FYI, rebased version here: https://github.com/guibou/profunctors
This adds
foldMap
-like functions toTraversing
. They are more efficient than doingrmap fold . traverse'
because they never materialize the output structure.I added them with these names since there is not a
Folding
typeclass in the profunctors hierarchy.