Is there a way to build a combination of `Arb` wit...

# kotest

[simon.vergauwen]

Is there a way to build a combination of Arb with frequencies like `Arb.choose` which takes into account all the edgecases of all provided Arb? I just encountered a bug that was happening on an edgecase value but it only arises when I raise iterations to 100K or so, using the following Arb.

[sam]

So you want Arb.choose that uses edgecases. I guess it should do that (or at least another version should).

[sam]

But it doesn't exist currently

[LeoColman]

can't you go for arb.choose().plusEdgeCases or something like that?

[LeoColman]

I don't remember the exact function

[sam]

yeah its something like that

[sam]

but you'd have to add them together from the arbs yourself

[simon.vergauwen]

Yes, that's exactly what I want. I don't think I have plusEdgeCases yet, but that could work for me now 🙂

[simon.vergauwen]

Thanks for the tip! In my case it's a valid solution, but I was under the impression it would force all edgecses on me but perhaps I should be using Exhaustive then.

[mitch]

Thanks @simon.vergauwen! @sam i think that's a good point. Arb.choice currently takes into account the edgecases of the input arbs however none of the others do. Imo it's the right thing for us to collate the edgecases. Maybe this is something we can address

https://github.com/kotest/kotest/blob/f48822058eedcb6b5a677a5287fd36115de291e4/kotest-property/src/commonMain/kotlin/io/kotest/property/arbitrary/combinations.kt

[sam]

Yeah we should do it

[mitch]

Thanks @sam! pr raised

[simon.vergauwen]

Awesome 👏 👏 Thanks!