kotest-property

alltypes

abstract class Arb<A> : Gen<A>

Arb()
abstract fun edgecases(): List<A>
abstract fun values(rs: RandomSource): Sequence<Sample<A>>

data class Codepoint

Codepoint(value: Int)
val value: Int

class Counter

Counter()
var count: Int
fun inc(): Int

object DoubleShrinker : Shrinker<Double>

fun shrink(value: Double): List<Double>

abstract class Exhaustive<A> : Gen<A>

Exhaustive()
fun toArb(): Arb<A>
abstract val values: List<A>

object FloatShrinker : Shrinker<Float>

fun shrink(value: Float): List<Float>

sealed class Gen<out A>

fun generate(rs: RandomSource): Sequence<Sample<A>>
fun minIterations(): Int

typealias InstantRange = ClosedRange<Instant>
object IntShrinker : Shrinker<Int>

fun shrink(value: Int): List<Int>

kotlin.collections.List
kotlin.Long

fun Long.random(): RandomSource

kotlin.random.Random

fun Random.azchar(): Char
fun Random.azstring(size: Int): String

kotlin.ranges.ClosedRange

fun InstantRange.random(random: Random): Instant

class ListShrinker<A> : Shrinker<List<A>>

ListShrinker()
fun shrink(value: List<A>): List<List<A>>

object LongShrinker : Shrinker<Long>

fun shrink(value: Long): List<Long>

class MapShrinker<K, V> : Shrinker<Map<K, V>>

MapShrinker()
fun shrink(value: Map<K, V>): List<Map<K, V>>

class MultiplesShrinker : Shrinker<Int>

MultiplesShrinker(multiple: Int)
fun shrink(value: Int): List<Int>

class PropertyContext

PropertyContext()
fun attempts(): Int
fun classifications(): Map<String, Int>
fun classify(condition: Boolean, label: String): Unit
fun classify(condition: Boolean, trueLabel: String, falseLabel: String): Unit
fun failures(): Int
fun markFailure(): Unit
fun markSuccess(): Unit
fun successes(): Int

data class PropertyFailureInput<T>

PropertyFailureInput(original: T?, shrunk: T?)
val original: T?
val shrunk: T?

object PropertyTesting

var defaultIterationCount: Int
var shouldPrintGeneratedValues: Boolean
var shouldPrintShrinkSteps: Boolean

data class PropTestConfig

PropTestConfig(seed: Long? = null, minSuccess: Int = Int.MAX_VALUE, maxFailure: Int = 0, shrinkingMode: ShrinkingMode = ShrinkingMode.Bounded(1000))
val maxFailure: Int
val minSuccess: Int
val seed: Long?
val shrinkingMode: ShrinkingMode

data class RandomSource

RandomSource(random: Random, seed: Long)
val Default: RandomSource
val random: Random
val seed: Long

data class RTree<out A>

RTree(value: A, children: Lazy<List<RTree<A>>> = lazy { emptyList<RTree<A>>() })
val children: Lazy<List<RTree<A>>>
val value: A

data class Sample<out A>

Sample(value: A, shrinks: RTree<A> = RTree(value))
val shrinks: RTree<A>
val value: A

interface Shrinker<A>

abstract fun shrink(value: A): List<A>

sealed class ShrinkingMode

data class Bounded : ShrinkingMode

Bounded(bound: Int)
val bound: Int

object Off : ShrinkingMode
object Unbounded : ShrinkingMode

object StringShrinker : Shrinker<String>

fun shrink(value: String): List<String>

abstract class TypeReference<T> : Comparable<TypeReference<T>>

TypeReference()
open fun compareTo(other: TypeReference<T>): Int
val type: Type

package io.kotest.property

abstract class Arb<A> : Gen<A>

Arb()
abstract fun edgecases(): List<A>
abstract fun values(rs: RandomSource): Sequence<Sample<A>>

suspend fun <A, B, C, D, E, F> checkAll(genA: Gen<A>, genB: Gen<B>, genC: Gen<C>, genD: Gen<D>, genE: Gen<E>, genF: Gen<F>, property: suspend PropertyContext.(A, B, C, D, E, F) -> Unit): PropertyContext
suspend fun <A, B, C, D, E, F> checkAll(config: PropTestConfig, genA: Gen<A>, genB: Gen<B>, genC: Gen<C>, genD: Gen<D>, genE: Gen<E>, genF: Gen<F>, property: suspend PropertyContext.(A, B, C, D, E, F) -> Unit): PropertyContext
suspend fun <A, B, C, D, E, F> checkAll(iterations: Int, genA: Gen<A>, genB: Gen<B>, genC: Gen<C>, genD: Gen<D>, genE: Gen<E>, genF: Gen<F>, property: suspend PropertyContext.(A, B, C, D, E, F) -> Unit): PropertyContext
suspend fun <A, B, C, D, E, F> checkAll(iterations: Int, config: PropTestConfig, genA: Gen<A>, genB: Gen<B>, genC: Gen<C>, genD: Gen<D>, genE: Gen<E>, genF: Gen<F>, property: suspend PropertyContext.(A, B, C, D, E, F) -> Unit): PropertyContext
suspend inline fun <reified A, reified B, reified C, reified D, reified E, reified F> checkAll(noinline property: suspend PropertyContext.(A, B, C, D, E, F) -> Unit): PropertyContext
suspend inline fun <reified A, reified B, reified C, reified D, reified E, reified F> checkAll(config: PropTestConfig, noinline property: suspend PropertyContext.(A, B, C, D, E, F) -> Unit): PropertyContext
suspend inline fun <reified A, reified B, reified C, reified D, reified E, reified F> checkAll(iterations: Int, noinline property: suspend PropertyContext.(A, B, C, D, E, F) -> Unit): PropertyContext
suspend inline fun <reified A, reified B, reified C, reified D, reified E, reified F> checkAll(iterations: Int, config: PropTestConfig, noinline property: suspend PropertyContext.(A, B, C, D, E, F) -> Unit): PropertyContext
@JvmName("checkAllExt") suspend fun <A> Gen<A>.checkAll(property: suspend PropertyContext.(A) -> Unit): PropertyContext
@JvmName("checkAllExt") suspend fun <A> Gen<A>.checkAll(iterations: Int, property: suspend PropertyContext.(A) -> Unit): PropertyContext
suspend fun <A> checkAll(iterations: Int, genA: Gen<A>, property: suspend PropertyContext.(A) -> Unit): PropertyContext
@JvmName("checkAllExt") suspend fun <A> Gen<A>.checkAll(config: PropTestConfig, property: suspend PropertyContext.(A) -> Unit): PropertyContext
suspend fun <A> checkAll(config: PropTestConfig, genA: Gen<A>, property: suspend PropertyContext.(A) -> Unit): PropertyContext
@JvmName("checkAllExt") suspend fun <A> Gen<A>.checkAll(iterations: Int, config: PropTestConfig, property: suspend PropertyContext.(A) -> Unit): PropertyContext
suspend fun <A> checkAll(iterations: Int, config: PropTestConfig, genA: Gen<A>, property: suspend PropertyContext.(A) -> Unit): PropertyContext
suspend inline fun <reified A> checkAll(noinline property: suspend PropertyContext.(A) -> Unit): PropertyContext
suspend inline fun <reified A> checkAll(iterations: Int, noinline property: suspend PropertyContext.(A) -> Unit): PropertyContext
suspend inline fun <reified A> checkAll(config: PropTestConfig, noinline property: suspend PropertyContext.(A) -> Unit): PropertyContext
suspend inline fun <reified A> checkAll(iterations: Int, config: PropTestConfig, noinline property: suspend PropertyContext.(A) -> Unit): PropertyContext
suspend fun <A, B> checkAll(genA: Gen<A>, genB: Gen<B>, property: suspend PropertyContext.(A, B) -> Unit): PropertyContext
suspend fun <A, B> checkAll(config: PropTestConfig, genA: Gen<A>, genB: Gen<B>, property: suspend PropertyContext.(A, B) -> Unit): PropertyContext
suspend fun <A, B> checkAll(iterations: Int, genA: Gen<A>, genB: Gen<B>, property: suspend PropertyContext.(A, B) -> Unit): PropertyContext
suspend fun <A, B> checkAll(iterations: Int, config: PropTestConfig, genA: Gen<A>, genB: Gen<B>, property: suspend PropertyContext.(A, B) -> Unit): PropertyContext
suspend inline fun <reified A, reified B> checkAll(noinline property: suspend PropertyContext.(A, B) -> Unit): PropertyContext
suspend inline fun <reified A, reified B> checkAll(config: PropTestConfig, noinline property: suspend PropertyContext.(A, B) -> Unit): PropertyContext
suspend inline fun <reified A, reified B> checkAll(iterations: Int, noinline property: suspend PropertyContext.(A, B) -> Unit): PropertyContext
suspend inline fun <reified A, reified B> checkAll(iterations: Int, config: PropTestConfig, noinline property: suspend PropertyContext.(A, B) -> Unit): PropertyContext
suspend fun <A, B, C> checkAll(genA: Gen<A>, genB: Gen<B>, genC: Gen<C>, property: suspend PropertyContext.(A, B, C) -> Unit): PropertyContext
suspend fun <A, B, C> checkAll(config: PropTestConfig, genA: Gen<A>, genB: Gen<B>, genC: Gen<C>, property: suspend PropertyContext.(A, B, C) -> Unit): PropertyContext
suspend fun <A, B, C> checkAll(iterations: Int, genA: Gen<A>, genB: Gen<B>, genC: Gen<C>, property: suspend PropertyContext.(A, B, C) -> Unit): PropertyContext
suspend fun <A, B, C> checkAll(iterations: Int, config: PropTestConfig, genA: Gen<A>, genB: Gen<B>, genC: Gen<C>, property: suspend PropertyContext.(A, B, C) -> Unit): PropertyContext
suspend inline fun <reified A, reified B, reified C> checkAll(noinline property: suspend PropertyContext.(A, B, C) -> Unit): PropertyContext
suspend inline fun <reified A, reified B, reified C> checkAll(config: PropTestConfig, noinline property: suspend PropertyContext.(A, B, C) -> Unit): PropertyContext
suspend inline fun <reified A, reified B, reified C> checkAll(iterations: Int, noinline property: suspend PropertyContext.(A, B, C) -> Unit): PropertyContext
suspend inline fun <reified A, reified B, reified C> checkAll(iterations: Int, config: PropTestConfig, noinline property: suspend PropertyContext.(A, B, C) -> Unit): PropertyContext
suspend fun <A, B, C, D> checkAll(genA: Gen<A>, genB: Gen<B>, genC: Gen<C>, genD: Gen<D>, property: suspend PropertyContext.(A, B, C, D) -> Unit): PropertyContext
suspend fun <A, B, C, D> checkAll(config: PropTestConfig, genA: Gen<A>, genB: Gen<B>, genC: Gen<C>, genD: Gen<D>, property: suspend PropertyContext.(A, B, C, D) -> Unit): PropertyContext
suspend fun <A, B, C, D> checkAll(iterations: Int, genA: Gen<A>, genB: Gen<B>, genC: Gen<C>, genD: Gen<D>, property: suspend PropertyContext.(A, B, C, D) -> Unit): PropertyContext
suspend fun <A, B, C, D> checkAll(iterations: Int, config: PropTestConfig, genA: Gen<A>, genB: Gen<B>, genC: Gen<C>, genD: Gen<D>, property: suspend PropertyContext.(A, B, C, D) -> Unit): PropertyContext
suspend inline fun <reified A, reified B, reified C, reified D> checkAll(noinline property: suspend PropertyContext.(A, B, C, D) -> Unit): PropertyContext
suspend inline fun <reified A, reified B, reified C, reified D> checkAll(config: PropTestConfig, noinline property: suspend PropertyContext.(A, B, C, D) -> Unit): PropertyContext
suspend inline fun <reified A, reified B, reified C, reified D> checkAll(iterations: Int, noinline property: suspend PropertyContext.(A, B, C, D) -> Unit): PropertyContext
suspend inline fun <reified A, reified B, reified C, reified D> checkAll(iterations: Int, config: PropTestConfig, noinline property: suspend PropertyContext.(A, B, C, D) -> Unit): PropertyContext
suspend fun <A, B, C, D, E> checkAll(genA: Gen<A>, genB: Gen<B>, genC: Gen<C>, genD: Gen<D>, genE: Gen<E>, property: suspend PropertyContext.(A, B, C, D, E) -> Unit): PropertyContext
suspend fun <A, B, C, D, E> checkAll(config: PropTestConfig, genA: Gen<A>, genB: Gen<B>, genC: Gen<C>, genD: Gen<D>, genE: Gen<E>, property: suspend PropertyContext.(A, B, C, D, E) -> Unit): PropertyContext
suspend fun <A, B, C, D, E> checkAll(iterations: Int, genA: Gen<A>, genB: Gen<B>, genC: Gen<C>, genD: Gen<D>, genE: Gen<E>, property: suspend PropertyContext.(A, B, C, D, E) -> Unit): PropertyContext
suspend fun <A, B, C, D, E> checkAll(iterations: Int, config: PropTestConfig, genA: Gen<A>, genB: Gen<B>, genC: Gen<C>, genD: Gen<D>, genE: Gen<E>, property: suspend PropertyContext.(A, B, C, D, E) -> Unit): PropertyContext
suspend inline fun <reified A, reified B, reified C, reified D, reified E> checkAll(noinline property: suspend PropertyContext.(A, B, C, D, E) -> Unit): PropertyContext
suspend inline fun <reified A, reified B, reified C, reified D, reified E> checkAll(config: PropTestConfig, noinline property: suspend PropertyContext.(A, B, C, D, E) -> Unit): PropertyContext
suspend inline fun <reified A, reified B, reified C, reified D, reified E> checkAll(iterations: Int, noinline property: suspend PropertyContext.(A, B, C, D, E) -> Unit): PropertyContext
suspend inline fun <reified A, reified B, reified C, reified D, reified E> checkAll(iterations: Int, config: PropTestConfig, noinline property: suspend PropertyContext.(A, B, C, D, E) -> Unit): PropertyContext
suspend fun checkCoverage(label: String, percentage: Double, f: suspend () -> PropertyContext): PropertyContext
suspend fun checkCoverage(vararg pairs: Pair<String, Double>, f: suspend () -> PropertyContext): PropertyContext
abstract class Exhaustive<A> : Gen<A>

Exhaustive()
fun toArb(): Arb<A>
abstract val values: List<A>

suspend fun <A, B, C, D, E, F> forAll(genA: Gen<A>, genB: Gen<B>, genC: Gen<C>, genD: Gen<D>, genE: Gen<E>, genF: Gen<F>, property: suspend PropertyContext.(A, B, C, D, E, F) -> Boolean): PropertyContext
suspend fun <A, B, C, D, E, F> forAll(config: PropTestConfig = PropTestConfig(), genA: Gen<A>, genB: Gen<B>, genC: Gen<C>, genD: Gen<D>, genE: Gen<E>, genF: Gen<F>, property: suspend PropertyContext.(A, B, C, D, E, F) -> Boolean): PropertyContext
suspend fun <A, B, C, D, E, F> forAll(iterations: Int, genA: Gen<A>, genB: Gen<B>, genC: Gen<C>, genD: Gen<D>, genE: Gen<E>, genF: Gen<F>, property: suspend PropertyContext.(A, B, C, D, E, F) -> Boolean): PropertyContext
suspend fun <A, B, C, D, E, F> forAll(iterations: Int, config: PropTestConfig, genA: Gen<A>, genB: Gen<B>, genC: Gen<C>, genD: Gen<D>, genE: Gen<E>, genF: Gen<F>, property: suspend PropertyContext.(A, B, C, D, E, F) -> Boolean): PropertyContext
suspend inline fun <reified A, reified B, reified C, reified D, reified E, reified F> forAll(crossinline property: PropertyContext.(A, B, C, D, E, F) -> Boolean): PropertyContext
suspend inline fun <reified A, reified B, reified C, reified D, reified E, reified F> forAll(config: PropTestConfig = PropTestConfig(), crossinline property: PropertyContext.(A, B, C, D, E, F) -> Boolean): PropertyContext
suspend inline fun <reified A, reified B, reified C, reified D, reified E, reified F> forAll(iterations: Int, crossinline property: PropertyContext.(A, B, C, D, E, F) -> Boolean): PropertyContext
suspend inline fun <reified A, reified B, reified C, reified D, reified E, reified F> forAll(iterations: Int, config: PropTestConfig, crossinline property: PropertyContext.(A, B, C, D, E, F) -> Boolean): PropertyContext
@JvmName("checkAllExt") suspend fun <A> Gen<A>.forAll(property: PropertyContext.(A) -> Boolean): PropertyContext
@JvmName("checkAllExt") suspend fun <A> Gen<A>.forAll(iterations: Int, property: PropertyContext.(A) -> Boolean): PropertyContext
suspend fun <A> forAll(iterations: Int, genA: Gen<A>, property: PropertyContext.(A) -> Boolean): PropertyContext
@JvmName("checkAllExt") suspend fun <A> Gen<A>.forAll(config: PropTestConfig, property: PropertyContext.(A) -> Boolean): PropertyContext
suspend fun <A> forAll(config: PropTestConfig, genA: Gen<A>, property: PropertyContext.(A) -> Boolean): PropertyContext
@JvmName("checkAllExt") suspend fun <A> Gen<A>.forAll(iterations: Int, config: PropTestConfig, property: PropertyContext.(A) -> Boolean): PropertyContext
suspend fun <A> forAll(iterations: Int, config: PropTestConfig, genA: Gen<A>, property: PropertyContext.(A) -> Boolean): PropertyContext
suspend inline fun <reified A> forAll(crossinline property: suspend PropertyContext.(A) -> Boolean): PropertyContext
suspend inline fun <reified A> forAll(iterations: Int, crossinline property: suspend PropertyContext.(A) -> Boolean): PropertyContext
suspend inline fun <reified A> forAll(config: PropTestConfig, crossinline property: suspend PropertyContext.(A) -> Boolean): PropertyContext
suspend inline fun <reified A> forAll(iterations: Int, config: PropTestConfig, crossinline property: suspend PropertyContext.(A) -> Boolean): PropertyContext
suspend fun <A, B> forAll(genA: Gen<A>, genB: Gen<B>, property: suspend PropertyContext.(A, B) -> Boolean): PropertyContext
suspend fun <A, B> forAll(config: PropTestConfig = PropTestConfig(), genA: Gen<A>, genB: Gen<B>, property: suspend PropertyContext.(A, B) -> Boolean): PropertyContext
suspend fun <A, B> forAll(iterations: Int, genA: Gen<A>, genB: Gen<B>, property: suspend PropertyContext.(A, B) -> Boolean): PropertyContext
suspend fun <A, B> forAll(iterations: Int, config: PropTestConfig, genA: Gen<A>, genB: Gen<B>, property: suspend PropertyContext.(A, B) -> Boolean): PropertyContext
suspend inline fun <reified A, reified B> forAll(crossinline property: PropertyContext.(A, B) -> Boolean): PropertyContext
suspend inline fun <reified A, reified B> forAll(config: PropTestConfig = PropTestConfig(), crossinline property: PropertyContext.(A, B) -> Boolean): PropertyContext
suspend inline fun <reified A, reified B> forAll(iterations: Int, crossinline property: PropertyContext.(A, B) -> Boolean): PropertyContext
suspend inline fun <reified A, reified B> forAll(iterations: Int, config: PropTestConfig, crossinline property: PropertyContext.(A, B) -> Boolean): PropertyContext
suspend fun <A, B, C> forAll(genA: Gen<A>, genB: Gen<B>, genC: Gen<C>, property: suspend PropertyContext.(A, B, C) -> Boolean): PropertyContext
suspend fun <A, B, C> forAll(config: PropTestConfig = PropTestConfig(), genA: Gen<A>, genB: Gen<B>, genC: Gen<C>, property: suspend PropertyContext.(A, B, C) -> Boolean): PropertyContext
suspend fun <A, B, C> forAll(iterations: Int, genA: Gen<A>, genB: Gen<B>, genC: Gen<C>, property: suspend PropertyContext.(A, B, C) -> Boolean): PropertyContext
suspend fun <A, B, C> forAll(iterations: Int, config: PropTestConfig, genA: Gen<A>, genB: Gen<B>, genC: Gen<C>, property: suspend PropertyContext.(A, B, C) -> Boolean): PropertyContext
suspend inline fun <reified A, reified B, reified C> forAll(crossinline property: PropertyContext.(A, B, C) -> Boolean): PropertyContext
suspend inline fun <reified A, reified B, reified C> forAll(config: PropTestConfig = PropTestConfig(), crossinline property: PropertyContext.(A, B, C) -> Boolean): PropertyContext
suspend inline fun <reified A, reified B, reified C> forAll(iterations: Int, crossinline property: PropertyContext.(A, B, C) -> Boolean): PropertyContext
suspend inline fun <reified A, reified B, reified C> forAll(iterations: Int, config: PropTestConfig, crossinline property: PropertyContext.(A, B, C) -> Boolean): PropertyContext
suspend fun <A, B, C, D> forAll(genA: Gen<A>, genB: Gen<B>, genC: Gen<C>, genD: Gen<D>, property: suspend PropertyContext.(A, B, C, D) -> Boolean): PropertyContext
suspend fun <A, B, C, D> forAll(config: PropTestConfig = PropTestConfig(), genA: Gen<A>, genB: Gen<B>, genC: Gen<C>, genD: Gen<D>, property: suspend PropertyContext.(A, B, C, D) -> Boolean): PropertyContext
suspend fun <A, B, C, D> forAll(iterations: Int, genA: Gen<A>, genB: Gen<B>, genC: Gen<C>, genD: Gen<D>, property: suspend PropertyContext.(A, B, C, D) -> Boolean): PropertyContext
suspend fun <A, B, C, D> forAll(iterations: Int, config: PropTestConfig, genA: Gen<A>, genB: Gen<B>, genC: Gen<C>, genD: Gen<D>, property: suspend PropertyContext.(A, B, C, D) -> Boolean): PropertyContext
suspend inline fun <reified A, reified B, reified C, reified D> forAll(crossinline property: PropertyContext.(A, B, C, D) -> Boolean): PropertyContext
suspend inline fun <reified A, reified B, reified C, reified D> forAll(config: PropTestConfig = PropTestConfig(), crossinline property: PropertyContext.(A, B, C, D) -> Boolean): PropertyContext
suspend inline fun <reified A, reified B, reified C, reified D> forAll(iterations: Int, crossinline property: PropertyContext.(A, B, C, D) -> Boolean): PropertyContext
suspend inline fun <reified A, reified B, reified C, reified D> forAll(iterations: Int, config: PropTestConfig, crossinline property: PropertyContext.(A, B, C, D) -> Boolean): PropertyContext
suspend fun <A, B, C, D, E> forAll(genA: Gen<A>, genB: Gen<B>, genC: Gen<C>, genD: Gen<D>, genE: Gen<E>, property: suspend PropertyContext.(A, B, C, D, E) -> Boolean): PropertyContext
suspend fun <A, B, C, D, E> forAll(config: PropTestConfig = PropTestConfig(), genA: Gen<A>, genB: Gen<B>, genC: Gen<C>, genD: Gen<D>, genE: Gen<E>, property: suspend PropertyContext.(A, B, C, D, E) -> Boolean): PropertyContext
suspend fun <A, B, C, D, E> forAll(iterations: Int, genA: Gen<A>, genB: Gen<B>, genC: Gen<C>, genD: Gen<D>, genE: Gen<E>, property: suspend PropertyContext.(A, B, C, D, E) -> Boolean): PropertyContext
suspend fun <A, B, C, D, E> forAll(iterations: Int, config: PropTestConfig, genA: Gen<A>, genB: Gen<B>, genC: Gen<C>, genD: Gen<D>, genE: Gen<E>, property: suspend PropertyContext.(A, B, C, D, E) -> Boolean): PropertyContext
suspend inline fun <reified A, reified B, reified C, reified D, reified E> forAll(crossinline property: PropertyContext.(A, B, C, D, E) -> Boolean): PropertyContext
suspend inline fun <reified A, reified B, reified C, reified D, reified E> forAll(config: PropTestConfig = PropTestConfig(), crossinline property: PropertyContext.(A, B, C, D, E) -> Boolean): PropertyContext
suspend inline fun <reified A, reified B, reified C, reified D, reified E> forAll(iterations: Int, crossinline property: PropertyContext.(A, B, C, D, E) -> Boolean): PropertyContext
suspend inline fun <reified A, reified B, reified C, reified D, reified E> forAll(iterations: Int, config: PropTestConfig, crossinline property: PropertyContext.(A, B, C, D, E) -> Boolean): PropertyContext
sealed class Gen<out A>

fun generate(rs: RandomSource): Sequence<Sample<A>>
fun minIterations(): Int

fun <A> RTree<A>.isEmpty(): Boolean
kotlin.Long

fun Long.random(): RandomSource

kotlin.random.Random

fun Random.azchar(): Char
fun Random.azstring(size: Int): String

fun <A, B> RTree<A>.map(f: (A) -> B): RTree<B>
class PropertyContext

PropertyContext()
fun attempts(): Int
fun classifications(): Map<String, Int>
fun classify(condition: Boolean, label: String): Unit
fun classify(condition: Boolean, trueLabel: String, falseLabel: String): Unit
fun failures(): Int
fun markFailure(): Unit
fun markSuccess(): Unit
fun successes(): Int

object PropertyTesting

var defaultIterationCount: Int
var shouldPrintGeneratedValues: Boolean
var shouldPrintShrinkSteps: Boolean

data class PropTestConfig

PropTestConfig(seed: Long? = null, minSuccess: Int = Int.MAX_VALUE, maxFailure: Int = 0, shrinkingMode: ShrinkingMode = ShrinkingMode.Bounded(1000))
val maxFailure: Int
val minSuccess: Int
val seed: Long?
val shrinkingMode: ShrinkingMode

data class RandomSource

RandomSource(random: Random, seed: Long)
val Default: RandomSource
val random: Random
val seed: Long

fun <A> Shrinker<A>.rtree(a: A): RTree<A>
data class RTree<out A>

RTree(value: A, children: Lazy<List<RTree<A>>> = lazy { emptyList<RTree<A>>() })
val children: Lazy<List<RTree<A>>>
val value: A

data class Sample<out A>

Sample(value: A, shrinks: RTree<A> = RTree(value))
val shrinks: RTree<A>
val value: A

fun <A> sampleOf(a: A, shrinker: Shrinker<A>): Sample<A>
interface Shrinker<A>

abstract fun shrink(value: A): List<A>

sealed class ShrinkingMode

data class Bounded : ShrinkingMode

Bounded(bound: Int)
val bound: Int

object Off : ShrinkingMode
object Unbounded : ShrinkingMode

package io.kotest.property.arbitrary

fun Arb.Companion.arabic(): Arb<Codepoint>
fun <A> arb(edgecases: List<A> = emptyList(), f: (RandomSource) -> Sequence<A>): Arb<A>
fun <A> arb(shrinker: Shrinker<A>, f: (RandomSource) -> A): Arb<A>
fun <A> arb(shrinker: Shrinker<A>, edgecases: List<A> = emptyList(), f: (RandomSource) -> A): Arb<A>
fun Arb.Companion.armenian(): Arb<Codepoint>
fun Arb.Companion.ascii(): Arb<Codepoint>
fun Codepoint.asString(): String
fun Arb.Companion.bigInt(range: IntRange): Arb<BigInteger>
fun <A, B> Shrinker<A>.bimap(f: (B) -> A, g: (A) -> B): Shrinker<B>
fun <A, B, T : Any> Arb.Companion.bind(genA: Gen<A>, genB: Gen<B>, bindFn: (A, B) -> T): Arb<T>
fun <A, B, C, T : Any> Arb.Companion.bind(genA: Gen<A>, genB: Gen<B>, genC: Gen<C>, bindFn: (A, B, C) -> T): Arb<T>
fun <A, B, C, D, T : Any> Arb.Companion.bind(genA: Gen<A>, genB: Gen<B>, genC: Gen<C>, genD: Gen<D>, bindFn: (A, B, C, D) -> T): Arb<T>
fun <A, B, C, D, E, T : Any> Arb.Companion.bind(genA: Arb<A>, genB: Arb<B>, genC: Arb<C>, genD: Arb<D>, genE: Arb<E>, bindFn: (A, B, C, D, E) -> T): Arb<T>
fun <A, B, C, D, E, F, T : Any> Arb.Companion.bind(genA: Gen<A>, genB: Gen<B>, genC: Gen<C>, genD: Gen<D>, genE: Gen<E>, genF: Gen<F>, bindFn: (A, B, C, D, E, F) -> T): Arb<T>
fun <A, B, C, D, E, F, G, T : Any> Arb.Companion.bind(genA: Gen<A>, genB: Gen<B>, genC: Gen<C>, genD: Gen<D>, genE: Gen<E>, genF: Gen<F>, genG: Gen<G>, bindFn: (A, B, C, D, E, F, G) -> T): Arb<T>
fun <reified T : Any> Arb.Companion.bind(): Arb<T>
fun Arb.Companion.bool(): Arb<Boolean>
fun Arb.Companion.byte(): Arb<Byte>
val ByteShrinker: Shrinker<Byte>
fun Arb.Companion.char(range: CharRange, vararg ranges: CharRange): Arb<Char>
fun Arb.Companion.char(ranges: List<CharRange> = CharSets.BASIC_LATIN): Arb<Char>
fun <A> Arb.Companion.choice(vararg gens: Gen<A>): Arb<A>
fun <A : Any> Arb.Companion.choose(a: Pair<Int, A>, b: Pair<Int, A>, vararg cs: Pair<Int, A>): Arb<A>
fun <A> Arb<A>.chunked(size: IntRange): Arb<List<A>>
fun <A> Arb<A>.chunked(minSize: Int, maxSize: Int): Arb<List<A>>
data class Codepoint

Codepoint(value: Int)
val value: Int

fun Arb.Companion.codepoints(): Arb<Codepoint>
fun <A> Arb.Companion.constant(a: A): Arb<A>
fun <A> Arb.Companion.create(edgeCases: List<A>, fn: (RandomSource) -> A): Arb<A>
fun <A> Arb.Companion.create(fn: (RandomSource) -> A): Arb<A>
fun Arb.Companion.cyrillic(): Arb<Codepoint>
fun Arb.Companion.date(minYear: Int = 1970, maxYear: Int = 2030): <ERROR CLASS>
fun Arb.Companion.date(yearRange: IntRange): <ERROR CLASS>
fun Arb.Companion.datetime(minYear: Int = 1970, maxYear: Int = 2030): <ERROR CLASS>
fun Arb.Companion.datetime(yearRange: IntRange): <ERROR CLASS>
fun <reified A> Arb.Companion.default(): Arb<A>
fun <A> defaultForClass(kClass: KClass<*>): Arb<A>?
fun <A> Arb<A>.distinct(): Arb<A>
fun <A, B> Arb<A>.distinctBy(selector: (A) -> B): Arb<A>
fun Arb.Companion.double(): Arb<Double>
object DoubleShrinker : Shrinker<Double>

fun shrink(value: Double): List<Double>

fun Arb.Companion.egyptianHieroglyphs(): Arb<Codepoint>
fun <T> Arb.Companion.element(collection: Collection<T>): Arb<T>
fun <T> Arb.Companion.element(vararg collection: T): Arb<T>
fun Arb.Companion.email(usernameSize: IntRange = 3..10, domainSize: IntRange = 3..10): Arb<String>
fun <reified T : Enum<T>> Arb.Companion.enum(): Arb<T>
fun Arb.Companion.factors(k: Int): Arb<Int>
fun Arb.Companion.file(): Arb<File>
fun Arb.Companion.file(directoryName: String, recursive: Boolean = false): Arb<File>
fun <A> Arb<A>.filter(predicate: (A) -> Boolean): Arb<A>
fun <A, reified B : A> Arb<A>.filterIsInstance(): Arb<B>
fun <A> Arb<A>.filterNot(f: (A) -> Boolean): Arb<A>
fun <A, B> Arb<A>.flatMap(f: (A) -> Arb<B>): Arb<B>
fun Arb.Companion.float(): Arb<Float>
object FloatShrinker : Shrinker<Float>

fun shrink(value: Float): List<Float>

fun <reified A> Arb.Companion.forClass(kClass: KClass<*>): Arb<A>
fun Arb.Companion.georgian(): Arb<Codepoint>
fun Arb.Companion.greekCoptic(): Arb<Codepoint>
fun Arb.Companion.hebrew(): Arb<Codepoint>
val Codepoint.highSurrogate: Char
fun Arb.Companion.hiragana(): Arb<Codepoint>
fun Arb.Companion.instant(range: InstantRange): Arb<Instant>
fun Arb.Companion.instant(minValue: Instant = Instant.MIN, maxValue: Instant = Instant.MAX): Arb<Instant>
typealias InstantRange = ClosedRange<Instant>
fun Arb.Companion.int(min: Int, max: Int): Arb<Int>
fun Arb.Companion.int(range: IntRange = Int.MIN_VALUE..Int.MAX_VALUE): Arb<Int>
object IntShrinker : Shrinker<Int>

fun shrink(value: Int): List<Int>

val Codepoint.isBmpCodePoint: Boolean
fun Arb.Companion.katakana(): Arb<Codepoint>
kotlin.ranges.ClosedRange

fun InstantRange.random(random: Random): Instant

fun Arb.Companion.lines(file: File, charset: Charset = Charsets.UTF_8): Arb<String>
@JvmOverloads fun <A> Arb.Companion.list(gen: Gen<A>, range: IntRange = 0..100): Arb<List<A>>
class ListShrinker<A> : Shrinker<List<A>>

ListShrinker()
fun shrink(value: List<A>): List<List<A>>

fun Arb.Companion.localDate(minYear: Int = 1970, maxYear: Int = 2030): Arb<LocalDate>
fun Arb.Companion.localDateTime(minYear: Int = 1970, maxYear: Int = 2030): Arb<LocalDateTime>
fun Arb.Companion.localTime(): Arb<LocalTime>
fun Arb.Companion.long(min: Long = Long.MIN_VALUE, max: Long = Long.MAX_VALUE): Arb<Long>
fun Arb.Companion.long(range: LongRange = Long.MIN_VALUE..Long.MAX_VALUE): Arb<Long>
object LongShrinker : Shrinker<Long>

fun shrink(value: Long): List<Long>

val Codepoint.lowSurrogate: Char
fun <A, B> Arb<A>.map(f: (A) -> B): Arb<B>
fun <K, V> Arb.Companion.map(arb: Arb<Pair<K, V>>, minSize: Int = 1, maxSize: Int = 100): Arb<Map<K, V>>
fun <K, V> Arb.Companion.map(keyArb: Arb<K>, valueArb: Arb<V>, minSize: Int = 1, maxSize: Int = 100): Arb<Map<K, V>>
class MapShrinker<K, V> : Shrinker<Map<K, V>>

MapShrinker()
fun shrink(value: Map<K, V>): List<Map<K, V>>

fun <A, B : A> Arb<A>.merge(other: Gen<B>): Arb<A>
fun Arb.Companion.multiples(k: Int, max: Int): Arb<Int>
class MultiplesShrinker : Shrinker<Int>

MultiplesShrinker(multiple: Int)
fun shrink(value: Int): List<Int>

fun Arb.Companion.nats(max: Int = Int.MAX_VALUE): Arb<Int>
fun Arb.Companion.negativeDoubles(): Arb<Double>
fun Arb.Companion.negativeInts(min: Int = Int.MIN_VALUE): Arb<Int>
fun <A> Arb<A>.next(rs: RandomSource = RandomSource.Default): A
fun <A> Arb<A>.next(predicate: (A) -> Boolean = { true }, rs: RandomSource?): A
fun Arb.Companion.numericDoubles(from: Double = -Double.MAX_VALUE, to: Double = Double.MAX_VALUE): Arb<Double>
fun Arb.Companion.numericFloats(from: Float = -Float.MAX_VALUE, to: Float = Float.MAX_VALUE): Arb<Float>
fun <K, V> Arb.Companion.pair(k: Arb<K>, v: Arb<V>): Arb<Pair<K, V>>
fun Arb.Companion.period(maxYear: Int = 10): Arb<Period>
fun Arb.Companion.positiveDoubles(): Arb<Double>
fun Arb.Companion.positiveInts(max: Int = Int.MAX_VALUE): Arb<Int>
@JvmOverloads fun <A> Arb.Companion.set(gen: Gen<A>, range: IntRange = 0..100): Arb<Set<A>>
fun Arb.Companion.short(): Arb<Short>
val ShortShrinker: Shrinker<Short>
fun <A> Arb.Companion.shuffle(list: List<A>): Arb<List<A>>
fun <A> Arb<A>.single(rs: RandomSource = RandomSource.Default): A
fun Arb.Companion.string(minSize: Int = 0, maxSize: Int = 100, codepoints: Arb<Codepoint> = Arb.ascii()): Arb<String>
fun Arb.Companion.string(range: IntRange, codepoints: Arb<Codepoint> = Arb.ascii()): Arb<String>
fun Arb.Companion.stringPattern(pattern: String): Arb<String>
object StringShrinker : Shrinker<String>

fun shrink(value: String): List<String>

fun <A> Arb.Companion.subsequence(list: List<A>): Arb<List<A>>
fun <A> Arb<A>.take(count: Int, rs: RandomSource = RandomSource.Default): Sequence<A>
fun <reified A> targetDefaultForClass(): Arb<A>?
fun <A, B, C> Arb.Companion.triple(arbA: Arb<A>, arbB: Arb<B>, arbC: Arb<C>): Arb<Triple<A, B, C>>
abstract class TypeReference<T> : Comparable<TypeReference<T>>

TypeReference()
open fun compareTo(other: TypeReference<T>): Int
val type: Type

@ExperimentalUnsignedTypes fun Arb.Companion.ushort(): Arb<UShort>
val UShortShrinker: Shrinker<UShort>
fun Arb.Companion.uuid(uuidVersion: UUIDVersion = UUIDVersion.V4, allowNilValue: Boolean = true): Arb<UUID>

package io.kotest.property.exhaustive

fun <A> Exhaustive<A>.andNull(): Exhaustive<A?>
fun Exhaustive.Companion.azstring(range: IntRange): Exhaustive<String>
fun Exhaustive.Companion.boolean(): Exhaustive<Boolean>
fun Exhaustive.Companion.bytes(from: Byte = Byte.MIN_VALUE, to: Byte = Byte.MAX_VALUE): Exhaustive<Byte>
fun <A> Exhaustive.Companion.collection(collection: Collection<A>): Exhaustive<A>
fun <A> Exhaustive<A>.concat(other: Exhaustive<A>): Exhaustive<A>
fun <A> Exhaustive.Companion.constant(a: A): Exhaustive<A>
fun <reified T : Enum<T>> Exhaustive.Companion.enum(): Exhaustive<T>
fun <A> exhaustive(as: List<A>): Exhaustive<A>
fun Exhaustive.Companion.ints(range: IntRange): Exhaustive<Int>
kotlin.collections.List
fun Exhaustive.Companion.lines(file: File, charset: Charset = Charsets.UTF_8): Exhaustive<String>
fun Exhaustive.Companion.longs(range: LongRange): Exhaustive<Long>
fun <A, B : A> Exhaustive<A>.merge(other: Exhaustive<B>): Exhaustive<A>
fun Exhaustive.Companion.nullable(): Exhaustive<Nothing?>
operator fun <A> Exhaustive<A>.plus(other: Exhaustive<A>): Exhaustive<A>
operator fun <A, B : A> Exhaustive<A>.times(other: Exhaustive<B>): Exhaustive<Pair<A, B>>

package io.kotest.property.internal

fun PropertyContext.checkMaxSuccess(config: PropTestConfig, seed: Long): Unit
class Counter

Counter()
var count: Int
fun inc(): Int

suspend fun <A> doStep(tree: RTree<A>, mode: ShrinkingMode, tested: MutableSet<A>, counter: Counter, test: suspend (A) -> Unit, sb: StringBuilder): A?
data class PropertyFailureInput<T>

PropertyFailureInput(original: T?, shrunk: T?)
val original: T?
val shrunk: T?

suspend fun <A> proptest(iterations: Int, genA: Gen<A>, config: PropTestConfig, property: suspend PropertyContext.(A) -> Unit): PropertyContext
suspend fun <A, B> proptest(iterations: Int, genA: Gen<A>, genB: Gen<B>, config: PropTestConfig, property: suspend PropertyContext.(A, B) -> Unit): PropertyContext
suspend fun <A, B, C> proptest(iterations: Int, genA: Gen<A>, genB: Gen<B>, genC: Gen<C>, config: PropTestConfig, property: suspend PropertyContext.(A, B, C) -> Unit): PropertyContext
suspend fun <A, B, C, D> proptest(iterations: Int, genA: Gen<A>, genB: Gen<B>, genC: Gen<C>, genD: Gen<D>, config: PropTestConfig, property: suspend PropertyContext.(A, B, C, D) -> Unit): PropertyContext
suspend fun <A, B, C, D, E> proptest(iterations: Int, genA: Gen<A>, genB: Gen<B>, genC: Gen<C>, genD: Gen<D>, genE: Gen<E>, config: PropTestConfig, property: suspend PropertyContext.(A, B, C, D, E) -> Unit): PropertyContext
suspend fun <A, B, C, D, E, F> proptest(iterations: Int, genA: Gen<A>, genB: Gen<B>, genC: Gen<C>, genD: Gen<D>, genE: Gen<E>, genF: Gen<F>, config: PropTestConfig, property: suspend PropertyContext.(A, B, C, D, E, F) -> Unit): PropertyContext
fun <A> shrinkfn(a: Sample<A>, property: suspend PropertyContext.(A) -> Unit, shrinkingMode: ShrinkingMode): suspend () -> List<Any?>
fun <A, B> shrinkfn(a: Sample<A>, b: Sample<B>, property: suspend PropertyContext.(A, B) -> Unit, shrinkingMode: ShrinkingMode): suspend () -> List<Any?>
fun <A, B, C> shrinkfn(a: Sample<A>, b: Sample<B>, c: Sample<C>, property: suspend PropertyContext.(A, B, C) -> Unit, shrinkingMode: ShrinkingMode): suspend () -> List<Any?>
fun <A, B, C, D> shrinkfn(a: Sample<A>, b: Sample<B>, c: Sample<C>, d: Sample<D>, property: suspend PropertyContext.(A, B, C, D) -> Unit, shrinkingMode: ShrinkingMode): suspend () -> List<Any?>
fun <A, B, C, D, E> shrinkfn(a: Sample<A>, b: Sample<B>, c: Sample<C>, d: Sample<D>, e: Sample<E>, property: suspend PropertyContext.(A, B, C, D, E) -> Unit, shrinkingMode: ShrinkingMode): suspend () -> List<Any?>
fun <A, B, C, D, E, F> shrinkfn(a: Sample<A>, b: Sample<B>, c: Sample<C>, d: Sample<D>, e: Sample<E>, f: Sample<F>, property: suspend PropertyContext.(A, B, C, D, E, F) -> Unit, shrinkingMode: ShrinkingMode): suspend () -> List<Any?>