How to use combineShrinks method of io.kotest.property.arbitrary.bind class

...387   genN: Gen<N>,388   bindFn: (A, B, C, D, E, F, G, H, I, J, K, L, M, N) -> T,389): Arb<T> {390   fun <S> shrink(tree: RTree<S>): List<RTree<S>> = tree.children.value391   fun combineShrinks(392      a: RTree<A>, b: RTree<B>, c: RTree<C>, d: RTree<D>, e: RTree<E>,393      f: RTree<F>, g: RTree<G>, h: RTree<H>, i: RTree<I>, j: RTree<J>,394      k: RTree<K>, l: RTree<L>, m: RTree<M>, n: RTree<N>395   ): RTree<T> =396      RTree(397         {398            bindFn(399               a.value(), b.value(), c.value(), d.value(), e.value(),400               f.value(), g.value(), h.value(), i.value(), j.value(),401               k.value(), l.value(), m.value(), n.value()402            )403         },404         kotlin.lazy {405            shrink(a).map { combineShrinks(it, b, c, d, e, f, g, h, i, j, k, l, m, n) } +406            shrink(b).map { combineShrinks(a, it, c, d, e, f, g, h, i, j, k, l, m, n) } +407            shrink(c).map { combineShrinks(a, b, it, d, e, f, g, h, i, j, k, l, m, n) } +408            shrink(d).map { combineShrinks(a, b, c, it, e, f, g, h, i, j, k, l, m, n) } +409            shrink(e).map { combineShrinks(a, b, c, d, it, f, g, h, i, j, k, l, m, n) } +410            shrink(f).map { combineShrinks(a, b, c, d, e, it, g, h, i, j, k, l, m, n) } +411            shrink(g).map { combineShrinks(a, b, c, d, e, f, it, h, i, j, k, l, m, n) } +412            shrink(h).map { combineShrinks(a, b, c, d, e, f, g, it, i, j, k, l, m, n) } +413            shrink(i).map { combineShrinks(a, b, c, d, e, f, g, h, it, j, k, l, m, n) } +414            shrink(j).map { combineShrinks(a, b, c, d, e, f, g, h, i, it, k, l, m, n) } +415            shrink(k).map { combineShrinks(a, b, c, d, e, f, g, h, i, j, it, l, m, n) } +416            shrink(l).map { combineShrinks(a, b, c, d, e, f, g, h, i, j, k, it, m, n) } +417            shrink(m).map { combineShrinks(a, b, c, d, e, f, g, h, i, j, k, l, it, n) } +418            shrink(n).map { combineShrinks(a, b, c, d, e, f, g, h, i, j, k, l, m, it) }419         }420      )421   val arbA = genA.toArb()422   val arbB = genB.toArb()423   val arbC = genC.toArb()424   val arbD = genD.toArb()425   val arbE = genE.toArb()426   val arbF = genF.toArb()427   val arbG = genG.toArb()428   val arbH = genH.toArb()429   val arbI = genI.toArb()430   val arbJ = genJ.toArb()431   val arbK = genK.toArb()432   val arbL = genL.toArb()433   val arbM = genM.toArb()434   val arbN = genN.toArb()435   return object : Arb<T>() {436      override fun edgecase(rs: RandomSource): T? {437         return bindFn(438            arbA.edgecase(rs) ?: arbA.next(rs),439            arbB.edgecase(rs) ?: arbB.next(rs),440            arbC.edgecase(rs) ?: arbC.next(rs),441            arbD.edgecase(rs) ?: arbD.next(rs),442            arbE.edgecase(rs) ?: arbE.next(rs),443            arbF.edgecase(rs) ?: arbF.next(rs),444            arbG.edgecase(rs) ?: arbG.next(rs),445            arbH.edgecase(rs) ?: arbH.next(rs),446            arbI.edgecase(rs) ?: arbI.next(rs),447            arbJ.edgecase(rs) ?: arbJ.next(rs),448            arbK.edgecase(rs) ?: arbK.next(rs),449            arbL.edgecase(rs) ?: arbL.next(rs),450            arbM.edgecase(rs) ?: arbM.next(rs),451            arbN.edgecase(rs) ?: arbN.next(rs),452         )453      }454      override fun sample(rs: RandomSource): Sample<T> {455         val (av, ar) = arbA.sample(rs)456         val (bv, br) = arbB.sample(rs)457         val (cv, cr) = arbC.sample(rs)458         val (dv, dr) = arbD.sample(rs)459         val (ev, er) = arbE.sample(rs)460         val (fv, fr) = arbF.sample(rs)461         val (gv, gr) = arbG.sample(rs)462         val (hv, hr) = arbH.sample(rs)463         val (iv, ir) = arbI.sample(rs)464         val (jv, jr) = arbJ.sample(rs)465         val (kv, kr) = arbK.sample(rs)466         val (lv, lr) = arbL.sample(rs)467         val (mv, mr) = arbM.sample(rs)468         val (nv, nr) = arbN.sample(rs)469         return Sample(470            bindFn(av, bv, cv, dv, ev, fv, gv, hv, iv, jv, kv, lv, mv, nv),471            combineShrinks(ar, br, cr, dr, er, fr, gr, hr, ir, jr, kr, lr, mr, nr)472         )473      }474   }475}476fun <A, B> Arb.Companion.bind(arbs: List<Arb<A>>, fn: (List<A>) -> B): Arb<B> = bind(arbs).map(fn)477internal fun <T> Gen<T>.toArb(): Arb<T> = when (this) {478   is Arb -> this479   is Exhaustive -> this.toArb()480}481internal fun <A> Arb.Companion.bind(arbs: List<Arb<A>>): Arb<List<A>> = when (arbs.size) {482   0 -> Arb.constant(emptyList())483   1 -> arbs[0].map { listOf(it) }484   else -> {485      val listOfArbs: List<Arb<List<A>>> = arbs.chunked(14) { el ->...

1val arb = Arb.bind(arb1, arb2, arb3) { a, b, c -> a + b + c }2val arb = Arb.bind(arb1, arb2, arb3, arb4) { a, b, c, d -> a + b + c + d }3val arb = Arb.bind(arb1, arb2, arb3, arb4, arb5) { a, b, c, d, e -> a + b + c + d + e }4val arb = Arb.bind(arb1, arb2, arb3, arb4, arb5, arb6) { a, b, c, d, e, f -> a + b + c + d + e + f }5val arb = Arb.bind(arb1, arb2, arb3, arb4, arb5, arb6, arb7) { a, b, c, d, e, f, g -> a + b + c + d + e + f + g }6val arb = Arb.bind(arb1, arb2, arb3, arb4, arb5, arb6, arb7, arb8) { a, b, c, d, e, f, g, h -> a + b + c + d + e + f + g + h }7val arb = Arb.bind(arb1, arb2, arb3, arb4, arb5, arb6, arb7, arb8, arb9) { a, b, c, d, e, f, g, h, i -> a + b + c + d + e + f + g + h + i }8val arb = Arb.bind(arb1, arb2, arb3, arb4, arb5, arb6, arb7, arb8, arb9, arb10) { a, b, c, d, e, f, g, h, i, j -> a + b + c + d + e + f + g + h + i + j }9val arb = Arb.bind(arb1, arb2, arb3, arb4, arb5, arb6, arb7, arb8, arb9, arb10, arb11) { a, b, c, d, e, f, g, h, i, j, k -> a + b + c + d + e + f + g + h +

1val arb = Arb.bind ( Arb . int ( - 1000 .. 1000 ), Arb . int ( - 1000 .. 1000 )) { a , b -> a to b }2arb . sample () . take ( 1000 ). forEach { println ( it )}3val arb = Arb . bind ( Arb . int ( - 1000 .. 1000 ), Arb . int ( - 1000 .. 1000 )) { a , b -> a to b }4arb . sample () . take ( 1000 ). forEach { println ( it )}5val arb = Arb . bind ( Arb . int ( - 1000 .. 1000 ), Arb . int ( - 1000 .. 1000 )) { a , b -> a to b }6arb . sample () . take ( 1000 ). forEach { println ( it )}7val arb = Arb . bind ( Arb . int ( - 1000 .. 1000 ), Arb . int ( - 1000 .. 1000 )) { a , b -> a to b }8arb . sample () . take ( 1000 ). forEach { println ( it )}9val arb = Arb . bind ( Arb . int ( - 1000 .. 1000 ), Arb . int ( - 1000 .. 1000 )) { a , b -> a to b }10arb . sample () . take ( 1000 ). forEach { println ( it )}11val arb = Arb . bind ( Arb . int ( - 1000 .. 1000 ), Arb . int ( - 1000 .. 1000 )) { a , b -> a to b }12arb . sample () . take ( 1000 ). forEach { println ( it )}13val arb = Arb . bind ( Arb . int ( - 1000 .. 1000 ), Arb . int ( -

1val arb: Arb<Int> = Arb.int().bind { i1 -> Arb.int().map { i2 -> i1 + i2 } }2val shrinker: Shrinker<Int> = arb.shrinker()3val arb: Arb<Int> = Arb.int().bind { i1 -> Arb.int().map { i2 -> i1 + i2 } }4val shrinker: Shrinker<Int> = arb.shrinker()5val arb: Arb<Int> = Arb.int().bind { i1 -> Arb.int().map { i2 -> i1 + i2 } }6val shrinker: Shrinker<Int> = arb.shrinker()