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。