我有一个带有字符串列表的属性：
myProp :: [String] -> Bool
我需要限制 QuickCheck 生成的输入，以便列表中只有非空字符串。
我怎样才能做到这一点？
You use forAll和...一起listOf（生成列表）和listOf1（生成非空列表）。
Examples
quickCheck $ forAll (listOf $ listOf1 arbitrary) $ myProp
-- more verbose alternative to make things clear
nonEmptyString :: Gen String
nonEmptyString = listOf1 arbitrary
quickCheck $ forAll (listOf nonEmptyString) $ myProp
本文内容由网友自发贡献，版权归原作者所有，本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容，请联系:hwhale#tublm.com(使用前将#替换为@)
