値が認識されないときは常にscalacheck

Question

私はscalacheckのいつの節についても基本的な質問があります。何らかの理由で、私のコンパイラはいつでも、(conditional subset) ==>の部分を認識しません。

（私はコーセラにOdersky著の二Scalaのコースに沿って、次の午前、として私はscalacheckプロパティを書いている：。コンパイラはいつでも認識しない

property("deleteMin ...") = forAll{ 
h:H => whenever (isEmpty(h)) {... 

私はに加えてインポートする必要があるものがあります

import org.scalacheck._ 
import Arbitrary._ 
import Gen._ 
import Prop._ 

？

Answer 1

私はscalacheckの専門家ではないんだけど、私はコーセラの割り当てを完了しました。

1. wheneverなしで行うことができます。
2. API documentationに記載されているwheneverが見つかりません。

Answer 2

Scalacheckには「いつでも」機能はありませんが、代わりに==>メソッドを使用できます。あなたは形質PropertyChecks（輸入org.scalatest.prop.PropertyChecks）に混在させることができる代わりにscalacheck のscalatestプロパティベースのテストを使用する場合は

（あなたはorg.scalacheck.P​​rop.BooleanOperatorsをインポートする必要があります）とします「いつでも」機能を使用できます。