生成一个不等于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

来自Test.QuickCheck.Gen的listOf和suchThat组合器应该可以让您这样做。

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

此方法的优点是更加尊重生成的size参数：suchThat确保与谓词不匹配的生成值不会影响大小。

Answer 2

我认为你写Gen [Int]时实际上意味着Gen [Integer]。您只需过滤生成的列表：

listofInts :: Int -> Gen [Int]
listofInts x = filter (/= x) <$> arbitrary