如何在“刺猬”中使用“ GenT”

时间:2018-11-01 17:07:40

标签: haskell property-based-testing haskell-hedgehog

hedgehog库中,有一个GenT monad转换器。但是forAll函数采用Gen类型。

有一个forAllT函数,但是它在Internal模块中。

因此,如果我想将发电机monad变压器与特定的monad一起使用(例如State),那么使用这种GenT的方式将是什么?

0 个答案:

没有答案