test

Value Members

final def !=(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def ##(): Int

Definition Classes
AnyRef → Any
final def ==(arg0: Any): Boolean

Definition Classes
AnyRef → Any
final def asInstanceOf[T0]: T0

Definition Classes
Any
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.

Definition Classes
CatsTestFunctions
final def checkAllF[F[_], R, 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.

Definition Classes
CatsTestFunctions
final def checkAllF[F[_], R, 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.

Definition Classes
CatsTestFunctions
final def checkAllF[F[_], R, 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.

Definition Classes
CatsTestFunctions
final def checkAllF[F[_], R, 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.
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.

Definition Classes
CatsTestFunctions
final def checkF[F[_], R, 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.

Definition Classes
CatsTestFunctions
final def checkF[F[_], R, 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.

Definition Classes
CatsTestFunctions
final def checkF[F[_], R, 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.

Definition Classes
CatsTestFunctions
final def checkF[F[_], R, 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.

Definition Classes
CatsTestFunctions
final def checkSomeF[F[_], R, 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.

Definition Classes
CatsTestFunctions
final def checkSomeF[F[_], R, 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.

Definition Classes
CatsTestFunctions
final def checkSomeF[F[_], R, 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.

Definition Classes
CatsTestFunctions
final def checkSomeF[F[_], R, 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.

Definition Classes
CatsTestFunctions
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def hashCode(): Int

Definition Classes
AnyRef → Any
final def isInstanceOf[T0]: Boolean

Definition Classes
Any
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
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.

Definition Classes
CatsTestFunctions
def toString(): String

Definition Classes
AnyRef → Any
final def wait(): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long, arg1: Int): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )
final def wait(arg0: Long): Unit

Definition Classes
AnyRef
Annotations
@throws( ... )

Related Doc: package catz

object test extends CatsTestFunctions

Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

final def asInstanceOf[T0]: T0

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

final def checkAllF[F[_], R, 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]

final def checkAllF[F[_], R, 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]

final def checkAllF[F[_], R, A, B](rv1: Gen[R, A], rv2: Gen[R, B])(test: (A, B) ⇒ F[TestResult])(implicit F: Effect[F]): RIO[R, TestResult]

final def checkAllF[F[_], R, A](rv: Gen[R, A])(test: (A) ⇒ F[TestResult])(implicit F: Effect[F]): RIO[R, TestResult]

final def checkF[F[_], R, 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]

final def checkF[F[_], R, 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]

final def checkF[F[_], R, A, B](rv1: Gen[R, A], rv2: Gen[R, B])(test: (A, B) ⇒ F[TestResult])(implicit F: Effect[F]): RIO[R, TestResult]

final def checkF[F[_], R, A](rv: Gen[R, A])(test: (A) ⇒ F[TestResult])(implicit F: Effect[F]): RIO[R, TestResult]

final def checkSomeF[F[_], R, 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]

final def checkSomeF[F[_], R, 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]

final def checkSomeF[F[_], R, A, B](rv1: Gen[R, A], rv2: Gen[R, B])(n: Int)(test: (A, B) ⇒ F[TestResult])(implicit F: Effect[F]): RIO[R, TestResult]

final def checkSomeF[F[_], R, A](rv: Gen[R, A])(n: Int)(test: (A) ⇒ F[TestResult])(implicit F: Effect[F]): RIO[R, TestResult]

def clone(): AnyRef

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

final def getClass(): Class[_]

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

final def synchronized[T0](arg0: ⇒ T0): T0

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

def toString(): String

final def wait(): Unit

final def wait(arg0: Long, arg1: Int): Unit

final def wait(arg0: Long): Unit

Inherited from CatsTestFunctions

Inherited from AnyRef

Inherited from Any

Ungrouped