-
Notifications
You must be signed in to change notification settings - Fork 183
Add strict foldlWithKeyM #795
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Conversation
@treeowl Do you have any feedback on this?
I've changed this in the most recent commit. I think I'll have:
- left monadic fold on map
- right monadic fold on map
- left monadic fold on intmap
- right monadic fold on intmap
Anything else you'd like to see in that list.
I live in Atlanta, so all the truly good pizza is a ways up the east coast from me.
ocramz
commented
Jan 3, 2023
@treeowl This seems like an uncontroversial (and welcome) addition, how can we move this PR forward?
Is there anything I can do to move this forward?
I got sick a few weeks ago, and then went on family vacation. I expect to be ready to get back to my GitHub backlog by next Thursday. If this is ready for review, could you mark it as such?
7a5a669
to
f21b72c
Compare
I've squashed and rebased. This adds foldlWithKeyM
and foldrWithKeyM
functions for the Data.Map
data structure, both of which are lazy in the accumulator. It's ready for review.
Resolves #793
This is just the implementation of a single monadic fold. @treeowl if you confirm that this implementation of this particular function looks good, I can add all of the lazy folds and the right folds as well