有谁知道如何使用QuickCheck在Haskell中定义生成器，以便仅一次选择所选元素？
我已经意识到我可能需要一个“ Gen（也许是肯定的）”生成器，但是当然，它会重复生成数字。我想要这样，以便选择的数字不会重复。在返回数字的情况下，我想只返回，而在所有随机数都用完的情况下，我要不返回任何信息。
谢谢，
标记
haskell quickcheck
haskell ×1
quickcheck ×1