Split (or merge) the library?

[AlexeyRaga]

It looks like the library consists of two parts:

1. A set of useful extensions for Hedgehog. These are all these sorted, noNull, shuffle, uri generators and operations on them
2. The auto-generating part (heavy reflection, AutoGenConfig, GenX.auto, etc.)

These parts do not seem to depend on each other.

The questions are:

• Should we create another library for useful Gen/Range combinators and constructors? Some of them may even go to HH itself.
• Is the autogen part still "experimental"? I understand why we may not want to put it into HH itself. But maybe it is stable/useful enough so that something like Hedgehog.Autogen can be born as its own library?

[TysonMN]

This has been discussed over the years in hedgehogqa/fsharp-hedgehog#182. One big change since the last comment on that issue is that I am now the lead maintainer of both projects.

My preference is to merge F# Hedgehog Experimental into F# Hedgehog.

Would you like to contribute a PR for that?

[AlexeyRaga]

Maybe. I will see if I can make time for it, but I cannot promise.
Let's see what I can do.

[moodmosaic]

My preference is to merge F# Hedgehog Experimental into F# Hedgehog.

👍 I believe it's a good choice - even though my opinion is still the same as in 2019 - it'll make Hedgehog.Xunit depend only on Hedgehog, for example. And Hedgehog.Experimental users can just add/install Hedgehog.

Perhaps one thing I'd consider is making this move explicit, e.g. either keeping everything under GenX, or moving everything under Gen but under its own namespace. Of course, @TysonMN will have the final word.

[moodmosaic]

Hmm... If the merge happens, fsharp-hedgehog will take an extra dependency, TypeShape. Just one more thing to consider.

[cmeeren]

Possibly relevant: ploeh/ploeh.github.com#855 (comment)

Regarding TypeShape: It is used for the auto-generator. It is likely possible to write the generator without TypeShape. Not sure how much work that'd be, though.

In any case, since Hedgehog is used for test projects, not production projects, I'm personally not concerned about the dependency.