Conversation
armanbilge
left a comment
There was a problem hiding this comment.
Wait, is this foldMapM?
cats/core/src/main/scala/cats/Foldable.scala
Lines 545 to 546 in 14286c9
|
@armanbilge oh lol, you are right. So we were only missing the "friends", right? Although, I should have realized it, since I first thought of calling |
|
Okay, after Arman realized I was reimplementing the wheel with the "traverse" ones. Actually, I just realized we are missing something |
foldTraverse & friendsMonoidK based folds
MonoidK based foldsMonoidK based folds
I am opening this before adding tests and docs to get feedback and see if it is a worth-it addition or not; or even to confirm this doesn't exist already 😅
I found myself needing
foldSequenceKtoday having aList[Resource[IO, HttpRoutes[IO]]and wanting to get back aResource[IO, HttpRoutes[IO]]in an easy way.