如何使用 QuickCheck 在范围内选择一个值？

Question

我有以下代码用于在以下站点上创建挑战：codewars

describe "Random cases" $ do
    it "It should handle random test cases" $ 
        property $ prop_check where 
            prop_check  (Positive x) = solution x == ref_sol x
            --- ref_sol function

我想将 prop_check 中 x 的值设置为大于 4 的正整数，并且最多为五位数（不超过五位数，即：最大值 = 99999）。

我将如何接近它？

Answer 1

您可以使用 QuickCheck 的 choose 函数选择一个包含范围内的值。最简单的方法可能是用do 表示法编写prop_check：

prop_check :: Gen Bool
prop_check = do
  x <- choose (5, 99999) :: Gen Integer
  return $ solution x == ref_sol x

这里，x 是一个介于 5 和 99999 之间的 Integer 值。

根据solution 和ref_sol 的类型，您可能不需要第一行的Gen Integer 类型注释。由于我不知道这些函数的类型，所以我不得不添加注释。