Scalacheck道具類型不匹配

Question

我遇到過幾次這個錯誤。 這是不言自明的，不匹配出現在我的 ans 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 。