如何快速检查枚举和有界类型的所有可能情况?

我有一个 quickCheck 属性,该属性涉及为只有两个元素的和类型生成元素。

显然,默认的测试用例数量100对于这个用例来说太多了,所以我使用了 withMaxSuccess 将病例数量减少到3例。这运行速度很快,但并不理想,原因有二。首先,运行的三个测试用例超过了所需的两个。其次,这三个案例并不全面,因为这三个案例中有四分之一的可能性都涉及相同的因素,而排除了另一个因素。

我试过快速检查 forAll 修饰符,它似乎可以实现我想要的功能,但运行的测试用例数量仍然是100。

如果我有一个具有有限个元素的类型作为QuickCheck测试的生成器,有没有一种方法可以设置QuickCheck,通过对每个元素运行一次来对该类型的属性进行全面测试?

要限定类型是否具有有限数量的元素,可能可以由 Enum 和 Bounded 类型类。