从过滤器移动到withFilter的指南？

Question

是否有从filter（）转到withFilter（）的详细指南？现在我收到有关使用filter（）实现的警告，但找不到移动到withFilter（）的简单指南...

Answer 1

您可以在the mailing list上重温withFilter的诞生。

并查看将其带到Scalacheck的the diff。