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

Question

关闭。这个问题不满足Stack Overflow guidelines .它目前不接受答案。












想改善这个问题吗？更新问题，使其成为 on-topic对于堆栈溢出。

5年前关闭。



Improve this question




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

Answer 1

你可以重温withFilter的诞生在 the mailing list .

并查看 the diff这将它带到了 Scalacheck。