kotest-assertions-arrow
Module Contents
alltypes
Module Contents
arrow.core.Either
Module Contents
fun <T> Either<T, Any?>.shouldBeLeft(): Unit
infix inline fun <A> Either<A, *>.shouldBeLeft(fn: (A) -> Unit): Unit
infix fun <A> Either<A, Any?>.shouldBeLeft(a: A): Unit
fun <reified A> Either<Any?, Any?>.shouldBeLeftOfType(): Unit
fun <T> Either<*, T>.shouldBeRight(): Unit
infix inline fun <B> Either<*, B>.shouldBeRight(fn: (B) -> Unit): Unit
infix fun <B> Either<Any?, B>.shouldBeRight(b: B): Unit
fun <T> Either<T, Any?>.shouldNotBeLeft(): Unit
infix fun <A> Either<A, Any?>.shouldNotBeLeft(a: A): Unit
fun <reified A> Either<Any?, Any?>.shouldNotBeLeftOfType(): Unit
fun <T> Either<Any?, T>.shouldNotBeRight(): Unit
infix fun <B> Either<Any?, B>.shouldNotBeRight(b: B): Unit
arrow.core.NonEmptyList
arrow.core.Option
arrow.core.Validated
Module Contents
fun Validated<*, *>.shouldBeInvalid(): Unit
infix fun <T> Validated<*, T>.shouldBeInvalid(value: T): Unit
infix fun <T> Validated<T, *>.shouldBeInvalid(fn: (Invalid<T>) -> Unit): Unit
fun Validated<*, *>.shouldBeValid(): Unit
infix fun <T> Validated<*, T>.shouldBeValid(value: T): Unit
infix fun <T> Validated<*, T>.shouldBeValid(fn: (Valid<T>) -> Unit): Unit
fun Validated<*, *>.shouldNotBeInvalid(): Unit
fun <T> Validated<*, T>.shouldNotBeInvalid(value: T): Unit
fun <T> Validated<*, T>.shouldNotBeValid(): Unit
infix fun <T> Validated<*, T>.shouldNotBeValid(value: T): Unit
arrow.typeclasses.ApplicativeError
interface EqAssertions<A>
io.kotest.properties.Gen
io.kotest.properties.Gen
io.kotest.properties.Gen
io.kotest.properties.Gen
@extension interface IOAssertions : TaglessAssertions<ForIO>
interface OrderAssertions<A> : EqAssertions<A>
interface TaglessAssertions<F>
package io.kotest.assertions.arrow
package io.kotest.assertions.arrow.either
Module Contents
arrow.core.Either
Module Contents
fun <T> Either<T, Any?>.shouldBeLeft(): Unit
infix inline fun <A> Either<A, *>.shouldBeLeft(fn: (A) -> Unit): Unit
infix fun <A> Either<A, Any?>.shouldBeLeft(a: A): Unit
fun <reified A> Either<Any?, Any?>.shouldBeLeftOfType(): Unit
fun <T> Either<*, T>.shouldBeRight(): Unit
infix inline fun <B> Either<*, B>.shouldBeRight(fn: (B) -> Unit): Unit
infix fun <B> Either<Any?, B>.shouldBeRight(b: B): Unit
fun <T> Either<T, Any?>.shouldNotBeLeft(): Unit
infix fun <A> Either<A, Any?>.shouldNotBeLeft(a: A): Unit
fun <reified A> Either<Any?, Any?>.shouldNotBeLeftOfType(): Unit
fun <T> Either<Any?, T>.shouldNotBeRight(): Unit
infix fun <B> Either<Any?, B>.shouldNotBeRight(b: B): Unit
fun <T> beLeft(): Matcher<Either<T, Any?>>
fun <A> beLeft(a: A): Matcher<Either<A, Any?>>
fun <reified A> beLeftOfType(): Matcher<Either<Any?, Any?>>
fun <T> beRight(): Matcher<Either<Any?, T>>
fun <B> beRight(b: B): Matcher<Either<Any?, B>>
io.kotest.properties.Gen
package io.kotest.assertions.arrow.eq
package io.kotest.assertions.arrow.nel
package io.kotest.assertions.arrow.option
package io.kotest.assertions.arrow.order
package io.kotest.assertions.arrow.refinements
package io.kotest.assertions.arrow.tagless
package io.kotest.assertions.arrow.validation
Module Contents
arrow.core.Validated
Module Contents
fun Validated<*, *>.shouldBeInvalid(): Unit
infix fun <T> Validated<*, T>.shouldBeInvalid(value: T): Unit
infix fun <T> Validated<T, *>.shouldBeInvalid(fn: (Invalid<T>) -> Unit): Unit
fun Validated<*, *>.shouldBeValid(): Unit
infix fun <T> Validated<*, T>.shouldBeValid(value: T): Unit
infix fun <T> Validated<*, T>.shouldBeValid(fn: (Valid<T>) -> Unit): Unit
fun Validated<*, *>.shouldNotBeInvalid(): Unit
fun <T> Validated<*, T>.shouldNotBeInvalid(value: T): Unit
fun <T> Validated<*, T>.shouldNotBeValid(): Unit
infix fun <T> Validated<*, T>.shouldNotBeValid(value: T): Unit
fun <A> beInvalid(): Matcher<Validated<*, A>>
fun <A> beInvalid(a: A): Matcher<Validated<*, A>>
fun <A> beValid(): Matcher<Validated<*, A>>
fun <A> beValid(a: A): Matcher<Validated<*, A>>
io.kotest.properties.Gen