Scalacheck support about iron

[hejfelix]

https://github.com/fthomas/refined/blob/master/modules/scalacheck/shared/src/main/scala/eu/timepit/refined/scalacheck/numeric.scala

Here is how they do it for numeric types

[Iltotore]

It is possible to create in a lib Gen instances for each IronType manually (e.g Gen[Int :| Greater[V]]) but note you can barely fully "automatize" their creation. For example, you can't create (AFAIK. My knowledge about Scalacheck is limited) a Gen[A :| B] that works for all inner type A with constraint any B. The lib would need to contain atleast an instance of Gen by constraint.

That's not a big issue however. Since Scalacheck is a big and widely used project, a new module iron-scalacheck sounds legit to me.

Since I currently lack of time, any help/initiative is welcomed.

[hejfelix]

I think you're right, and that approach would work great. Not sure how it would work with composed constraints, but maybe we could be inspired by refined-scalacheck

[Iltotore]

It should be simple to make a gen for constraint unions but I don't know how to make a generic Gen for constraint intersections right now.