Saurabh Nanda

I'm now stuck with the following: ``` -- This generates a Wai application that uses the same DB connection, so that -- I can communicate with the web-app within the...

> Yeah some contributors are considering some more substantial documentation like that, not a cookbook exactly, maybe it's worth chatting about it with them. I'll send you a slack invite....

Is there any magic happening in `evalM` -- whenever I pop it in, my tests seem to violate something at the DB-level. Either the DB txn gets rolled-back early, or...

Okay, I can confirm that `evalM` and shrinking don't seem to work well together, probably in the presence of IO. The following two snippets of code, produce **completely different** error...

Another update, I don't think `evalM` is the culprit, though it _might_ be causing the problem to occur earlier / faster. Right now, when I call `failure` in a test,...

I'm trying the other approach of making "dependent" generators return unapplied functions, i.e `MonadGen m => m (ValueA -> ChildOfValueA)`. In parallel, is there any way in which a "hook"...

Both the approaches have problems: - Doing IO in the middle of random data generation causes unforeseen problems during shrinking. In my case, it causes the shrinking process to completely...

**Following up on https://github.com/hedgehogqa/haskell-hedgehog/issues/312#issuecomment-515073275 again.** I was preparing for [my talk at Functional Conf 2019 [1]](https://confengine.com/functional-conf-2019/proposal/12466/getting-property-based-testing-to-work-after-struggling-for-3-years), which led me to [to this blog post about state machine testing in Hedgehog](https://teh.id.au/posts/2017/07/15/state-machine-testing/index.html)....

Here's a plnkr which demonstrates this issue - https://plnkr.co/edit/psVQ6vtBBYOKnjuk?preview

And if the underlying issue is what I'm suspecting it to be, this will be buggy with almost every carousel library.