如何将QuickCheck参数约束到非空字符串列表？

Question

我有一个属性，其中包含一个字符串列表：

myProp :: [String] -> Bool

我需要约束QuickCheck生成的输入，以便列表中只有非空字符串。

我怎样才能做到这一点？

Answer 1

您可以使用forAll连同listOf （生成列表）和listOf1 （生成非空列表）。

例子

quickCheck $ forAll (listOf $ listOf1 arbitrary) $ myProp

-- more verbose alternative to make things clear
nonEmptyString :: Gen String
nonEmptyString = listOf1 arbitrary

quickCheck $ forAll (listOf nonEmptyString) $ myProp

Answer 2

import Test.QuickCheck.Modifiers (NonEmptyList (..))

myProp :: [NonEmptyList Char] -> Bool
myProp xs0 =
  let xs = map getNonEmpty xs0
  in ...

Answer 3

或者，从第一原则（没有库函数）：

quickCheck $ \ h t -> let {s :: String ; s = h : t } in length s > 0

这里s遍历所有非空值。