Skip to content

Add Filter to std.meta#4378

Closed
MetaLang wants to merge 1 commit intodlang:masterfrom
MetaLang:meta-filter
Closed

Add Filter to std.meta#4378
MetaLang wants to merge 1 commit intodlang:masterfrom
MetaLang:meta-filter

Conversation

@MetaLang
Copy link
Member

I was surprised to find that this does not already exist. A good followup IMO would be to rewrite Erase and EraseAll in terms of Filter.

@MetaLang
Copy link
Member Author

And... it does exist; I just missed it somehow. Never mind.

@MetaLang MetaLang closed this May 29, 2016
@wilzbach
Copy link
Contributor

You might be interested in #4376 too ;-)

@MetaLang MetaLang deleted the meta-filter branch March 4, 2019 21:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants