如何创建Haskell刺猬类型'Gen a'的值？

Question

我正在尝试编写一个基于属性的测试，以验证相等性是否一致。

为此，我需要能够通过提供2个Gen a类型的值来运行它：

fun_cong_equality
:: forall m a
. (Monad m, Arg a, Vary a, Eq a, Show a)
=> Gen a
-> Gen a
-> PropertyT m ()
fun_cong_equality genA genB = do
a <- forAll genA
b <- forAll genB
f <- forAllFn $ fn @a genA
f a === f b

prop_fun_cong_equality :: Property
prop_fun_cong_equality =
property $
    fun_cong_equality $ -- TODO need to pass 2 `Gen a` values as arguments

我的问题是：如何创建Gen a类型的值？

注意：基于属性的测试尚未完成，它仍然需要过滤生成的相等值。

Answer 1

我需要的是一个类型值为Vary，Arg，Eq和Show的类型的值。

Int恰好符合该条件。

一种解决方案是使用：

fun_cong_equality (Gen.int (Range.linear 1 100)) (Gen.int (Range.linear 1 100))