作テストです。QuickCheck.バッチの使用はデフォルトタイプ試験-リスト機能
-
09-06-2019 - |
質問
私は試験機というの抽出を運営する行為を一覧です。
extractions :: [a] -> [(a,[a])]
extractions [] = []
extractions l = extract l []
where extract [] _ = []
extract (x:xs) prev = (x, prev++xs) : extract xs (x : prev)
い試験では、例えば、
import Test.QuickCheck.Batch
prop_len l = length l == length (extractions l)
main = runTests "extractions" defOpt [run prop_len]
こんコンパイル;していますの供給タイプのいずれか run
または prop_len
, でQuickCheckできな成 [a]
, では発生います。になるようにしてい Int
:
main = runTests "extractions" defOpt [r prop_len]
where r = run :: ([Int] -> Bool) -> TestOptions -> IO TestResult
はありませんQuickCheck選択 a
私にとってずにで指定されたタイプの run
?
解決
の quickcheckマニュアル は"no":
特性が必要monomorphicます。`多型については、その物性など、より上記を制限することを特定のタイプを使って試験をします。便利でう旨の種類の一つ以上の引数
タイ=(x1::t1,x2::t2,...)
項...
所属していません StackOverflow