kotest-property
Module Contents
alltypes
package io.kotest.property
Module Contents
abstract class Arb<A> : Gen<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>
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 <A> RTree<A>.isEmpty(): Boolean
kotlin.Long
kotlin.random.Random
fun <A, B> RTree<A>.map(f: (A) -> B): RTree<B>
class PropertyContext
object PropertyTesting
data class PropTestConfig
data class RandomSource
fun <A> Shrinker<A>.rtree(a: A): RTree<A>
data class RTree<out A>
data class Sample<out A>
fun <A> sampleOf(a: A, shrinker: Shrinker<A>): Sample<A>
interface Shrinker<A>
sealed class ShrinkingMode
package io.kotest.property.arbitrary
Module Contents
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
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 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 <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>
val Codepoint.isBmpCodePoint: Boolean
fun Arb.Companion.katakana(): Arb<Codepoint>
kotlin.ranges.ClosedRange
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>>
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>
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>>
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>
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 <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>>
@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
package io.kotest.property.internal
Module Contents
fun PropertyContext.checkMaxSuccess(config: PropTestConfig, seed: Long): Unit
class Counter
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>
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?>