警告:(55, 56) MoldPiece[PressureData(Int, prettyprint.YesNo)] 上尚不存在“withFilter”方法,请改用“filter”方法

Warning:(55, 56) `withFilter' method does not yet exist on MoldPiece[PressureData(Int, prettyprint.YesNo)], using `filter' method instead

是否有关闭该警告的方法?我完全理解它说的是什么,为什么它通常有用以及为什么 WithFilter 存在,但是这个特定的 monad 用于组合单个函数而不是 monadic 类型值的集合,并且 WithFilter 不会提供任何有意义的改进,同时需要额外的方法和 classes 混淆了 class.

的简单界面

如何定义 def withFilter(f: A => Boolean) = filter(f) 并记录它仅用于此目的?不幸的是,Scala 编译器没有通用的方法来关闭您不想要的警告,而且我认为没有特定于此的方法。