Scalacheck 소품 유형 불일치

Question

나는이 오류를 여러 번 발견했습니다. 꽤 자명한데, 불일치가 Int 인 내 ans var에오고 있습니다. 그렇지만 그것이 있어야한다고 믿기 때문에, 타입 소품이 필요합니다. 나는 그것이 구문 관련이 느낌, 나는이 구축있어 방법이 있지만, 나를 어떻게 생각하는지 보자

Answer 1

함의 연산자의 서명은 다음과 같습니다

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

암시 적 가정 전환이 범위에 포함되어 있다면 Boolean에서 Prop을 생성 할 수 있어야합니다. 따라서 (ans == n*m) 주위에만 대괄호가 필요합니다. 그렇지 않은 경우 ==>에 대한 인수는 , 즉 Int이되며 Prop으로 변환 할 수 없습니다.

implicit def propBoolean(b: Boolean): Prop 

및 객체 Prop에, 그래서 import org.scalacheck.Prop.propBoolean에 확인하십시오

필요한 암시 적 변환입니다.