Scalacheck支柱类型不匹配

Question

我遇到过这个错误几次。这是非常自我解释，不匹配是在我的答案var是一个Int，因为我相信它应该是，但它是想要的类型道具。我有一种感觉，它的语法关系，我构建这个方法，但让我知道你在想什么：

Answer 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。