kotest-property-arrow

alltypes

io.kotest.property.arbitrary.Arb

fun <A, B> Arb.Companion.either(left: Gen<A>, right: Gen<B>): Arb<Either<A, B>>
fun <A> Arb.Companion.left(gen: Gen<A>): Arb<Either<A, Nothing>>
fun <reified A> Arb.Companion.nel(arbA: Arb<A>, range: IntRange = 1..100): Arb<NonEmptyList<A>>
fun <A> Arb.Companion.option(gen: Gen<A>): Arb<Option<A>>
fun <B> Arb.Companion.right(gen: Gen<B>): Arb<Either<Nothing, B>>
fun <A> Arb.Companion.some(gen: Gen<A>): Arb<Option<A>>

io.kotest.property.exhaustive.Exhaustive

fun <A> Exhaustive.Companion.option(a: A): Exhaustive<Option<A>>

package io.kotest.property.arrow

io.kotest.property.arbitrary.Arb

fun <A, B> Arb.Companion.either(left: Gen<A>, right: Gen<B>): Arb<Either<A, B>>
fun <A> Arb.Companion.left(gen: Gen<A>): Arb<Either<A, Nothing>>
fun <reified A> Arb.Companion.nel(arbA: Arb<A>, range: IntRange = 1..100): Arb<NonEmptyList<A>>
fun <A> Arb.Companion.option(gen: Gen<A>): Arb<Option<A>>
fun <B> Arb.Companion.right(gen: Gen<B>): Arb<Either<Nothing, B>>
fun <A> Arb.Companion.some(gen: Gen<A>): Arb<Option<A>>

io.kotest.property.exhaustive.Exhaustive

fun <A> Exhaustive.Companion.option(a: A): Exhaustive<Option<A>>