Value Members

1.  final def !=(arg0: Any): Boolean

   Definition Classes

   AnyRef → Any

2.  final def ##: Int

   Definition Classes

   AnyRef → Any

3.  final def ==(arg0: Any): Boolean

   Definition Classes

   AnyRef → Any

4.  final def asInstanceOf[T0]: T0

   Definition Classes

   Any

5.  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

6.  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.

   Definition Classes

   CatsTestFunctions

7.  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.

   Definition Classes

   CatsTestFunctions

8.  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.

   Definition Classes

   CatsTestFunctions

9.  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.

   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

10.  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.

    Definition Classes

    CatsTestFunctions

11.  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.

    Definition Classes

    CatsTestFunctions

12.  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.

    Definition Classes

    CatsTestFunctions

13.  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.

    Definition Classes

    CatsTestFunctions

14.  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.

    Definition Classes

    CatsTestFunctions

15.  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.

    Definition Classes

    CatsTestFunctions

16.  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.

    Definition Classes

    CatsTestFunctions

17.  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.

    Definition Classes

    CatsTestFunctions

18.  def clone(): AnyRef

    Attributes

    protected[lang]

    Definition Classes

    AnyRef

    Annotations

    @throws(classOf[java.lang.CloneNotSupportedException]) @native()

19.  final def eq(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

20.  def equals(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef → Any

21.  def finalize(): Unit

    Attributes

    protected[lang]

    Definition Classes

    AnyRef

    Annotations

    @throws(classOf[java.lang.Throwable])

22.  final def getClass(): Class[_ <: AnyRef]

    Definition Classes

    AnyRef → Any

    Annotations

    @native()

23.  def hashCode(): Int

    Definition Classes

    AnyRef → Any

    Annotations

    @native()

24.  final def isInstanceOf[T0]: Boolean

    Definition Classes

    Any

25.  final def ne(arg0: AnyRef): Boolean

    Definition Classes

    AnyRef

26.  final def notify(): Unit

    Definition Classes

    AnyRef

    Annotations

    @native()

27.  final def notifyAll(): Unit

    Definition Classes

    AnyRef

    Annotations

    @native()

28.  final def synchronized[T0](arg0: => T0): T0

    Definition Classes

    AnyRef

29.  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

30.  def toString(): String

    Definition Classes

    AnyRef → Any

31.  final def wait(): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws(classOf[java.lang.InterruptedException])

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

    Definition Classes

    AnyRef

    Annotations

    @throws(classOf[java.lang.InterruptedException])

33.  final def wait(arg0: Long): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws(classOf[java.lang.InterruptedException]) @native()