如何编写需要非零数字的非空列表的 QuickCheck 属性？

Question

这是一个 hack（cogsRpm 是用户提供的函数，应该与 go 的输出相匹配）：

propCheck ns = cogsRpm (ns ++ [42])  == go (ns ++ [42])

我添加了 42 以阻止快速检查生成零长度列表。它也可能会失败，因为它也不应该有零。

我阅读了文档，但没有足够的示例让我解析如何实际使用它们。我确实设法在另一个案例中得到了这个：

prop_check (Positive x) (Positive y)  = updateHealth x y == if y > x then 0 else x-y

这迫使积极，我尝试结合一堆东西来获得listOf1和NonZero，但我无法弄清楚语法，因此黑客将一个元素添加到列表中。我怎样才能避免这种黑客攻击？

Answer 1

QuickCheck 与 NonEmptyList 新类型捆绑在一起，其 Arbitrary 实例仅生成非空列表。您可以将其与NonZero 结合使用以获得非零整数的非空列表：

propCheck :: NonEmptyList (NonZero Int) -> Bool
propCheck (coerce -> ns) = cogsRpm ns == go ns

我在view pattern 中使用coerce 来简洁有效地将NonEmptyList (NonZero Int) 转换回Ints 的常规列表。