Jacob Stanley

I have written about a way to "get the ID of a previously-created user" without using the complicated state-machine testing types that we have: https://jacobstanley.io/how-to-use-hedgehog-to-test-a-real-world-large-scale-stateful-app/ I think it might even...

> One thing I can't figure out how to do is generate phone numbers that are not in the current state when the current state includes symbolic values. I don't...

I think it might be possible to turn an FsCheck Arbitrary in to a Hedgehog Gen, but not the other way around

Yeah that's correct, it only takes `b` on discard of `a`. It would be cool if it was like choice, but it would be hard to make `a b c`...

> This suggests that once Gen.choice picked a generator from the list it is committed and will discard the tree if it fails down the line. > > Is that...

> One difference compared to Gen.choice [Gen.upper, Gen.digit] is that Gen.print lists among the shrinks for the former but not the latter. I don't know if that matters, though. Yeah...

Yeah that's correct, it's always been a concern of mine that allowing effects like this is a bit confusing, but I didn't want to rule it out in case someone...

I think the example in the above post could be made to work using `ReaderT`, something like: ```haskell s_coin :: ( Monad gen , MonadIO m , MonadTest m ,...

> I hope this is a bug that can be fixed, and not an unavoidable side-effect of some fundamental Hedgehog functionality (such as integrated shrinking causing massive slowdowns). We haven't...

Eep! That's not good, there's a few Windows issues piling up, I really ought to take some time out to look at them. If anyone has any insight in to...