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.

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

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

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

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

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

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

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

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

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

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

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

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

18.  def clone(): AnyRef

    Attributes

    protected[lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( ... ) @native()

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

    Definition Classes

    AnyRef

20.  def equals(arg0: Any): 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[_]

    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.

30.  def toString(): String

    Definition Classes

    AnyRef → Any

31.  final def wait(): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    Definition Classes

    AnyRef

    Annotations

    @throws( ... ) @native()