guide to move from filter to withFilter? [closed]

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()...

Answer 1

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

And check out the diff that brought it to Scalacheck.