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

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

GenHelper.kt

Source:GenHelper.kt

...34import io.kotest.property.arbitrary.localDateTime35import io.kotest.property.arbitrary.localTime36import io.kotest.property.arbitrary.long37import io.kotest.property.arbitrary.map38import io.kotest.property.arbitrary.next39import io.kotest.property.arbitrary.period40import io.kotest.property.arbitrary.short41import io.kotest.property.arbitrary.string42import io.kotest.property.arbitrary.uuid43import io.kotest.property.exhaustive.exhaustive44import java.net.URI45fun Arb.Companion.suspendFunThatReturnsEitherAnyOrAnyOrThrows(): Arb<suspend () -> Either<Any, Any>> =46    choice(47        suspendFunThatReturnsAnyRight(),48        suspendFunThatReturnsAnyLeft(),49        suspendFunThatThrows()50    )51fun Arb.Companion.suspendFunThatReturnsEitherAnyOrUnitOrThrows(): Arb<suspend () -> Either<Any, Unit>> =52    choice(53        suspendFunThatReturnsUnitRight() as Arb<suspend () -> Either<Any, Unit>>,54        suspendFunThatReturnsAnyLeft() as Arb<suspend () -> Either<Any, Unit>>,55        suspendFunThatThrows() as Arb<suspend () -> Either<Any, Unit>>56    )57fun Arb.Companion.suspendFunThatReturnsUnitRight(): Arb<suspend () -> Either<Any, Unit>> =58    unit().map { suspend { it.right() } }59fun Arb.Companion.suspendFunThatReturnsAnyRight(): Arb<suspend () -> Either<Any, Any>> =60    any().map { suspend { it.right() } }61fun Arb.Companion.suspendFunThatReturnsAnyLeft(): Arb<suspend () -> Either<Any, Any>> =62    any().map { suspend { it.left() } }63fun Arb.Companion.suspendFunThatThrows(): Arb<suspend () -> Either<Any, Any>> =64    throwable().map { suspend { throw it } } as Arb<suspend () -> Either<Any, Any>>65fun Arb.Companion.suspendFunThatThrowsFatalThrowable(): Arb<suspend () -> Either<Any, Any>> =66    fatalThrowable().map { suspend { throw it } } as Arb<suspend () -> Either<Any, Any>>67fun Arb.Companion.throwable(): Arb<Throwable> =68    element(69        Exception(),70        RuntimeException(),71        IllegalArgumentException(),72        IllegalStateException(),73        IndexOutOfBoundsException(),74        UnsupportedOperationException(),75        ArithmeticException(),76        NumberFormatException(),77        NullPointerException(),78        ClassCastException(),79        AssertionError(),80        NoSuchElementException(),81        ConcurrentModificationException()82    )83fun Arb.Companion.fatalThrowable(): Arb<Throwable> =84    element(85        MyVirtualMachineError(),86        ThreadDeath(),87        InterruptedException(),88        LinkageError()89    )90class MyVirtualMachineError : VirtualMachineError()91fun Arb.Companion.any(): Arb<Any> =92    choice(93        string() as Arb<Any>,94        int() as Arb<Any>,95        short() as Arb<Any>,96        long() as Arb<Any>,97        float() as Arb<Any>,98        double() as Arb<Any>,99        bool() as Arb<Any>,100        byte() as Arb<Any>,101        uuid() as Arb<Any>,102        file() as Arb<Any>,103        localDate() as Arb<Any>,104        localTime() as Arb<Any>,105        localDateTime() as Arb<Any>,106        period() as Arb<Any>,107        throwable() as Arb<Any>,108        fatalThrowable() as Arb<Any>,109        mapOfStringAndStringGenerator() as Arb<Any>,110        uri() as Arb<Any>,111        httpMethod() as Arb<Any>,112        unit() as Arb<Any>113    )114fun Arb.Companion.unit(): Arb<Unit> =115    create { Unit }116fun Arb.Companion.mapOfStringAndStringGenerator(): Arb<Map<String, String>> =117    element(118        listOf(119            emptyMap(),120            mapOf(121                string().next() to string().next()122            ),123            mapOf(124                string().next() to string().next(),125                string().next() to string().next()126            ),127            mapOf(128                string().next() to string().next(),129                string().next() to string().next(),130                string().next() to string().next()131            ),132            mapOf(133                string().next() to string().next(),134                string().next() to string().next(),135                string().next() to string().next(),136                string().next() to string().next(),137                string().next() to string().next(),138                string().next() to string().next()139            ),140            mapOf(141                string().next() to string().next(),142                string().next() to string().next(),143                string().next() to string().next(),144                string().next() to string().next(),145                string().next() to string().next(),146                string().next() to string().next(),147                string().next() to string().next(),148                string().next() to string().next(),149                string().next() to string().next(),150                string().next() to string().next(),151                string().next() to string().next(),152                string().next() to string().next()153            ),154            mapOf(155                string().next() to string().next(),156                string().next() to string().next(),157                string().next() to string().next(),158                string().next() to string().next(),159                string().next() to string().next(),160                string().next() to string().next(),161                string().next() to string().next(),162                string().next() to string().next(),163                string().next() to string().next(),164                string().next() to string().next(),165                string().next() to string().next(),166                string().next() to string().next(),167                string().next() to string().next(),168                string().next() to string().next(),169                string().next() to string().next(),170                string().next() to string().next(),171                string().next() to string().next(),172                string().next() to string().next(),173                string().next() to string().next(),174                string().next() to string().next(),175                string().next() to string().next(),176                string().next() to string().next(),177                string().next() to string().next(),178                string().next() to string().next()179            )180        )181    )182fun Arb.Companion.uri(): Arb<URI> =183    element(184        listOf(185            URI.create("https://sparetimedevs.com"),186            URI.create("https://www.sparetimedevs.com"),187            URI.create("https://something.sparetimedevs.com"),188            URI.create("https://something.sparetimedevs.com/another/thing"),189            URI.create("https://something.sparetimedevs.com/another/thing?query=param")190        )191    )192fun Arb.Companion.httpMethod(): Arb<HttpMethod> =...

RoomsKtTest.kt

Source:RoomsKtTest.kt

...19import org.jetbrains.exposed.sql.insert20import org.jetbrains.exposed.sql.select21import org.jetbrains.exposed.sql.selectAll22import org.jetbrains.exposed.sql.transactions.transaction23import kotlin.random.nextInt24val directionSets = Arb.set(Arb.enum<Direction>(), 0..Direction.values().size)25val rotations = Exhaustive.ints(0..3).map { it.toShort() }26val invalidRotationValues = (Short.MIN_VALUE..Short.MAX_VALUE) - (0..3)27val invalidRotations = arbitrary(listOf(Short.MIN_VALUE, -1, 4, Short.MAX_VALUE), ShortShrinker) {28    it.random.nextInt(invalidRotationValues.indices).let { i -> invalidRotationValues[i] }.toShort()29}30class RoomsKtTest : DescribeSpec({31    useDatabase()32    describe("returnRoomToStack") {33        it("returns to empty stack") {34            transaction {35                val gameId = "ABCDEF"36                val stackId =37                    RoomStacks.insert {38                        it[this.gameId] = gameId39                        it[curIndex] = null40                        it[flipped] = false41                    } get RoomStacks.id42                val roomId =...

SnowflakeTest.kt

Source:SnowflakeTest.kt

...13import io.kotest.property.checkAll14import io.kotest.property.exhaustive.azstring15import org.tesserakt.diskordin.core.data.Snowflake.ConstructionError.LessThenDiscordEpoch16import org.tesserakt.diskordin.core.data.Snowflake.ConstructionError.NotNumber17import kotlin.random.nextLong18private const val MIN_SNOWFLAKE = 4194305L19@ExperimentalUnsignedTypes20class SnowflakeTest : FunSpec() {21    private val snowflakes = arbitrary { it.random.nextLong(MIN_SNOWFLAKE..Long.MAX_VALUE) }22    init {23        test("Snowflake.toString should return number in string") {24            checkAll(snowflakes) {25                it.asSnowflake().toString() shouldBe "$it"26            }27        }28        context("Non-safe converts should throw errors comparing their rules") {29            test("String, that hasn't digits") {30                checkAll(Exhaustive.azstring(1..30)) {31                    shouldThrow<IllegalArgumentException> {32                        it.asSnowflake()33                    }.message shouldEndWith "cannot be represented as Snowflake"34                }35            }36            test("Number, that less then 0") {37                checkAll(Arb.long(max = 0).filter { it < 0 }) {38                    shouldThrow<IllegalArgumentException> {39                        it.asSnowflake()40                    }.message shouldBe "id must be greater than 0"41                }42            }43            test("Number, that less then $MIN_SNOWFLAKE") {44                checkAll(arbitrary { it.random.nextLong(MIN_SNOWFLAKE) }) {45                    shouldThrow<IllegalArgumentException> {46                        it.asSnowflake()47                    }.message shouldBe "id must be greater than ${MIN_SNOWFLAKE - 1}"48                }49            }50        }51        context("Safe converts should wrap error in data-type") {52            test("Non-digit string should produce NotANumber") {53                checkAll(Exhaustive.azstring(1..30)) {54                    val snowflake = it.asSnowflakeEither()55                    snowflake.shouldBeLeft() shouldBe NotNumber56                }57            }58            test("Numbers, that less than $MIN_SNOWFLAKE") {59                checkAll(arbitrary { it.random.nextLong(MIN_SNOWFLAKE) }) {60                    val snowflake = it.toString().asSnowflakeEither()61                    snowflake.shouldBeLeft() shouldBe LessThenDiscordEpoch62                }63            }64            test("Right snowflake should unwrap without errors") {65                checkAll(snowflakes) { it.toString().asSnowflakeEither().shouldBeRight() }66            }67        }68    }69}...

CoroutineTransactionalApplicationTests.kt

Source:CoroutineTransactionalApplicationTests.kt

...12import io.kotest.matchers.booleans.shouldBeTrue13import io.kotest.property.Arb14import io.kotest.property.arbitrary.arbitrary15import io.kotest.property.arbitrary.bool16import io.kotest.property.arbitrary.next17import io.kotest.property.arbitrary.string18import io.kotest.property.arbitrary.uuid19import io.kotest.property.checkAll20import org.springframework.beans.factory.annotation.Autowired21import org.springframework.test.context.ContextConfiguration22@ContextConfiguration(classes = [PersistenceConfiguration::class])23class CoroutineTransactionalApplicationTests : StringSpec() {24    @Autowired25    lateinit var bookService: BookService26    @Autowired27    lateinit var jpaAuthorRepository: JPAAuthorRepository28    @Autowired29    lateinit var jpaBookRepository: JPABookRepository30    override fun extensions() = listOf(SpringExtension)31    init {32        "validate @Transactional commit/rollback behaviour when using coroutine" {33            val bookGenerator = arbitrary { rs ->34                BookDefinition(35                    id = Arb.uuid().next(rs).toString(),36                    isbn = Arb.string().next(rs),37                    title = Arb.string().next(rs),38                    author = AuthorDefinition(39                        id = Arb.uuid().next(rs).toString(),40                        name = Arb.uuid().next(rs).toString(),41                    )42                )43            }44            checkAll(bookGenerator, Arb.bool()) { book, shouldThrows ->45                if (shouldThrows) {46                    shouldThrowAny { bookService.publish(book, shouldThrows) }47                    jpaAuthorRepository.existsById(book.author.id).shouldBeFalse()48                    jpaBookRepository.existsById(book.id).shouldBeFalse()49                } else {50                    bookService.publish(book, shouldThrows)51                    jpaAuthorRepository.existsById(book.author.id).shouldBeTrue()52                    jpaBookRepository.existsById(book.id).shouldBeTrue()53                }54            }...

CategoryRepositoryUpdateSpec.kt

Source:CategoryRepositoryUpdateSpec.kt

...4import io.kotest.core.spec.style.StringSpec5import io.kotest.matchers.shouldBe6import io.kotest.property.Arb7import io.kotest.property.arbitrary.chunked8import io.kotest.property.arbitrary.next9import io.kotest.property.arbitrary.single10import io.kotest.property.arbitrary.string11import org.springframework.boot.test.autoconfigure.orm.jpa.DataJpaTest12import org.springframework.data.jpa.repository.config.EnableJpaAuditing13import org.springframework.transaction.TransactionSystemException14import org.springframework.transaction.annotation.Propagation15import org.springframework.transaction.annotation.Transactional16@EnableJpaAuditing17@Transactional(propagation = Propagation.NOT_SUPPORTED)18@DataJpaTest(19    showSql = true,20    properties = [21        "spring.flyway.enabled=false",22        "spring.jpa.hibernate.ddl-auto=create"23    ]24)25class CategoryRepositoryUpdateSpec(26    private val categoryRepository: CategoryRepository27) : StringSpec() {28    init {29        "IDë¥¼ íµí Category ìì  ì±ê³µ Test" {30            val targetName = "changed"31            val categoryChildren = Mock.category().chunked(10, 10).single()32            val targetCategory = Mock.category(children = categoryChildren).single()33            val savedCategory = categoryRepository.save(targetCategory)34            savedCategory.name = targetName35            val updatedCategory = categoryRepository.save(savedCategory)36            updatedCategory.name shouldBe targetName37            categoryRepository.deleteById(savedCategory.id!!)38        }39        "IDë¥¼ íµí Category ìì ì Name ê¸ì ì ì´ê³¼ ì¤í¨ Test" {40            val targetName = Arb.string(100, 100).next()41            val targetCategory = Mock.category().single()42            val savedCategory = categoryRepository.save(targetCategory)43            savedCategory.name = targetName44            shouldThrow<TransactionSystemException> {45                categoryRepository.save(savedCategory)46            }47            categoryRepository.deleteById(savedCategory.id!!)48        }49    }50}...

RestaurantItemArb.kt

Source:RestaurantItemArb.kt

...22import io.kotest.property.arbitrary.int23import io.kotest.property.arbitrary.list24import io.kotest.property.arbitrary.localDate25import io.kotest.property.arbitrary.long26import io.kotest.property.arbitrary.next27import io.kotest.property.arbitrary.orNull28import io.kotest.property.arbitrary.string29val restaurantItemArb = arbitrary {30    RestaurantItem(31        Arb.int(1, 100).next(),32        Arb.localDate().next(),33        Arb.enum<Period>().next(),34        Arb.long().orNull(0.1).next(),35        Arb.string(minSize = 1).next(),36        Arb.string(minSize = 1).next(),37        Arb.string(minSize = 1).next(),38        Arb.list(Arb.string(minSize = 1)).next(),39        Arb.string(minSize = 1).next(),40        Arb.string(1, 50).next()41    )42}...

Arb.kt

Source:Arb.kt

...6import 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}...

Mock.kt

Source:Mock.kt

1package com.gaveship.category2import com.gaveship.category.domain.model.Category3import io.kotest.property.Arb4import io.kotest.property.arbitrary.arbitrary5import io.kotest.property.arbitrary.next6import io.kotest.property.arbitrary.string7import java.time.LocalDateTime8object Mock {9    fun category(10        id: Long? = null,11        name: String? = null,12        children: List<Category>? = null,13    ) = arbitrary {14        Category(15            id = id,16            name = name ?: Arb.string(0, 50).next(it),17            createdDate = LocalDateTime.now(),18            modifiedDate = LocalDateTime.now(),19            children = children20        )21    }22}...

Using AI Code Generation

1import io.kotest.property.arbitrary.*2import io.kotest.property.*3import io.kotest.assertions.*4import io.kotest.assertions.arrow.*5import io.kotest.assertions.asClue.*6import io.kotest.assertions.json.*7import io.kotest.assertions.throwables.*8import io.kotest.assertions.timing.*9import io.kotest.assertions.withClue.*10import io.kotest.assertions.show.*11import io.kotest.assertions.show.show.*12import io.kotest.assertions.show.showAll.*13import io.kotest.assertions.show.showOnly.*14import io.kotest.assertions.show.showWith.*15import io.kotest.assertions.show.showWithDefault.*16import io.kotest.assertions.show.showWithNull.*17import io.kotest.assertions.show.showWithToString.*18import io.kotest.assertions.show.showWithTruncated.*

Using AI Code Generation

1import io.kotest.property.arbitrary.*2import io.kotest.property.*3import io.kotest.assertions.*4import io.kotest.matchers.*5import io.kotest.matchers.comparables.*6import io.kotest.matchers.doubles.*7import io.kotest.matchers.either.*8import io.kotest.matchers.endwith.*9import io.kotest.matchers.equality.*10import io.kotest.matchers.files.*11import io.kotest.matchers.ints.*12import io.kotest.matchers.longs.*13import io.kotest.matchers.maps.*14import io.kotest.matchers.maps.containkey.*15import io.kotest.matchers.maps.containvalue.*16import io.kotest.matchers.maps.containinorder.*17import io.kotest.matchers.maps.containinorderentries.*18import io.kotest.matchers.maps.containinorderkeys.*

Using AI Code Generation

1import io.kotest.property.arbitrary.*2import io.kotest.property.*3import io.kotest.core.spec.style.*4import io.kotest.core.spec.*5import io.kotest.core.test.*6import io.kotest.core.*7import io.kotest.assertions.*8import io.kotest.assertions.arrow.core.*9import io.kotest.assertions.arrow.either.*10import io.kotest.assertions.arrow.option.*11import io.kotest.assertions.arrow.validated.*12import io.kotest.assertions.collections.*13import io.kotest.assertions.compare.*14import io.kotest.assertions.eq.*15import io.kotest.assertions.json.*16import io.kotest.assertions.show.*17import io.kotest.assertions.throwable.*18import io.kotest.assertions.timing.*19import io.kotest.assertions.withClue.*20import io.kotest.assertions.timing.*

Using AI Code Generation

1@JvmName("nextArbitrary")2fun <A> Gen.Companion.nextArbitrary(): Gen<A> = arbitrary()3@JvmName("nextProperty")4fun <A> Gen.Companion.nextProperty(): Gen<A> = property()5@JvmName("nextAssertions")6fun <A> Gen.Companion.nextAssertions(): Gen<A> = assertions()7@JvmName("nextMatchers")8fun <A> Gen.Companion.nextMatchers(): Gen<A> = matchers()9@JvmName("nextProperty")10fun <A> Gen.Companion.nextProperty(): Gen<A> = property()11@JvmName("nextMatchers")12fun <A> Gen.Companion.nextMatchers(): Gen<A> = matchers()13@JvmName("nextAssertions")14fun <A> Gen.Companion.nextAssertions(): Gen<A> = assertions()15@JvmName("nextMatchers")16fun <A> Gen.Companion.nextMatchers(): Gen<A> = matchers()17@JvmName("nextAssertions")18fun <A> Gen.Companion.nextAssertions(): Gen<A> = assertions()19@JvmName("nextMatchers")20fun <A> Gen.Companion.nextMatchers(): Gen<A> = matchers()21@JvmName("nextAssertions")22fun <A> Gen.Companion.nextAssertions(): Gen<A> = assertions()23@JvmName("nextMatchers")24fun <A> Gen.Companion.nextMatchers(): Gen<A> = matchers()25@JvmName("nextAssertions")26fun <A> Gen.Companion.nextAssertions(): Gen<A> = assertions()27@JvmName("nextMatchers")

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.