4

In the hedgehog library, there is a GenT monad transformer. However the forAll function takes a Gen type.

There is a forAllT function, but it is in an Internal module.

So if I'd like to use a generator monad transformer with a specific monad (say State), what would be the way of making use of such a GenT?

Damian Nadales
  • 4,907
  • 1
  • 21
  • 34
  • 1
    Having `forAllT` as part of the external API seems like a good feature to request from Hedgehog. – Li-yao Xia Nov 01 '18 at 19:20
  • There was actually [a PR for it](https://github.com/hedgehogqa/haskell-hedgehog/pull/206) but it was closed by its author. We *do* consider exposing `forAllT` and `forAllWithT` though. – Nikos Baxevanis Nov 02 '18 at 15:41
  • I was about to open an issue, but indeed, I saw that [somebody requested this already](https://github.com/hedgehogqa/haskell-hedgehog/issues/208). It seems exposing `forAllT` would be a small change, however I wonder if there are good reasons for keeping this `Internal`. – Damian Nadales Nov 02 '18 at 15:48
  • 1
    Those where added in https://github.com/hedgehogqa/haskell-hedgehog/pull/99/files/. We should have probably exposed them back then. – Nikos Baxevanis Nov 02 '18 at 20:19

0 Answers0