Christer van der Meeren

> @cmeeren, do you recall if your test changed this default shrink limit from `None`? It's been a while, but I'm fairly sure I didn't. > @cmeeren, do you recall...

I think this would be a great addition to Hedgehog for the obvious reasons mentioned by @moodmosaic. I miss them (coming from FsCheck) and would certainly use them if there...

[This is an interesting talk](https://www.youtube.com/watch?v=NcJOiQlzlXQ) that touches on several issues relevant to this issue (labeling, coverage testing, etc.)

I have come to the realization that this is a fairly important feature to me. Without it, for anything but trivial generators, I often feel like I'm flying a bit...

> [`cover`](https://hackage.haskell.org/package/hedgehog/docs/Hedgehog.html#v:cover) records the number of times a predicate is satisfied and displays the result as a percentage. If the percentage doesn’t meet your threshold then the test fails. According...

Also, not sure what you mean by "combinators". Syntax-wise, this could also take the form of custom keywords for the `property` CE, right? ```f# property { let! myInt = Gen.int32...

> I'll provide an example of QuickCheck's `checkCoverage` side-by-side with Hedgehog's API and link it here, in case it helps. Great, I would appreciated that!

> The equivalent in `hedgehog` is Oh, I see, you were referring to Haskell Hedgehog, not F#. I thought you were referring to F# and that this has somehow been...

This works, but feels rather heavy-handed: ```f# [] let ``throws if hour is < 0 or > 23`` () = Property.check Gen.int |> Gen.filter (fun hr -> hr < 0...

Ideally there'd be some kind of `Property.checkThrows