guide to move from filter to withFilter? [closed]

Closed. This question does not meet Stack Overflow guidelines. It is not currently accepting answers.

---

We don’t allow questions seeking recommendations for books, tools, software libraries, and开发者_Go百科 more. You can edit the question so it can be answered with facts and citations.

Closed 6 years ago.

Improve this question

Is there a detailed guide to move from filter() to withFilter()? Now I get warnings about my using filter() implementations but can't find an easy guide for moving to withFilter()...

---

You can relive the birth of withFilter on the mailing list.

And check out the diff that brought it to Scalacheck.