Does hedgehog support comparison with IO?

[joelberkeley]

Forgive the naive question, but when you say

Gen is not a monad transformer right now, therefore it cannot be combined with additional monadic effects. The main reason for this is that we use a Cotree codata type for shrinking, and it is hard to combine this with monadic effects in a provably total way.

Does this mean it's not possible to write tests when the result is in an IO? For example, testing the Nat in the output of

foo : Nat -> IO Nat

[stefan-hoeck]

I'm truly sorry I missed this question. Right now, there seems no easy way to do this other than using unsafePerformIO. I'll have to think some more about how easy it will be to test computations with side effects.

[joelberkeley]

OK, thanks, and not a problem. I don't particularly care about testing the side effects themselves at the moment. I'm mostly interested in the contained value.

[joelberkeley]

btw I no longer need this, but I'll leave the ticket open because it's presumably useful