How to use zip class of io.kotest.property.arbitrary package

Best Kotest code snippet using io.kotest.property.arbitrary.zip

NullableTest.kt

Source:NullableTest.kt

...9import io.kotest.property.arbitrary.orNull10import io.kotest.property.arbitrary.string11class NullableTest : UnitSpec(spec = {12  "map1 short circuits if any arg is null" {13    Nullable.zip(null) { Unit }.shouldBeNull()14  }15  "map1 performs action when arg is not null" {16    checkAll(Arb.intSmall()) { a ->17      Nullable.zip(a) { it + 1 } shouldBe a + 118    }19  }20  "map2 only performs action when all arguments are not null" {21    checkAll(22      Arb.string().orNull(0.05),23      Arb.string().orNull(0.05)24    ) { a: String?, b: String? ->25      if (a == null || b == null) Nullable.zip(a, b, { _, _ -> Unit }) shouldBe null26      else Nullable.zip(a, b, { a, b -> a + b }) shouldBe a + b27    }28  }29  "map3 only performs action when all arguments are not null" {30    checkAll(31      Arb.string().orNull(0.05),32      Arb.string().orNull(0.05),33      Arb.string().orNull(0.05)34    ) { a: String?, b: String?, c: String? ->35      if (a == null || b == null || c == null) Nullable.zip(a, b, c, { a, b, c -> a + b + c }) shouldBe null36      else Nullable.zip(a, b, c, { a, b, c -> a + b + c }) shouldBe a + b + c37    }38  }39  "map4 only performs action when all arguments are not null" {40    checkAll(41      Arb.string().orNull(0.05),42      Arb.string().orNull(0.05),43      Arb.string().orNull(0.05),44      Arb.string().orNull(0.05),45    ) { a: String?, b: String?, c: String?, d: String? ->46      if (a == null || b == null || c == null || d == null) Nullable.zip(47        a,48        b,49        c,50        d,51        { a, b, c, d -> a + b + c + d }) shouldBe null52      else Nullable.zip(a, b, c, d, { a, b, c, d -> a + b + c + d }) shouldBe a + b + c + d53    }54  }55  "map5 only performs action when all arguments are not null" {56    checkAll(57      Arb.string().orNull(0.05),58      Arb.string().orNull(0.05),59      Arb.string().orNull(0.05),60      Arb.string().orNull(0.05),61      Arb.string().orNull(0.05),62    ) { a: String?, b: String?, c: String?, d: String?, e: String? ->63      if (a == null || b == null || c == null || d == null || e == null) Nullable.zip(64        a,65        b,66        c,67        d,68        e,69        { _, _, _, _, _ -> Unit }) shouldBe null70      else Nullable.zip(a, b, c, d, e, { a, b, c, d, e -> a + b + c + d + e }) shouldBe a + b + c + d + e71    }72  }73  "map6 only performs action when all arguments are not null" {74    checkAll(75      Arb.string().orNull(0.05),76      Arb.string().orNull(0.05),77      Arb.string().orNull(0.05),78      Arb.string().orNull(0.05),79      Arb.string().orNull(0.05),80      Arb.string().orNull(0.05),81    ) { a: String?, b: String?, c: String?, d: String?, e: String?, f: String? ->82      if (a == null || b == null || c == null || d == null || e == null || f == null) Nullable.zip(83        a,84        b,85        c,86        d,87        e,88        f,89        { _, _, _, _, _, _ -> Unit }) shouldBe null90      else Nullable.zip(a, b, c, d, e, f, { a, b, c, d, e, f -> a + b + c + d + e + f }) shouldBe a + b + c + d + e + f91    }92  }93  "map7 only performs action when all arguments are not null" {94    checkAll(95      Arb.string().orNull(0.05),96      Arb.string().orNull(0.05),97      Arb.string().orNull(0.05),98      Arb.string().orNull(0.05),99      Arb.string().orNull(0.05),100      Arb.string().orNull(0.05),101      Arb.string().orNull(0.05),102    ) { a: String?, b: String?, c: String?, d: String?, e: String?, f: String?, g: String? ->103      if (a == null || b == null || c == null || d == null || e == null || f == null || g == null) Nullable.zip(104        a,105        b,106        c,107        d,108        e,109        f,110        g,111        { _, _, _, _, _, _, _ -> Unit }) shouldBe null112      else Nullable.zip(113        a,114        b,115        c,116        d,117        e,118        f,119        g,120        { a, b, c, d, e, f, g -> a + b + c + d + e + f + g }) shouldBe a + b + c + d + e + f + g121    }122  }123  "map8 only performs action when all arguments are not null" {124    checkAll(125      Arb.string().orNull(0.05),126      Arb.string().orNull(0.05),127      Arb.string().orNull(0.05),128      Arb.string().orNull(0.05),129      Arb.string().orNull(0.05),130      Arb.string().orNull(0.05),131      Arb.string().orNull(0.05),132      Arb.string().orNull(0.05),133    ) { a: String?, b: String?, c: String?, d: String?, e: String?, f: String?, g: String?, h: String? ->134      if (a == null || b == null || c == null || d == null || e == null || f == null || g == null || h == null) Nullable.zip(135        a,136        b,137        c,138        d,139        e,140        f,141        g,142        h,143        { _, _, _, _, _, _, _, _ -> Unit }) shouldBe null144      else Nullable.zip(145        a,146        b,147        c,148        d,149        e,150        f,151        g,152        h,153        { a, b, c, d, e, f, g, h -> a + b + c + d + e + f + g + h }) shouldBe a + b + c + d + e + f + g + h154    }155  }156  "map9 only performs action when all arguments are not null" {157    checkAll(158      Arb.int().orNull(0.05),159      Arb.int().orNull(0.05),160      Arb.int().orNull(0.05),161      Arb.int().orNull(0.05),162      Arb.int().orNull(0.05),163      Arb.int().orNull(0.05),164      Arb.int().orNull(0.05),165      Arb.int().orNull(0.05),166      Arb.int().orNull(0.05)167    ) { a: Int?, b: Int?, c: Int?, d: Int?, e: Int?, f: Int?, g: Int?, h: Int?, i: Int? ->168      if (a == null || b == null || c == null || d == null || e == null || f == null || g == null || h == null || i == null) {169        Nullable.zip(a, b, c, d, e, f, g, h, i, { _, _, _, _, _, _, _, _, _ -> Unit }) shouldBe null170      } else {171        Nullable.zip(172          a,173          b,174          c,175          d,176          e,177          f,178          g,179          h,180          i,181          { a, b, c, d, e, f, g, h, i -> a + b + c + d + e + f + g + h + i }) shouldBe a + b + c + d + e + f + g + h + i182      }183    }184  }185})...

EntitySerializerTest.kt

Source:EntitySerializerTest.kt

...44    "A serialized and deserialized EqualEntity must be the same as the original entity" {45        val equalConstraintEntityArb = arb { randomSource ->46            val randomFields = Arb.string().values(randomSource)47            val randomValues = anyRandomValues(randomSource)48            randomFields.zip(randomValues)49                .map(::createEqualEntity)50                .map { ConstraintEntity(it) }51        }52        forAll(equalConstraintEntityArb) { equalConstraintEntity ->53            underTest.deserialize(underTest.serialize(equalConstraintEntity)) == equalConstraintEntity54        }55    }56    "A serialized and deserialized ConstraintEntity is not the same when the constraint fun is defined" {57        val constraintConstraintEntityArb = arb { randomSource ->58            val randomConstraints = Arb.string().values(randomSource)59            val randomParameters = Arb.list(Arb.string())60                .map { parameterNames -> parameterNames.map { FieldEntity(it, String::class.java) } }61                .values(randomSource)62            randomConstraints.zip(randomParameters)63                .map { ConstraintFunEntity(equal(1, 1)) }64                .map { ConstraintEntity(it) }65        }66        forAll(constraintConstraintEntityArb) { constraintConstraintEntity ->67            val convertedConstraintConstraintEntity = underTest.deserialize(underTest.serialize(constraintConstraintEntity))68            convertedConstraintConstraintEntity != constraintConstraintEntity69        }70    }71    "A serialized and deserialized AndEntity must be the same as the original entity" {72        val equalEntityArb = arb { randomSource ->73            val randomFields = Arb.string().values(randomSource)74            val randomValues = anyRandomValues(randomSource)75            randomFields.zip(randomValues)76                .map(::createEqualEntity)77        }78        val andConstraintEntityArb = arb { randomSource ->79            Arb.list(equalEntityArb, IntRange(0, 100)).values(randomSource)80                .map { AndEntity(it.value) }81                .map { ConstraintEntity(it) }82        }83        forAll(andConstraintEntityArb) { andConstraintEntity ->84            underTest.deserialize(underTest.serialize(andConstraintEntity)) == andConstraintEntity85        }86    }87    "A serialized and deserialized OrEntity must be the same as the original entity" {88        val equalEntityArb = arb { randomSource ->89            val randomFields = Arb.string().values(randomSource)90            val randomValues = anyRandomValues(randomSource)91            randomFields.zip(randomValues)92                .map(::createEqualEntity)93        }94        val orConstraintEntityArb = arb { randomSource ->95            Arb.list(equalEntityArb, IntRange(0, 100)).values(randomSource)96                .map { OrEntity(it.value) }97                .map { ConstraintEntity(it) }98        }99        forAll(orConstraintEntityArb) { orConstraintEntity ->100            underTest.deserialize(underTest.serialize(orConstraintEntity)) == orConstraintEntity101        }102    }103})...

ResourceTest.kt

Source:ResourceTest.kt

...99        Arb.functionAToB<Int, String>(Arb.string())100      ) { list, f, g ->101        val ff = list.traverseResource { Resource.just(f(it)) }102        val gg = list.traverseResource { Resource.just(g(it)) }103        val result = ff.zip(gg).map { (a, b) ->104          a.zip(b)105        }106        list.traverseResource { Resource.just(f(it) to g(it)) } resourceShouldBe result107      }108    }109    "traverseResource: sequentialComposition" {110      checkAll(111        Arb.list(Arb.int()),112        Arb.functionAToB<Int, String>(Arb.string()),113        Arb.functionAToB<String, Long>(Arb.long())114      ) { list, f, g ->115        list.traverseResource { Resource.just(f(it)) }116          .map { it.map(g) } resourceShouldBe list.traverseFilterResource { Resource.just(g(f(it))) }117      }118    }119    "traverseResource: leftToRight" {120      checkAll(Arb.list(Arb.int())) { list ->121        val mutable = mutableListOf<Int>()122        list.traverseResource { mutable.add(it); Resource.just(Unit) }123        mutable.toList() shouldBe list124      }125    }126  }127)128@Suppress("UNCHECKED_CAST")129private suspend infix fun <T, U : T> Resource<T>.resourceShouldBe(expected: Resource<U?>): Unit =130  zip(expected).use { (a, b) -> a shouldBe b }...

ParMap4JvmTest.kt

Source:ParMap4JvmTest.kt

...14    "parMapN 4 returns to original context" {15      val mapCtxName = "parMap4"16      val mapCtx = Resource.fromExecutor { Executors.newFixedThreadPool(4, NamedThreadFactory { mapCtxName }) }17      checkAll {18        single.zip(mapCtx).use { (_single, _mapCtx) ->19          withContext(_single) {20            threadName() shouldStartWith singleThreadName21            val (s1, s2, s3, s4) = parZip(22              _mapCtx,23              { Thread.currentThread().name },24              { Thread.currentThread().name },25              { Thread.currentThread().name },26              { Thread.currentThread().name }27            ) { a, b, c, d -> Tuple4(a, b, c, d) }28            s1 shouldStartWith mapCtxName29            s2 shouldStartWith mapCtxName30            s3 shouldStartWith mapCtxName31            s4 shouldStartWith mapCtxName32            threadName() shouldStartWith singleThreadName33          }34        }35      }36    }37    "parMapN 4 returns to original context on failure" {38      val mapCtxName = "parMap4"39      val mapCtx = Resource.fromExecutor { Executors.newFixedThreadPool(4, NamedThreadFactory { mapCtxName }) }40      checkAll(Arb.int(1..4), Arb.throwable()) { choose, e ->41        single.zip(mapCtx).use { (_single, _mapCtx) ->42          withContext(_single) {43            threadName() shouldStartWith singleThreadName44            Either.catch {45              when (choose) {46                1 -> parZip(47                  _mapCtx,48                  { e.suspend() },49                  { never<Nothing>() },50                  { never<Nothing>() },51                  { never<Nothing>() }52                ) { _, _, _, _ -> Unit }53                2 -> parZip(54                  _mapCtx,55                  { never<Nothing>() },...

ParMap3JvmTest.kt

Source:ParMap3JvmTest.kt

...12  "parMapN 3 returns to original context" {13    val mapCtxName = "parMap3"14    val mapCtx = Resource.fromExecutor { Executors.newFixedThreadPool(3, NamedThreadFactory { mapCtxName }) }15    checkAll {16      single.zip(mapCtx).use { (_single, _mapCtx) ->17        withContext(_single) {18          threadName() shouldStartWith singleThreadName19          val (s1, s2, s3) = parZip(20            _mapCtx,21            { Thread.currentThread().name },22            { Thread.currentThread().name },23            { Thread.currentThread().name }) { a, b, c -> Triple(a, b, c) }24          s1 shouldStartWith mapCtxName25          s2 shouldStartWith mapCtxName26          s3 shouldStartWith mapCtxName27          threadName() shouldStartWith singleThreadName28        }29      }30    }31  }32  "parMapN 3 returns to original context on failure" {33    val mapCtxName = "parMap3"34    val mapCtx = Resource.fromExecutor { Executors.newFixedThreadPool(3, NamedThreadFactory { mapCtxName }) }35    checkAll(Arb.int(1..3), Arb.throwable()) { choose, e ->36      single.zip(mapCtx).use { (_single, _mapCtx) ->37        withContext(_single) {38          threadName() shouldStartWith singleThreadName39          Either.catch {40            when (choose) {41              1 -> parZip(42                _mapCtx,43                { e.suspend() },44                { never<Nothing>() },45                { never<Nothing>() }46              ) { _, _, _ -> Unit }47              2 -> parZip(48                _mapCtx,49                { never<Nothing>() },50                { e.suspend() },...

ParMap2JvmTest.kt

Source:ParMap2JvmTest.kt

...13    "parMapN 2 returns to original context" {14      val mapCtxName = "parMap2"15      val mapCtx = Resource.fromExecutor { Executors.newFixedThreadPool(2, NamedThreadFactory { mapCtxName }) }16      checkAll {17        single.zip(mapCtx).use { (_single, _mapCtx) ->18          withContext(_single) {19            threadName() shouldStartWith singleThreadName20            val (s1, s2) = parZip(21              _mapCtx,22              { Thread.currentThread().name },23              { Thread.currentThread().name }) { a, b -> Pair(a, b) }24            s1 shouldStartWith mapCtxName25            s2 shouldStartWith mapCtxName26            threadName() shouldStartWith singleThreadName27          }28        }29      }30    }31    "parMapN 2 returns to original context on failure" {32      val mapCtxName = "parMap2"33      val mapCtx = Resource.fromExecutor { Executors.newFixedThreadPool(2, NamedThreadFactory { mapCtxName }) }34      checkAll(Arb.int(1..2), Arb.throwable()) { choose, e ->35        single.zip(mapCtx).use { (_single, _mapCtx) ->36          withContext(_single) {37            threadName() shouldStartWith singleThreadName38            Either.catch {39              when (choose) {40                1 -> parZip(_mapCtx, { e.suspend() }, { never<Nothing>() }) { _, _ -> Unit }41                else -> parZip(_mapCtx, { never<Nothing>() }, { e.suspend() }) { _, _ -> Unit }42              }43            } should leftException(e)44            threadName() shouldStartWith singleThreadName45          }46        }47      }48    }49    "parMapN 2 finishes on single thread" {...

ZipFileNameTest.kt

Source:ZipFileNameTest.kt

...24    "two instances should not be equal if their names differ" {25        (ZipFileName.of("some name") == ZipFileName.of("different name"))26            .shouldBeFalse()27    }28    "file extension should be .zip" {29        forAll(Arb.string().filter { it.isNotBlank() }) { name ->30            ZipFileName.of(name).orNull!!.nameWithExtension.endsWith(".zip")31        }32    }33})...

PersonGenerator.kt

Source:PersonGenerator.kt

...25    Arb.bind(26        Arb.string(minSize = 1),27        Arb.string(minSize = 1),28        Arb.int(0..20000)29    ) { street, town, zip ->30        Address(street, town, zip)31    }...

zip

Using AI Code Generation

1val zipGen = Gen.zip(Gen.int(), Gen.int(), Gen.int())2val zipProp = forAll(zipGen) { (a, b, c) -> a + b == c }3zipProp.check(1000)4val zipGen = Gen.zip(Gen.int(), Gen.int(), Gen.int())5val zipProp = forAll(zipGen) { (a, b, c) -> a + b == c }6zipProp.check(1000)7val zipGen = Gen.zip(Gen.int(), Gen.int(), Gen.int())8val zipProp = forAll(zipGen) { (a, b, c) -> a + b == c }9zipProp.check(1000)10val zipGen = Gen.zip(Gen.int(), Gen.int(), Gen.int())11val zipProp = forAll(zipGen) { (a, b, c) -> a + b == c }12zipProp.check(1000)13val zipGen = Gen.zip(Gen.int(), Gen.int(), Gen.int())14val zipProp = forAll(zipGen) { (a, b, c) -> a + b == c }15zipProp.check(1000)16val zipGen = Gen.zip(Gen.int(), Gen.int(), Gen.int())17val zipProp = forAll(zipGen) { (a, b, c) -> a + b == c }18zipProp.check(1000)19val zipGen = Gen.zip(Gen.int(), Gen.int(), Gen.int())20val zipProp = forAll(zipGen) { (a, b, c) -> a + b == c }21zipProp.check(1000)22val zipGen = Gen.zip(Gen.int(), Gen.int(), Gen.int())23val zipProp = forAll(zipGen) { (a, b, c) -> a + b == c }24zipProp.check(1000)

zip

Using AI Code Generation

1    val zip = zip(gen1, gen2)2    val zip = zip(gen1, gen2, gen3)3    val zip = zip(gen1, gen2, gen3, gen4)4    val zip = zip(gen1, gen2, gen3, gen4, gen5)5    val zip = zip(gen1, gen2, gen3, gen4, gen5, gen6)6    val zip = zip(gen1, gen2, gen3, gen4, gen5, gen6, gen7)7    val zip = zip(gen1, gen2, gen3, gen4, gen5, gen6, gen7, gen8)8    val zip = zip(gen1, gen2, gen3, gen4, gen5, gen6, gen7, gen8, gen9)9    val zip = zip(gen1, gen2, gen3, gen4, gen5, gen6, gen7, gen8, gen9, gen10)

zip

Using AI Code Generation

1val zipArb = Arb.zip(Arb.string(), Arb.int())2zipArb.take(10).forEach { println(it) }3val zipArb = Arb.zip(Arb.string(), Arb.int())4zipArb.take(10).forEach { println(it) }5val zipArb = Arb.zip(Arb.string(), Arb.int())6zipArb.take(10).forEach { println(it) }7val zipArb = Arb.zip(Arb.string(), Arb.int())8zipArb.take(10).forEach { println(it) }9val zipArb = Arb.zip(Arb.string(), Arb.int())10zipArb.take(10).forEach { println(it) }

Automation Testing Tutorials

Learn to execute automation testing from scratch with LambdaTest Learning Hub. Right from setting up the prerequisites to run your first automation test, to following best practices and diving deeper into advanced test scenarios. LambdaTest Learning Hubs compile a list of step-by-step guides to help you be proficient with different test automation frameworks i.e. Selenium, Cypress, TestNG etc.