Another nice little addition I find myself using (...

# kotest

[dave08]

Another nice little addition I find myself using (if not there already?) is some kind of:

fun <T> Arb.Companion.of(arb: Arb<T>, vararg values: T): Arb<T> = arbitrary { rs ->
    Arb.of(arb.next(rs), *values).next(rs)
}

used to make a new arb or choose from an existing value of the same type (I'm not sure if I implemented this in the best way though...)

[sam]

Arb.choose ?

[dave08]

Arb.choose chooses between two constant values, but it doesn't choose between a constant one or generating a new one, does it?

[dave08]

But the weights might be useful here too... so instead of of it could very well be choose() for my implementation.

[sam]

I'm sure there's one tht takes arbs

[dave08]

Yeah, but then it's only arbs, not one arb and one value

[sam]

you could wrap the values in arb.constant

[dave08]

Yeah, I just noticed now... I new I missed something! It is a bit more verbose, but at least possible!

[sam]

yep

[dave08]

I wonder if people would mind a new general extension function fun <T> T.toArb() = Arb.constant(this)?

[sam]

fun <T> T.contstant() = Arb.constant(this)

[sam]

3 more chars

[sam]

you could add that

[dave08]

T.constant() isn't a bit too ambiguous?

[sam]

well yeah I suppose to

[sam]

do toArb then

[dave08]

I guess the best of both worlds:

fun <T> T.toConstArb() = Arb.constant(this)

[dave08]

Unless you think you'll never use toArb() for something else...

[sam]

I think toArb is good