警告:(55,56)在MoldPiece [PressureData(Int,prettyprint.YesNo)]上不存在`withFilter'方法,使用`filter'方法代替

时间:2016-11-14 11:46:13

标签: scala monads for-comprehension

是否有关闭该警告的方法?我完全理解它的含义,为什么它通常是有用的,为什么WithFilter存在,但这个特殊的monad用于组成单个函数而不是monadic类型值的集合,而WithFilter将不提供任何有意义的改进,同时需要一个额外的方法和类混淆类的简单接口。

1 个答案:

答案 0 :(得分:2)

如何定义def withFilter(f: A => Boolean) = filter(f)并记录它只是为了这个目的而存在?不幸的是,Scala编译器没有一般方法来关闭你不想要的警告,我认为没有一种特定的方法。