guide to move from filter to withFilter? [closed]

Answer 1

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

And check out the diff that brought it to Scalacheck.