How to use randoms class of io.kotest.property package

...274      val values = Array(n) { i: Int -> TKVEntry.ofkk(i, i) }275      val shuffled = Array(n) { i: Int -> TKVEntry.ofkk(i, i) }276      val rs = RandomSource.seeded(7979028980642872582)277      shuffled.shuffle(rs.random)278      val randoms = IntArray((n/10).coerceAtLeast(3)) { i: Int -> i }279      randoms.shuffle(rs.random)280      val ix1 = randoms[0]281      val ix2 = randoms[1]282      val ix3 = randoms[2]283      val fbsTree = FBSTree.of(shuffled.iterator())284      val aux0 = fbsTree.fdropItem(TKVEntry.ofIntKey(ix1))285      if (11 == count)286        println("from test file< count=$count")287      val aux1 = aux0.fdropItem(TKVEntry.ofIntKey(ix2))288      val aut = aux1.fdropItem(TKVEntry.ofIntKey(ix3))289      aut.size shouldBe n - 3290      FBSTree.fbtAssertNodeInvariant(aut as FBSTNode<Int, Int>)291      val testOracle = FList.of(values.iterator())292        .ffilterNot { it == TKVEntry.ofIntKey(ix1) }293        .ffilterNot { it == TKVEntry.ofIntKey(ix2) }294        .ffilterNot { it == TKVEntry.ofIntKey(ix3) }295      val autInorder = aut.inorder()296      autInorder shouldBe testOracle...

...305      val values = Array(n) { i: Int -> TKVEntry.ofkk(i, i) }306      val shuffled = Array(n) { i: Int -> TKVEntry.ofkk(i, i) }307      val rs = RandomSource.seeded(7979028980642872582)308      shuffled.shuffle(rs.random)309      val randoms = IntArray(n/10) { i: Int -> i }310      randoms.shuffle(rs.random)311      val ix1 = randoms[0]312      val ix2 = randoms[1]313      val ix3 = randoms[2]314      val frbTree = FRBTree.of(shuffled.iterator())315      val aux0 = frbTree.fdropItem(TKVEntry.ofIntKey(ix1))316      val aux1 = aux0.fdropItem(TKVEntry.ofIntKey(ix2))317      val aut = aux1.fdropItem(TKVEntry.ofIntKey(ix3))318      aut.size shouldBe n - 3319      FRBTree.rbRootInvariant(aut) shouldBe true320      val testOracle = FList.of(values.iterator())321        .ffilterNot { it == TKVEntry.ofIntKey(ix1) }322        .ffilterNot { it == TKVEntry.ofIntKey(ix2) }323        .ffilterNot { it == TKVEntry.ofIntKey(ix3) }324      val autInorder = aut.inorder()325      autInorder shouldBe testOracle326      goDropItemTele(aut, aut.breadthFirst(), autInorder)327    }...

...14import io.kotest.property.checkAll15import io.kotest.property.forAll16import io.kotest.property.random17class SeedTest : FunSpec({18   test("fixed seeds should result in consistent randoms") {19      checkAll(Arb.long()) { seed ->20         Arb.int().single(seed.random()) shouldBe Arb.int().single(seed.random())21         Arb.long().single(seed.random()) shouldBe Arb.long().single(seed.random())22         Arb.string().single(seed.random()) shouldBe Arb.string().single(seed.random())23         Arb.boolean().single(seed.random()) shouldBe Arb.boolean().single(seed.random())24      }25   }26   test("should use random seed by default") {27      // allow some failures for edge cases28      checkAll<Long, Long>(config = PropTestConfig(maxFailure = 5, minSuccess = 995)) { a, b ->29         a shouldNotBe b30      }31   }32   test("failed test should print seed") {...

1package it.twinsbrains.fpik.chapter62import arrow.mtl.run3import io.kotest.core.spec.style.StringSpec4import io.kotest.property.forAll5import it.twinsbrains.fpik.chapter3.List.Companion.length6import it.twinsbrains.fpik.chapter6.RandExamples.intsR7import it.twinsbrains.fpik.chapter6.Randoms.ints8import it.twinsbrains.fpik.chapter6.LinearCongruentialGenerator as SimpleRNG9class IntsTest : StringSpec() {10    init {11        "random ints" {12            forAll<Long> { seed ->13                val n = 10014                val (list, _) = ints(n, SimpleRNG(seed))15                length(list) == n16            }17        }18        "random intsR" {19            forAll<Long> { seed ->20                val n = 10021                val (list, _) = intsR(n).run(SimpleRNG(seed))22                list.size == n23            }24        }25        "random ints with arrow State Monad" {26            forAll<Long> { seed ->27                val n = 10028                val (_, list) = ArrowStateMonad.ints(n).run(SimpleRNG(seed))29                list.size == n30            }31        }32    }33}...

1package it.twinsbrains.fpik.chapter62import io.kotest.core.spec.style.StringSpec3import io.kotest.property.forAll4import it.twinsbrains.fpik.chapter6.Randoms.double5import it.twinsbrains.fpik.chapter6.LinearCongruentialGenerator as SimpleRNG6class RandomsDoublesTest : StringSpec() {7    init {8        "doubles should be in [0,1)"{9            forAll<Long> { seed ->10                val (num, _) = double(SimpleRNG(seed))11                num >= 0 && num < 112            }13        }14        "doubles as Rand should also be in [0,1)"{15            forAll<Long> { seed ->16                val (num, _) = RandExamples.doubleR.run(SimpleRNG(seed))17                num >= 0 && num < 118            }19        }20    }21}...

1package it.twinsbrains.fpik.chapter62import io.kotest.core.spec.style.StringSpec3import io.kotest.property.forAll4import it.twinsbrains.fpik.chapter6.Randoms.nonNegativeInt5import it.twinsbrains.fpik.chapter6.LinearCongruentialGenerator as SimpleRNG6class NonNegativeIntsTest : StringSpec() {7    init {8        "no elements less than 0" {9            forAll<Long> { seed ->10                nonNegativeInt(SimpleRNG(seed)).first >= 011            }12        }13        "no elements greater than Integer.MAX_VALUE" {14            forAll<Long> { seed ->15                nonNegativeInt(SimpleRNG(seed)).first < Integer.MAX_VALUE16            }17        }18    }19}...

1        val random = RandomSource.default()2        val randoms = Randoms(random)3        val randomInt = randoms.random.int()4        val randomLong = randoms.random.long()5        val randomDouble = randoms.random.double()6        val randomFloat = randoms.random.float()7        val randomBoolean = randoms.random.boolean()8        val randomString = randoms.random.string()9        val randomChar = randoms.random.char()10        val randomByte = randoms.random.byte()11        val randomShort = randoms.random.short()12        val randomBigInteger = randoms.random.bigInteger()13        val randomBigDecimal = randoms.random.bigDecimal()14        val randomStringList = randoms.random.list(10) { randoms.random.string() }15        val randomIntList = randoms.random.list(10) { randoms.random.int() }16        val randomLongList = randoms.random.list(10) { randoms.random.long() }17        val randomDoubleList = randoms.random.list(10) { randoms.random.double() }18        val randomFloatList = randoms.random.list(10) { randoms.random.float() }19        val randomBooleanList = randoms.random.list(10) { randoms.random.boolean() }20        val randomCharList = randoms.random.list(10) { randoms.random.char() }21        val randomByteList = randoms.random.list(10) { randoms.random.byte() }22        val randomShortList = randoms.random.list(10) { randoms.random.short() }23        val randomBigIntegerList = randoms.random.list(10) { randoms.random.bigInteger() }24        val randomBigDecimalList = randoms.random.list(10) { randoms.random.bigDecimal() }25        val randomIntRange = randoms.random.int(1..100)26        val randomLongRange = randoms.random.long(1L..100L)27        val randomDoubleRange = randoms.random.double(1.0..100.0)28        val randomFloatRange = randoms.random.float(1f..100f)29        val randomByteRange = randoms.random.byte(1.toByte()..100.toByte())30        val randomShortRange = randoms.random.short(1.toShort()..100.toShort())31        val randomBigIntegerRange = randoms.random.bigInteger(BigInteger.ONE..BigInteger.TEN)32        val randomBigDecimalRange = randoms.random.bigDecimal(BigDecimal.ONE..BigDecimal.TEN)

1    val gen = Gen.int()2    val prop = forAll(gen) { x ->3    }4    prop.check(1000)5    val prop = forAll<Int> { x ->6    }7    prop.check(1000)