Scalacheck 道具类型不匹配

【问题标题】：Scalacheck prop type mismatchScalacheck 道具类型不匹配
【发布时间】：2012-11-07 19:41:50
【问题描述】：

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

【问题讨论】：

【解决方案1】：

蕴涵运算符的签名是：

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

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

所需的隐式转换为：

 implicit def propBoolean(b: Boolean): Prop

并且在对象Prop中，所以确保import org.scalacheck.Prop.propBoolean。

【讨论】：