27

わかりました。前の質問でわかったように、RWH の本は既に QuickCheck には古くなっています。そして、QuickCheck を使用することがいかに信じられないほど簡単であるかを教えてくれるすべての投稿を読んだにもかかわらず、プロパティに対して実行するテストの数を変更する方法を教えてくれる場所が見つかりません。

RWH は次のように述べています。

handyCheck limit = check defaultConfig {
                     configMaxTest = limit
                   , configEvery   = \_ _ -> ""
                   }

QuickCheck 2.4 でこれを行うには? もっと重要なのは、どうやって自分自身を見つけたのだろうか? APIドキュメントからそれを理解できたはずだとは言わないでください。

4

2 に答える 2

50

あなたは探している：

quickCheckWith stdArgs { maxSuccess = 5000 } someProp

知った経緯

  1. APIドキュメントに行きました。
  2. 2番目に見たのは、フィールドのあるタイプquickCheckでした。ArgsmaxSuccess
  3. すべてのフィールドを書きたくなかったので、 type Args-findingの値を探しましたstdArgs。(ブラウザの検索機能を使用してください - 通常は ctrl-f)。OTOH、 hoogle を使用できたはずです。
  4. Argsどこかで自分の型を使う必要があったので、探し続けました。次の行はquickCheckWith- ビンゴ！一方、hoogleを使用することもできました。

他にどのように見つけることができますか

Args上で述べたように、型が (ハドックからの) 必要なもののコアであることに気付いていれば、hoogle を使用して多くの関数を見つけることができたはずです。

そうしないと、おそらく他のパッケージが何をするかを調べることになります。つまり、他のどのパッケージが注目に値するかを知る必要があるということです。QuickCheckのサンプルフォルダーは明らかですが、すべてのパッケージにそのようなサンプルが含まれているわけではありません。逆依存関係を使用すると、確認するパッケージを見つけることができますが、QC の場合、多くのパッケージには明示的な依存関係がありません。

于 2011-11-14T01:23:21.820 に答える