zio-test-interop-cats
API
Generated with
zio-test-interop-cats/zio.test.interop/catz/test

test

zio.test.interop.catz$.test$
object test extends CatsTestFunctions

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
test.type

Members list

Concise view

Value members

Inherited methods

final def assertF[F[_], R, A](value: F[A], assertion: Assertion[A])(implicit F: Effect[F]): RIO[R, TestResult]

Checks the assertion holds for the given effectfully-computed value.

Checks the assertion holds for the given effectfully-computed value.

Attributes

Inherited from:
CatsTestFunctions
final def checkAllF[F[_], R <: TestConfig, A, B, C, D](rv1: Gen[R, A], rv2: Gen[R, B], rv3: Gen[R, C], rv4: Gen[R, D])(test: (A, B, C, D) => F[TestResult])(implicit F: Effect[F]): RIO[R, TestResult]

A version of checkAllM that accepts four random variables.

A version of checkAllM that accepts four random variables.

Attributes

Inherited from:
CatsTestFunctions
final def checkAllF[F[_], R <: TestConfig, A, B, C](rv1: Gen[R, A], rv2: Gen[R, B], rv3: Gen[R, C])(test: (A, B, C) => F[TestResult])(implicit F: Effect[F]): RIO[R, TestResult]

A version of checkAllM that accepts three random variables.

A version of checkAllM that accepts three random variables.

Attributes

Inherited from:
CatsTestFunctions
final def checkAllF[F[_], R <: TestConfig, A, B](rv1: Gen[R, A], rv2: Gen[R, B])(test: (A, B) => F[TestResult])(implicit F: Effect[F]): RIO[R, TestResult]

A version of checkAllM that accepts two random variables.

A version of checkAllM that accepts two random variables.

Attributes

Inherited from:
CatsTestFunctions
final def checkAllF[F[_], R <: TestConfig, A](rv: Gen[R, A])(test: A => F[TestResult])(implicit F: Effect[F]): RIO[R, TestResult]

Checks the effectual test passes for all values from the given random variable. This is useful for deterministic Gen that comprehensively explore all possibilities in a given domain.

Checks the effectual test passes for all values from the given random variable. This is useful for deterministic Gen that comprehensively explore all possibilities in a given domain.

Attributes

Inherited from:
CatsTestFunctions
final def checkF[F[_], R <: TestConfig, A, B, C, D](rv1: Gen[R, A], rv2: Gen[R, B], rv3: Gen[R, C], rv4: Gen[R, D])(test: (A, B, C, D) => F[TestResult])(implicit F: Effect[F]): RIO[R, TestResult]

A version of checkM that accepts four random variables.

A version of checkM that accepts four random variables.

Attributes

Inherited from:
CatsTestFunctions
final def checkF[F[_], R <: TestConfig, A, B, C](rv1: Gen[R, A], rv2: Gen[R, B], rv3: Gen[R, C])(test: (A, B, C) => F[TestResult])(implicit F: Effect[F]): RIO[R, TestResult]

A version of checkM that accepts three random variables.

A version of checkM that accepts three random variables.

Attributes

Inherited from:
CatsTestFunctions
final def checkF[F[_], R <: TestConfig, A, B](rv1: Gen[R, A], rv2: Gen[R, B])(test: (A, B) => F[TestResult])(implicit F: Effect[F]): RIO[R, TestResult]

A version of checkM that accepts two random variables.

A version of checkM that accepts two random variables.

Attributes

Inherited from:
CatsTestFunctions
final def checkF[F[_], R <: TestConfig, A](rv: Gen[R, A])(test: A => F[TestResult])(implicit F: Effect[F]): RIO[R, TestResult]

Checks the effectual test passes for "sufficient" numbers of samples from the given random variable.

Checks the effectual test passes for "sufficient" numbers of samples from the given random variable.

Attributes

Inherited from:
CatsTestFunctions
final def checkSomeF[F[_], R <: TestConfig, A, B, C, D](rv1: Gen[R, A], rv2: Gen[R, B], rv3: Gen[R, C], rv4: Gen[R, D])(n: Int)(test: (A, B, C, D) => F[TestResult])(implicit F: Effect[F]): RIO[R, TestResult]

A version of checkSomeM that accepts four random variables.

A version of checkSomeM that accepts four random variables.

Attributes

Inherited from:
CatsTestFunctions
final def checkSomeF[F[_], R <: TestConfig, A, B, C](rv1: Gen[R, A], rv2: Gen[R, B], rv3: Gen[R, C])(n: Int)(test: (A, B, C) => F[TestResult])(implicit F: Effect[F]): RIO[R, TestResult]

A version of checkSomeM that accepts three random variables.

A version of checkSomeM that accepts three random variables.

Attributes

Inherited from:
CatsTestFunctions
final def checkSomeF[F[_], R <: TestConfig, A, B](rv1: Gen[R, A], rv2: Gen[R, B])(n: Int)(test: (A, B) => F[TestResult])(implicit F: Effect[F]): RIO[R, TestResult]

A version of checkSomeM that accepts two random variables.

A version of checkSomeM that accepts two random variables.

Attributes

Inherited from:
CatsTestFunctions
final def checkSomeF[F[_], R <: TestConfig, A](rv: Gen[R, A])(n: Int)(test: A => F[TestResult])(implicit F: Effect[F]): RIO[R, TestResult]

Checks the effectual test passes for the specified number of samples from the given random variable.

Checks the effectual test passes for the specified number of samples from the given random variable.

Attributes

Inherited from:
CatsTestFunctions
final def testF[F[_]](label: String)(assertion: F[TestResult])(implicit F: Effect[F]): ZSpec[Any, Throwable]

Builds a spec with a single effectful test.

Builds a spec with a single effectful test.

Attributes

Inherited from:
CatsTestFunctions
Generated with