haskell - 在 Haskell 中生成不等于指定整数的整数列表？

Question

是否有允许我生成不包含指定整数的整数列表的修饰符？

这是一个完成相同工作的函数:

listofInts :: Int -> Gen [Integer]
listofInts  a = rmInt a [] arbitrary

rmInt :: Int -> [Int] -> [Int] -> [Int]
rmInt a newList [] = newList
rmInt a newList (x:xs)
|a == x = newList : rmInt a xs
|otherwise = newList : x : rmInt a xs

Answer 1

listOf和 suchThat来自 Test.QuickCheck.Gen 的组合器应该使您能够做到这一点。

listofInts :: Int -> Gen [Integer]
listOfInts x = listOf (suchThat arbitrary (/=x))

这种方法的优点是更尊重代的大小参数:suchThat确保与谓词不匹配的生成值不会影响大小。