が自動的quickCheckのファンなので、すべてのquickChecks

Question

を収集し、私は私のプログラムを通じて

prop_something_something = ... 

がたくさんあります。便宜上

、簡単にそれらのすべてを実行するために、私は

runchecks = do 
    quickCheck prop_something_something 
    quickCheck prop_something_different 

を定義するが、runchecksを生成するための良い方法はありますか？

TL; DR：すべてのクイックチェックをファイル内で簡単に実行したい。 1つの方法は、runnableテストの前にtest_などの接頭辞を付けることですが、それはあまりにもハッキリかもしれません。

Answer 1

test-framework-thパッケージでこれを行うことができます。ただ、やる：

import Test.Framework.TH 
import Test.Framework.Providers.QuickCheck2 
runchecks = $(defaultMainGenerator) 

これはテストを実行しているのtest-framework方法を使用します、あなたは単にしばしば良いことである、次々にテストを実行することにより、取得したいものより少しより多くの情報を取得します。すなわち。

これを有効にするには、明らかにTemplateHaskellが有効になっている必要があります。 CabalファイルにDefault-extensions: TemplateHaskellを追加するか、{-# LANGUAGE TemplateHaskell #-}をファイルの先頭に追加してください。

Answer 2

この機能は、QuickCheck 2でもそのまま使用できます。の機能を参照してください。Test.QuickCheck.AllとTemplateHaskellのインポートが必要です。 quickCheckAllは、名前がprop_で始まるモジュール内のすべての関数をテストします。