如何使BigFloat成为任意的实例（对于QuickCheck）？

Question

数字包具有BigFloat类型。

QuickCheck有Arbitrary类型类。

由于Arbitrary是sample (arbitrary :: Gen Double) 的一个实例，我已经可以这样做了：

BigFloat e

但我无法做到这一点，因为Arbitrary不是sample (arbitrary :: Gen (BigFloat Prec10)) 的实例：

BigFloat e

如何Arbitrary <?php $con = mysqli_connect("localhost","my_user","my_password","my_db"); // Check connection if (mysqli_connect_errno()) { echo "Failed to connect to MySQL: " . mysqli_connect_error(); } ?> 的实例？

更新即可。我喜欢一些额外的信息。请参阅赏金中的评论。

Answer 1

将评论中的答案作为社区维基回答发布：

类似的东西：

instance Epsilon e => Arbitrary (BigFloat e) where arbitrary = fromRational <$> arbitrary