scala - Scalacheck prop タイプの不一致

Question

このエラーに何度か遭遇しました。それはかなり自明です。不一致は、Int である私の ans var で発生しています。私がこれを構築している方法は、構文に関連していると感じていますが、あなたの考えを教えてください:

Answer 1

含意演算子のシグネチャは次のとおりです。

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

Prop暗黙的な変換がスコープ内にあると仮定すると、 aから aを構築できるはずBooleanです。したがって、括弧のみが必要です(ans == n*m)。それ以外の場合、 への引数==>は単にans、つまりIntに変換できない になりPropます。

必要な暗黙の変換は次のとおりです。

 implicit def propBoolean(b: Boolean): Prop

とオブジェクトPropにあるので、必ずimport org.scalacheck.Prop.propBoolean.