Skip to content

drain_filter for HashSet? #178

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
Closed
droundy opened this issue Jul 8, 2020 · 1 comment · Fixed by #179
Closed

drain_filter for HashSet? #178

droundy opened this issue Jul 8, 2020 · 1 comment · Fixed by #179

Comments

@droundy
Copy link

droundy commented Jul 8, 2020

I'd like to have drain_filter for sets as well as maps...
@mbrubeck mbrubeck mentioned this issue Jul 9, 2020
Closed
mbrubeck added a commit to mbrubeck/hashbrown that referenced this issue Jul 10, 2020
@mbrubeck
Add HashSet::drain_filter method
aadb95c 
Fixes rust-lang#178.
mbrubeck added a commit to mbrubeck/hashbrown that referenced this issue Jul 10, 2020
@mbrubeck
Add HashSet::drain_filter method
4e005fd 
Fixes rust-lang#178.
mbrubeck added a commit to mbrubeck/hashbrown that referenced this issue Jul 10, 2020
@mbrubeck
Add HashSet::drain_filter method
768ea10 
Fixes rust-lang#178.
@mbrubeck mbrubeck mentioned this issue Jul 10, 2020
Merged
@mbrubeck
Copy link
Contributor

I submitted pull request #179 to add HashSet::drain_filter.

mbrubeck added a commit to mbrubeck/hashbrown that referenced this issue Jul 10, 2020
@mbrubeck
Add HashSet::drain_filter method
f8d2b78 
Fixes rust-lang#178.
mbrubeck added a commit to mbrubeck/hashbrown that referenced this issue Jul 11, 2020
@mbrubeck
Add HashSet::drain_filter method
1e6d79e 
Fixes rust-lang#178.
bors added a commit that referenced this issue Jul 11, 2020
@bors
Auto merge of #179 - mbrubeck:drain_filter, r=Amanieu
cd5a2e2 
Add HashSet::drain_filter method

Fixes #178.
@bors bors closed this as completed in 45c6230 Jul 11, 2020
@bors bors closed this as completed in #179 Jul 11, 2020
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Add HashSet::drain_filter method mbrubeck/hashbrown
2 participants
@mbrubeck @droundy