Gerard Murphy
Gerard Murphy
@steinybot Nice work there - you've already offered a set of readymade generators for integers, characters, strings etc, so no need for me to do that. To avoid potential confusion,...
@charleso Indeed, regarding being the nexus of a bunch of third party dependencies, it had also occurred to me subsequent to my last comment that perhaps consumers of Hedgehog might...
This is no longer a pressing concern for me; please feel free to close (I'll leave it open for now in case others are actively interested).
The second commit is a bit messy - let me tidy up the history a little for the sake of clarity and force-push again...
Refreshed the PR and edited the original description accordingly.
@SethTisue , @Philippus This PR is awaiting *workflow* approval from a maintainer. Could somebody take a look if they have a moment, please?
Just mentioned this here: https://users.scala-lang.org/t/idiomatic-map-combined-with-fold/9628, which lead me here. Had the need for this on several occasions.
> Nice catch. Does this mean no one uses this code? Worth noting that the original is surprisingly hard to read, in part because `Option#fold` is obfuscating. Well, I certainly...
**EDIT**: where are my manners? I should say from the start, thanks for the review, @som-snytt and @SethTisue. > I see the PR is unsquashed, but I don't know what...
@som-snytt / @SethTisue Another bump for a workflow approval, please. Next time I won't fork the repository to submit a PR, lesson learned...