How to use Arb.merge method of io.kotest.property.arbitrary.merge class

Best Kotest code snippet using io.kotest.property.arbitrary.merge.Arb.merge

BatchMigrationGenerator.kt

Source:BatchMigrationGenerator.kt

1package liquibase.ext.generators2import io.kotest.property.Arb3import io.kotest.property.Exhaustive4import io.kotest.property.RandomSource5import io.kotest.property.arbitrary.arbitrary6import io.kotest.property.arbitrary.filter7import io.kotest.property.arbitrary.filterNot8import io.kotest.property.arbitrary.int9import io.kotest.property.arbitrary.list10import io.kotest.property.arbitrary.long11import io.kotest.property.arbitrary.map12import io.kotest.property.arbitrary.next13import io.kotest.property.arbitrary.orNull14import io.kotest.property.exhaustive.azstring15import io.kotest.property.exhaustive.exhaustive16import io.kotest.property.exhaustive.merge17import liquibase.ext.changes.BatchMigrationChange18import java.sql.RowIdLifetime19object BatchMigrationGenerator {20    val identifierGen = { min: Int -> Exhaustive.azstring(min..16).toArb() }21    val rowIdLifeTimeInvalidGenerator = listOf(22        RowIdLifetime.ROWID_UNSUPPORTED,23        RowIdLifetime.ROWID_VALID_OTHER,24        RowIdLifetime.ROWID_VALID_SESSION,25        RowIdLifetime.ROWID_VALID_TRANSACTION26    ).exhaustive()27    val rowIdLifeTimeGenerator = listOf(28        RowIdLifetime.ROWID_VALID_FOREVER,29    ).exhaustive().merge(rowIdLifeTimeInvalidGenerator)30    val validMigrationGenerator = arbitrary { rs: RandomSource ->31        val change = BatchMigrationChange()32        val colCount = Arb.int(1, 5).next(rs)33        val colGen = fixedColumnListNoDupsGenerator(colCount, colCount)34        change.tableName = identifierGen(1).next(rs)35        change.chunkSize = Arb.long(1L, 10000L).next(rs)36        val from = colGen.next(rs)37        val fromSet = from.toSet()38        change.fromColumns = from.toColumnList()39        // Make sure we do not have overlapping or crossing columns between from and to40        val to = colGen.filterNot { l -> fromSet.any { it in l.toSet() } }.next(rs)41        change.toColumns = to.toColumnList()42        change43    }44    val validMigrationWithSleepsGenerator = arbitrary { rs: RandomSource ->45        val mig = validMigrationGenerator.next(rs)46        mig.sleepTime = Arb.long(0L, 10000L).orNull().next(rs)47        mig48    }49    val sampleMigrationGenerator = arbitrary { rs: RandomSource ->50        val change = BatchMigrationChange()51        change.tableName = identifierGen(1).orNull().next(rs)52        change.chunkSize = Arb.long(-100L, 10000L).orNull().next(rs)53        val upperBound = Arb.int(0, 5).next(rs)54        val minBound = Arb.int(0, 5).filter { it <= upperBound }.next(rs)55        change.fromColumns = fixedColumnStringSequenceGenerator(minBound, upperBound).orNull().next(rs)56        change.toColumns = fixedColumnStringSequenceGenerator(minBound, upperBound).orNull().next(rs)57        change.sleepTime = Arb.long(-100L, 10000L).orNull().next(rs)58        change59    }60    val invalidMigrationGenerator = sampleMigrationGenerator.filter { c: BatchMigrationChange ->61        val simplePredicate = c.fromColumns.isNullOrEmpty() ||62            c.toColumns.isNullOrEmpty() || (c.chunkSize ?: -1L) <= 0L || c.sleepTime?.let { it < 0L } ?: false63        if (simplePredicate) return@filter true64        else {65            val from = c.fromColumns!!.split(",")66            val to = c.toColumns!!.split(",").toSet()67            // check whether from and to columns are equal somewhere or crossing68            // check whether any to column is in primary keys69            from.size != to.size || from.any { it in to }70        }71    }72    private fun List<String>.toColumnList(): String = joinToString(separator = ",") { it }73    private val fixedColumnListGenerator = { lowerBound: Int, inclusiveUpperBound: Int ->74        Arb.list(identifierGen(1), IntRange(lowerBound, inclusiveUpperBound))75    }76    private val fixedColumnListNoDupsGenerator = { lowerBound: Int, inclusiveUpperBound: Int ->77        fixedColumnListGenerator(lowerBound, inclusiveUpperBound).filterNot { l ->78            l.toSet().size != l.size79        }80    }81    private val fixedColumnStringSequenceGenerator = { lowerBound: Int, inclusiveUpperBound: Int ->82        fixedColumnListGenerator(lowerBound, inclusiveUpperBound).map { l -> l.joinToString(",") { it } }83    }84}...

RatchetPropTest.kt

Source:RatchetPropTest.kt

1/*2* Copyright Â© 2020, Concordant and contributors.3*4* Permission is hereby granted, free of charge, to any person obtaining a copy of this software and5* associated documentation files (the "Software"), to deal in the Software without restriction,6* including without limitation the rights to use, copy, modify, merge, publish, distribute,7* sublicense, and/or sell copies of the Software, and to permit persons to whom the Software is8* furnished to do so, subject to the following conditions:9*10* The above copyright notice and this permission notice shall be included in all copies or11* substantial portions of the Software.12*13* THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT14* NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND15* NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM,16* DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM,17* OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.18*/19package crdtlib.crdt20import crdtlib.utils.ClientUId21import crdtlib.utils.SimpleEnvironment22import crdtlib.utils.VersionVector23import io.kotest.core.spec.style.StringSpec24import io.kotest.property.Arb25import io.kotest.property.arbitrary.*26import io.kotest.property.forAll27val RatchetArb = arbitrary { rs ->28    Ratchet(Arb.string().next(rs))29}30enum class OpType {31    ASSIGN, MERGE32}33val OperationArb = arbitrary { rs ->34    Pair(Arb.enum<OpType>().next(rs), Arb.string().next(rs))35}36class RatchetPropTest : StringSpec({37    val uid1 = ClientUId("clientid1")38    var client1 = SimpleEnvironment(uid1)39    beforeTest {40        client1 = SimpleEnvironment(uid1)41    }42    "deserialize is inverse to serialize" {43        forAll(RatchetArb) { r ->44            r.get() == Ratchet.fromJson(r.toJson()).get()45            // TODO: After fixing equality, this should also work:46            // r == Ratchet.fromJson<String>(r.toJson())47        }48    }49    "get initial value" {50        forAll(Arb.string()) { s ->51            s == Ratchet(s).get()52        }53    }54    "arbitrary set and merge always yields largest element" {55        // Need to reduce range to 0..25 otherwise js test fails due to timeout (default is 0..100)56        forAll(Arb.list(OperationArb, 0..25)) { ops ->57            val maybeMaximum = ops.maxByOrNull { it.second }58            val maximum = maybeMaximum?.second ?: ""59            val r = Ratchet("", client1)60            ops.map { op ->61                when (op.first) {62                    OpType.ASSIGN -> r.assign(op.second)63                    OpType.MERGE -> r.merge(Ratchet(op.second))64                }65            }66            r.get() == maximum67        }68    }69    "merge with deltas" {70        // Need to reduce range to 0..15 otherwise js test fails due to timeout (default is 0..100)71        forAll(Arb.list(Arb.string(), 0..15), Arb.list(Arb.string(), 0..15)) { ops1, ops2 ->72            val m1 = ops1.maxOrNull() ?: ""73            val m2 = ops2.maxOrNull() ?: ""74            val r1 = Ratchet("", client1)75            val r2 = Ratchet("", client1)76            ops1.map { op -> r1.assign(op) }77            ops2.map { op -> r2.assign(op) }78            val d = r1.generateDelta(VersionVector())79            r2.merge(d)80            r2.get() == maxOf(m1, m2)81        }82    }83})...

CombineTest.kt

Source:CombineTest.kt

1package com.github.torresmi.remotedata.property2import com.github.torresmi.remotedata.RemoteData3import com.github.torresmi.remotedata.mergeWith4import com.github.torresmi.remotedata.test.util.generation.remoteDataNonSuccess5import io.kotest.core.spec.style.DescribeSpec6import io.kotest.matchers.shouldBe7import io.kotest.property.Arb8import io.kotest.property.arbitrary.int9import io.kotest.property.arbitrary.map10import io.kotest.property.checkAll11class CombineTest : DescribeSpec({12    describe("merging") {13        val mapper = { a: Int, b: Int -> a + b }14        describe("both RemoteData objects are successful") {15            it("applies the map function") {16                checkAll(Arb.int(), Arb.int()) { a, b ->17                    val expected = RemoteData.succeed(mapper(a, b))18                    RemoteData.succeed(a).mergeWith(RemoteData.succeed(b), mapper) shouldBe expected19                }20            }21        }22        describe("both RemoteData objects are not a success") {23            it("keeps the first state") {24                checkAll(nonSuccessGen(), nonSuccessGen()) { a, b ->25                    a.mergeWith(b, mapper) shouldBe a26                }27            }28        }29        describe("first RemoteData object is a success and the second is not a success") {30            it("keeps the second state") {31                checkAll(successGen(), nonSuccessGen()) { a, b ->32                    a.mergeWith(b, mapper) shouldBe b33                }34            }35        }36        describe("first RemoteData object is not a success and the second is a success") {37            it("keeps the first state") {38                checkAll(nonSuccessGen(), successGen()) { a, b ->39                    a.mergeWith(b, mapper) shouldBe a40                }41            }42        }43    }44})45private fun successGen() = Arb.int().map { RemoteData.succeed(it) }46private fun nonSuccessGen() = Arb.remoteDataNonSuccess(Arb.int())...

GeneratorSpec.kt

Source:GeneratorSpec.kt

1package ru.iopump.qa.sample.property2import io.kotest.core.spec.style.FreeSpec3import io.kotest.property.Arb4import io.kotest.property.Exhaustive5import io.kotest.property.arbitrary.*6import io.kotest.property.exhaustive.enum7import io.kotest.property.exhaustive.ints8import io.kotest.property.exhaustive.merge9import io.kotest.property.exhaustive.times10import org.slf4j.event.Level11/** For string generator with leading zero */12/*1*/val numberCodepoint: Arb<Codepoint> = Arb.int(0x0030..0x0039)13    .map { Codepoint(it) }14/** For english string generator */15/*2*/val engCodepoint: Arb<Codepoint> = Arb.int('a'.toInt()..'z'.toInt())16    .merge(Arb.int('A'.toInt()..'Z'.toInt()))17    .map { Codepoint(it) }18class GeneratorSpec : FreeSpec() {19    init {20        "/*3*/ random number supported leading zero" {21            Arb.string(10, numberCodepoint).next()22                .also(::println)23        }24        "/*4*/ random english string" {25            Arb.string(10, engCodepoint).orNull(0.5).next()26                .also(::println)27        }28        "/*5*/ random russian mobile number" {29            Arb.stringPattern("+7\\(\\d{3}\\)\\d{3}-\\d{2}-\\d{2}").next()30                .also(::println)31        }32        "/*6*/ exhaustive collection and enum multiply" {33            Exhaustive.ints(1..5).times(Exhaustive.enum<Level>()).values34                .also(::println)35        }36        "/*7*/ exhaustive collection and enum merge" {37            Exhaustive.ints(1..5).merge(Exhaustive.enum<Level>()).values38                .also(::println)39        }40    }41}...

Arb.kt

Source:Arb.kt

1package utils2import io.kotest.property.Arb3import io.kotest.property.Exhaustive4import io.kotest.property.arbitrary.arbitrary5import io.kotest.property.arbitrary.byte6import io.kotest.property.arbitrary.byteArrays7import io.kotest.property.arbitrary.filter8import io.kotest.property.arbitrary.int9import io.kotest.property.arbitrary.merge10import kotlin.random.nextUInt11import kotlin.random.nextULong12operator fun <A> Arb<A>.plus(other: Arb<A>) =13    merge(other)14operator fun <A> Arb<A>.minus(other: Exhaustive<A>) =15    filter { it !in other.values }16operator fun <V : Comparable<V>> Arb<V>.minus(range: ClosedRange<V>) =17    filter { it !in range }18fun Arb.Companion.byteArrays(length: Int) =19    byteArrays(length..length)20fun Arb.Companion.byteArrays(length: IntRange) =21    Arb.byteArrays(Arb.int(length), Arb.byte())22fun Arb.Companion.uint(range: UIntRange = UInt.MIN_VALUE..UInt.MAX_VALUE) = arbitrary(listOf(range.first, range.last)) {23    it.random.nextUInt(range)24}25fun Arb.Companion.ulong() = arbitrary(listOf(ULong.MIN_VALUE, ULong.MAX_VALUE)) {26    it.random.nextULong()27}28inline fun <reified T> Arb.Companion.arrayOf(value: Arb<T>, length: IntRange): Arb<Array<T>> = arbitrary { rs ->29    Array(rs.random.nextInt(length.first, length.last)) {30        value.sample(rs).value31    }32}...

PersonGenerator.kt

Source:PersonGenerator.kt

1package property.based.testing2import io.kotest.property.Arb3import io.kotest.property.arbitrary.Codepoint4import io.kotest.property.arbitrary.ascii5import io.kotest.property.arbitrary.bind6import io.kotest.property.arbitrary.cyrillic7import io.kotest.property.arbitrary.hebrew8import io.kotest.property.arbitrary.int9import io.kotest.property.arbitrary.katakana10import io.kotest.property.arbitrary.merge11import io.kotest.property.arbitrary.string12fun Arb.Companion.person(): Arb<Person> =13    Arb.bind(14        Arb.string(15            minSize = 1, codepoints = Codepoint.ascii()16                .merge(Codepoint.katakana())17                .merge(Codepoint.hebrew())18                .merge(Codepoint.cyrillic())19        ),20        Arb.address()21    ) { name, address ->22        Person(name, address)23    }24fun Arb.Companion.address(): Arb<Address> =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    }...

option.kt

Source:option.kt

1package io.kotest.property.arrow2import arrow.core.None3import arrow.core.Option4import arrow.core.Some5import arrow.core.some6import io.kotest.property.Arb7import io.kotest.property.Exhaustive8import io.kotest.property.arbitrary.constant9import io.kotest.property.arbitrary.map10import io.kotest.property.arbitrary.merge11import io.kotest.property.exhaustive.exhaustive12/**13 * Returns an Exhaustive that contains a None and a Some with the given value14 */15fun <A> Exhaustive.Companion.option(a: A) = exhaustive(listOf(None, Some(a)))16fun <A> Exhaustive.Companion.none() = exhaustive(listOf(None))17/**18 * Wraps each element generated by the given Arb in a Some.19 */20fun <A> Arb.Companion.some(arb: Arb<A>): Arb<Option<A>> = arb.map { it.some() }21fun <A> Arb.Companion.none(): Arb<Option<A>> = Arb.constant(None)22fun <A> Arb.Companion.option(arb: Arb<A>): Arb<Option<A>> = some(arb).merge(none())...

either.kt

Source:either.kt

1package io.kotest.property.arrow2import arrow.core.Either3import arrow.core.left4import arrow.core.right5import io.kotest.property.Arb6import io.kotest.property.arbitrary.map7import io.kotest.property.arbitrary.merge8/**9 * Generates approx 50/50 of left and right from the underlying generators.10 */11fun <A, B> Arb.Companion.either(arbLeft: Arb<A>, arbRight: Arb<B>): Arb<Either<A, B>> =12   left(arbLeft).merge(right(arbRight))13/**14 * Generates instances of [Either.Right] using the given arb.15 */16fun <B> Arb.Companion.right(arb: Arb<B>): Arb<Either<Nothing, B>> = arb.map { it.right() }17/**18 * Generates instances of [Either.Left] using the given arb.19 */20fun <A> Arb.Companion.left(arb: Arb<A>): Arb<Either<A, Nothing>> = arb.map { it.left() }...

Arb.merge

Using AI Code Generation

1val arb1 = Arb.int(1..10)2val arb2 = Arb.int(11..20)3val arb3 = Arb.int(21..30)4val arb4 = Arb.int(31..40)5val arb5 = Arb.int(41..50)6val arb6 = Arb.int(51..60)7val arb7 = Arb.int(61..70)8val arb8 = Arb.int(71..80)9val arb9 = Arb.int(81..90)10val arb10 = Arb.int(91..100)11val arb11 = Arb.int(101..110)12val arb12 = Arb.int(111..120)13val arb13 = Arb.int(121..130)14val arb14 = Arb.int(131..140)15val arb15 = Arb.int(141..150)16val arb16 = Arb.int(151..160)17val arb17 = Arb.int(161..170)18val arb18 = Arb.int(171..180)19val arb19 = Arb.int(181..190)20val arb20 = Arb.int(191..200)21val arb21 = Arb.int(201..210)22val arb22 = Arb.int(211..220)23val arb23 = Arb.int(221..230)24val arb24 = Arb.int(231..240)25val arb25 = Arb.int(241..250)26val arb26 = Arb.int(251..260)27val arb27 = Arb.int(261..270)28val arb28 = Arb.int(271..280)29val arb29 = Arb.int(281..290)30val arb30 = Arb.int(291..300)31val arb31 = Arb.int(301..310)32val arb32 = Arb.int(311..320)33val arb33 = Arb.int(321..330)34val arb34 = Arb.int(331..340)35val arb35 = Arb.int(341..350)36val arb36 = Arb.int(351..360)37val arb37 = Arb.int(361..370)38val arb38 = Arb.int(371..380)39val arb39 = Arb.int(381..390)40val arb40 = Arb.int(391..400)41val arb41 = Arb.int(401..410)42val arb42 = Arb.int(411..420)43val arb43 = Arb.int(421..430)44val arb44 = Arb.int(431..440)45val arb45 = Arb.int(441..450)

Arb.merge

Using AI Code Generation

1val arb1 = Arb.int(1..10)2val arb2 = Arb.int(11..20)3val arb3 = Arb.int(21..30)4val mergedArb = arb1.merge(arb2, arb3)5val arb1 = Arb.int(1..10)6val arb2 = Arb.int(11..20)7val arb3 = Arb.int(21..30)8val mergedArb = arb1.merge(arb2, arb3)9val arb1 = Arb.int(1..10)10val arb2 = Arb.int(11..20)11val arb3 = Arb.int(21..30)12val mergedArb = arb1.merge(arb2, arb3)13val arb1 = Arb.int(1..10)14val arb2 = Arb.int(11..20)15val arb3 = Arb.int(21..30)16val mergedArb = arb1.merge(arb2, arb3)17val arb1 = Arb.int(1..10)18val arb2 = Arb.int(11..20)19val arb3 = Arb.int(21..30)20val mergedArb = arb1.merge(arb2, arb3)21mergedArb.generate(RandomSource

Arb.merge

Using AI Code Generation

1fun main() {2  val arb1 = Arb.int(1..10)3  val arb2 = Arb.int(20..30)4  val arb3 = Arb.int(40..50)5  val arb4 = Arb.int(60..70)6  val mergedArb = Arb.merge(arb1, arb2, arb3, arb4)7  mergedArb.take(10).forEach(::println)8}

Arb.merge

Using AI Code Generation

1val arb1 = Arb.int(1..100)2val arb2 = Arb.int(2..200)3val arb3 = Arb.merge(arb1, arb2)4val arb4 = arb1.merge(arb2)5val arb5 = arb1.merge(arb2, arb3)6val arb6 = arb1.merge(arb2, arb3, arb4)7val arb7 = arb1.merge(arb2, arb3, arb4, arb5)8val arb8 = arb1.merge(arb2, arb3, arb4, arb5, arb6)9val arb9 = arb1.merge(arb2, arb3, arb4, arb5, arb6, arb7)10val arb10 = arb1.merge(arb2, arb3, arb4, arb5, arb6, arb7, arb8)11val arb11 = arb1.merge(arb2, arb3, arb4, arb5, arb6, arb7, arb8, arb9)12val arb12 = arb1.merge(arb2, arb3, arb4, arb5, arb6, arb7, arb8, arb9, arb10)13val arb13 = arb1.merge(arb2, arb3, arb4, arb5, arb6, arb7, arb8, arb9, arb10, arb11)14val arb14 = arb1.merge(arb2, arb3, arb4, arb5, arb6, arb7, arb8, arb9, arb10, arb11, arb12)15val arb15 = arb1.merge(arb2, arb3, arb4, arb5, arb6, arb7, arb8, arb9, arb10, arb11, arb12, arb13)16val arb16 = arb1.merge(arb2, arb3, arb4, arb5, arb6, arb7, arb8, arb9, arb10, arb11, arb12, arb13, arb14)17val arb17 = arb1.merge(arb2, arb3, arb4, arb5, arb6, arb7, arb8, arb9, arb10, arb11, arb12, arb13, arb14, arb15)18val arb18 = arb1.merge(arb2, arb3, arb4, arb5, arb6, arb7, arb8, arb9, arb10, arb

Arb.merge

Using AI Code Generation

1val arb1 = Arb.int(1..10)2val arb2 = Arb.int(11..20)3val arb3 = arb1.merge(arb2)4val arb1 = Arb.int(1..10)5val arb2 = Arb.int(11..20)6val arb3 = arb1.merge(arb2)7val arb1 = Arb.int(1..10)8val arb2 = Arb.int(11..20)9val arb3 = arb1.merge(arb2)10val arb1 = Arb.int(1..10)11val arb2 = Arb.int(11..20)12val arb3 = arb1.merge(arb2)13val arb1 = Arb.int(1..10)14val arb2 = Arb.int(11..20)15val arb3 = arb1.merge(arb2)16val arb1 = Arb.int(1..10)17val arb2 = Arb.int(11..20)18val arb3 = arb1.merge(arb2)19val arb1 = Arb.int(1..10)20val arb2 = Arb.int(11..20)21val arb3 = arb1.merge(arb2)22val arb1 = Arb.int(1..10)23val arb2 = Arb.int(11..20)24val arb3 = arb1.merge(arb2)25val arb1 = Arb.int(1..10)26val arb2 = Arb.int(11..20)27val arb3 = arb1.merge(arb2)

Arb.merge

Using AI Code Generation

1val arb1 = Arb.int(0..100)2val arb2 = Arb.int(100..200)3val arb3 = arb1.merge(arb2)4arb3.generate(RandomSource.Default).take(10).toList() shouldBe listOf(0, 1, 2, 3, 4, 5, 6, 7, 8, 9)5val arb1 = Arb.int(0..100)6val arb2 = Arb.int(100..200)7val arb3 = arb1.merge(arb2)8arb3.generate(RandomSource.Default).take(10).toList() shouldBe listOf(0, 1, 2, 3, 4, 5, 6, 7, 8, 9)9val arb1 = Arb.int(0..100)10val arb2 = Arb.int(100..200)11val arb3 = arb1.merge(arb2)12arb3.generate(RandomSource.Default).take(10).toList() shouldBe listOf(0, 1, 2, 3, 4, 5, 6, 7, 8, 9)13val arb1 = Arb.int(0..100)14val arb2 = Arb.int(100..200)15val arb3 = arb1.merge(arb2)16arb3.generate(RandomSource.Default).take(10).toList() shouldBe listOf(0, 1, 2, 3, 4, 5, 6, 7, 8, 9)17val arb1 = Arb.int(0..100)18val arb2 = Arb.int(100..200)19val arb3 = arb1.merge(arb2)20arb3.generate(RandomSource.Default).take(10).toList() shouldBe listOf(0, 1, 2, 3, 4, 5, 6, 7, 8, 9)21val arb1 = Arb.int(0..100)22val arb2 = Arb.int(

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.