标签: haskell property-based-testing haskell-hedgehog
在hedgehog库中,有一个GenT monad转换器。但是forAll函数采用Gen类型。
hedgehog
GenT
forAll
Gen
有一个forAllT函数,但是它在Internal模块中。
forAllT
Internal
因此,如果我想将发电机monad变压器与特定的monad一起使用(例如State),那么使用这种GenT的方式将是什么?
State