scala - Scalacheck 道具类型不匹配

Question

我遇到过这个错误几次。这很不言自明，不匹配出现在我的 ans var 上，它是一个 Int，我相信它应该是这样，但是它需要类型 prop。我感觉它与语法有关，我构建它的方式，但让我知道你的想法：

Answer 1

蕴涵运算符的签名是：

def ==>(p: ⇒ Prop): Prop 

假设隐式转换在范围内，应该可以Prop从 a 构造 a Boolean。因此，您只需要在(ans == n*m). 否则， to 的参数==>将只是ans，即 an Int，它不能转换为Prop。

所需的隐式转换是：

 implicit def propBoolean(b: Boolean): Prop

并且在对象中Prop，因此请确保import org.scalacheck.Prop.propBoolean。