arrow-core-test/arrow.core.test/UnitSpec

UnitSpec

abstract class UnitSpec( val iterations: Int = 250, val maxDepth: Int = 15, spec: UnitSpec.() -> Unit = {})

Base class for unit tests

Constructors

UnitSpec

fun UnitSpec(spec: UnitSpec.() -> Unit)

UnitSpec

fun UnitSpec( iterations: Int = 250, maxDepth: Int = 15, spec: UnitSpec.() -> Unit = {})

Functions

array

@JvmOverloads

inline fun <A> <ERROR CLASS>.array(gen: <ERROR CLASS><A>, range: IntRange = 0..maxDepth): <ERROR CLASS><Array<A>>

checkAll

suspend fun checkAll(property: suspend <ERROR CLASS>.() -> Unit): <ERROR CLASS>

suspend fun <A> checkAll(genA: <ERROR CLASS><A>, property: suspend <ERROR CLASS>.(A) -> Unit): <ERROR CLASS>

suspend fun <A, B> checkAll( genA: <ERROR CLASS><A>, genB: <ERROR CLASS>, property: suspend <ERROR CLASS>.(A, B) -> Unit): <ERROR CLASS>

suspend fun <A, B, C> checkAll( genA: <ERROR CLASS><A>, genB: <ERROR CLASS>, genC: <ERROR CLASS><C>, property: suspend <ERROR CLASS>.(A, B, C) -> Unit): <ERROR CLASS>

suspend fun <A, B, C, D> checkAll( genA: <ERROR CLASS><A>, genB: <ERROR CLASS>, genC: <ERROR CLASS><C>, genD: <ERROR CLASS><D>, property: suspend <ERROR CLASS>.(A, B, C, D) -> Unit): <ERROR CLASS>

suspend fun <A, B, C, D, E> checkAll( genA: <ERROR CLASS><A>, genB: <ERROR CLASS>, genC: <ERROR CLASS><C>, genD: <ERROR CLASS><D>, genE: <ERROR CLASS><E>, property: suspend <ERROR CLASS>.(A, B, C, D, E) -> Unit): <ERROR CLASS>

suspend fun <A, B, C, D, E, F> checkAll( genA: <ERROR CLASS><A>, genB: <ERROR CLASS>, genC: <ERROR CLASS><C>, genD: <ERROR CLASS><D>, genE: <ERROR CLASS><E>, genF: <ERROR CLASS><F>, property: suspend <ERROR CLASS>.(A, B, C, D, E, F) -> Unit): <ERROR CLASS>

suspend fun <A, B, C, D, E, F, G> checkAll( gena: <ERROR CLASS><A>, genb: <ERROR CLASS>, genc: <ERROR CLASS><C>, gend: <ERROR CLASS><D>, gene: <ERROR CLASS><E>, genf: <ERROR CLASS><F>, geng: <ERROR CLASS><G>, fn: suspend <ERROR CLASS>.(A, B, C, D, E, F, G) -> Unit)

suspend fun <A, B, C, D, E, F, G, H> checkAll( gena: <ERROR CLASS><A>, genb: <ERROR CLASS>, genc: <ERROR CLASS><C>, gend: <ERROR CLASS><D>, gene: <ERROR CLASS><E>, genf: <ERROR CLASS><F>, geng: <ERROR CLASS><G>, genh: <ERROR CLASS><H>, fn: suspend <ERROR CLASS>.(A, B, C, D, E, F, G, H) -> Unit)

suspend fun <A, B, C, D, E, F, G, H, I> checkAll( gena: <ERROR CLASS><A>, genb: <ERROR CLASS>, genc: <ERROR CLASS><C>, gend: <ERROR CLASS><D>, gene: <ERROR CLASS><E>, genf: <ERROR CLASS><F>, geng: <ERROR CLASS><G>, genh: <ERROR CLASS><H>, geni: <ERROR CLASS>, fn: suspend <ERROR CLASS>.(A, B, C, D, E, F, G, H, I) -> Unit)

suspend fun <A, B, C, D, E, F, G, H, I, J> checkAll( gena: <ERROR CLASS><A>, genb: <ERROR CLASS>, genc: <ERROR CLASS><C>, gend: <ERROR CLASS><D>, gene: <ERROR CLASS><E>, genf: <ERROR CLASS><F>, geng: <ERROR CLASS><G>, genh: <ERROR CLASS><H>, geni: <ERROR CLASS>, genj: <ERROR CLASS><J>, fn: suspend <ERROR CLASS>.(A, B, C, D, E, F, G, H, I, J) -> Unit)

forFew

suspend fun forFew(iterations: Int, property: suspend <ERROR CLASS>.(Unit) -> Unit): <ERROR CLASS>

list

fun <A> <ERROR CLASS>.list(gen: <ERROR CLASS><A>, range: IntRange = 0..maxDepth): <ERROR CLASS><List<A>>

map

fun <K, V> <ERROR CLASS>.map( keyArb: <ERROR CLASS><K>, valueArb: <ERROR CLASS><V>, minSize: Int = 1, maxSize: Int = 15): <ERROR CLASS><Map<K, V>>

nonEmptyList

fun <A> <ERROR CLASS>.nonEmptyList(arb: <ERROR CLASS><A>, depth: Int = maxDepth): <ERROR CLASS><<ERROR CLASS><A>>

sequence

fun <A> <ERROR CLASS>.sequence(arbA: <ERROR CLASS><A>, range: IntRange = 0..maxDepth): <ERROR CLASS><Sequence<A>>

testLaws

fun testLaws(vararg laws: List<Law>)

fun testLaws(prefix: String, vararg laws: List<Law>)

Properties

iterations

val iterations: Int = 250

maxDepth

val maxDepth: Int = 15