Skip to content
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.

Sign up for GitHub

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

Jump to bottom

Add merge API for Data.IntMap #327

Closed
treeowl opened this issue Aug 31, 2016 · 1 comment
Closed

Add merge API for Data.IntMap #327

treeowl opened this issue Aug 31, 2016 · 1 comment
Assignees
@wrengr
Labels
feature-request high-priority urgent
Milestone
v. 0.5.9.1

Comments

@treeowl
Copy link
Contributor

treeowl commented Aug 31, 2016

We want merge and mergeA for Data.IntMap to match the ones for Data.Map. The merge tactic types are somewhat different. I guess we could change them so they can be the same, but I doubt it's worth it.
@treeowl treeowl added this to the v. 0.5.9.1 milestone Aug 31, 2016
@gereeter gereeter mentioned this issue Sep 13, 2016
Open
@sjakobi
Copy link
Member

sjakobi commented Jul 15, 2020

This stuff was added in 0.5.9.

@sjakobi sjakobi closed this as completed Jul 15, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@wrengr wrengr

Labels
feature-request high-priority urgent
Projects
None yet
Milestone
v. 0.5.9.1
Development

No branches or pull requests
3 participants
@treeowl @wrengr @sjakobi