Packages

t

zio.test

CheckVariants

trait CheckVariants extends AnyRef

Linear Supertypes
AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. CheckVariants
  2. AnyRef
  3. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

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 check[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) ⇒ TestResult): ZIO[R, Nothing, TestResult]

    A version of check that accepts four random variables.

  6. final def check[R, A, B, C](rv1: Gen[R, A], rv2: Gen[R, B], rv3: Gen[R, C])(test: (A, B, C) ⇒ TestResult): ZIO[R, Nothing, TestResult]

    A version of check that accepts three random variables.

  7. final def check[R, A, B](rv1: Gen[R, A], rv2: Gen[R, B])(test: (A, B) ⇒ TestResult): ZIO[R, Nothing, TestResult]

    A version of check that accepts two random variables.

  8. final def check[R, A](rv: Gen[R, A])(test: (A) ⇒ TestResult): ZIO[R, Nothing, TestResult]

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

  9. final def checkAll[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) ⇒ TestResult): ZIO[R, Nothing, TestResult]

    A version of checkAll that accepts four random variables.

  10. final def checkAll[R, A, B, C](rv1: Gen[R, A], rv2: Gen[R, B], rv3: Gen[R, C])(test: (A, B, C) ⇒ TestResult): ZIO[R, Nothing, TestResult]

    A version of checkAll that accepts three random variables.

  11. final def checkAll[R, A, B](rv1: Gen[R, A], rv2: Gen[R, B])(test: (A, B) ⇒ TestResult): ZIO[R, Nothing, TestResult]

    A version of checkAll that accepts two random variables.

  12. final def checkAll[R, A](rv: Gen[R, A])(test: (A) ⇒ TestResult): ZIO[R, Nothing, TestResult]

    Checks the test passes for all values from the given random variable.

    Checks the 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.

  13. final def checkAllM[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) ⇒ ZIO[R, Nothing, TestResult]): ZIO[R, Nothing, TestResult]

    A version of checkAllM that accepts four random variables.

  14. final def checkAllM[R, A, B, C](rv1: Gen[R, A], rv2: Gen[R, B], rv3: Gen[R, C])(test: (A, B, C) ⇒ ZIO[R, Nothing, TestResult]): ZIO[R, Nothing, TestResult]

    A version of checkAllM that accepts three random variables.

  15. final def checkAllM[R, A, B](rv1: Gen[R, A], rv2: Gen[R, B])(test: (A, B) ⇒ ZIO[R, Nothing, TestResult]): ZIO[R, Nothing, TestResult]

    A version of checkAllM that accepts two random variables.

  16. final def checkAllM[R, A](rv: Gen[R, A])(test: (A) ⇒ ZIO[R, Nothing, TestResult]): ZIO[R, Nothing, 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.

  17. final def checkM[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) ⇒ ZIO[R, Nothing, TestResult]): ZIO[R, Nothing, TestResult]

    A version of checkM that accepts four random variables.

  18. final def checkM[R, A, B, C](rv1: Gen[R, A], rv2: Gen[R, B], rv3: Gen[R, C])(test: (A, B, C) ⇒ ZIO[R, Nothing, TestResult]): ZIO[R, Nothing, TestResult]

    A version of checkM that accepts three random variables.

  19. final def checkM[R, A, B](rv1: Gen[R, A], rv2: Gen[R, B])(test: (A, B) ⇒ ZIO[R, Nothing, TestResult]): ZIO[R, Nothing, TestResult]

    A version of checkM that accepts two random variables.

  20. final def checkM[R, A](rv: Gen[R, A])(test: (A) ⇒ ZIO[R, Nothing, TestResult]): ZIO[R, Nothing, TestResult]

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

  21. final def checkSome[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) ⇒ TestResult): ZIO[R, Nothing, TestResult]

    A version of checkSome that accepts four random variables.

  22. final def checkSome[R, A, B, C](rv1: Gen[R, A], rv2: Gen[R, B], rv3: Gen[R, C])(n: Int)(test: (A, B, C) ⇒ TestResult): ZIO[R, Nothing, TestResult]

    A version of checkSome that accepts three random variables.

  23. final def checkSome[R, A, B](rv1: Gen[R, A], rv2: Gen[R, B])(n: Int)(test: (A, B) ⇒ TestResult): ZIO[R, Nothing, TestResult]

    A version of checkSome that accepts two random variables.

  24. final def checkSome[R, A](rv: Gen[R, A])(n: Int)(test: (A) ⇒ TestResult): ZIO[R, Nothing, TestResult]

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

  25. final def checkSomeM[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) ⇒ ZIO[R, Nothing, TestResult]): ZIO[R, Nothing, TestResult]

    A version of checkSomeM that accepts four random variables.

  26. final def checkSomeM[R, A, B, C](rv1: Gen[R, A], rv2: Gen[R, B], rv3: Gen[R, C])(n: Int)(test: (A, B, C) ⇒ ZIO[R, Nothing, TestResult]): ZIO[R, Nothing, TestResult]

    A version of checkSomeM that accepts three random variables.

  27. final def checkSomeM[R, A, B](rv1: Gen[R, A], rv2: Gen[R, B])(n: Int)(test: (A, B) ⇒ ZIO[R, Nothing, TestResult]): ZIO[R, Nothing, TestResult]

    A version of checkSomeM that accepts two random variables.

  28. final def checkSomeM[R, A](rv: Gen[R, A])(n: Int)(test: (A) ⇒ ZIO[R, Nothing, TestResult]): ZIO[R, Nothing, TestResult]

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

  29. def clone(): AnyRef
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()
  30. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  31. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  32. def finalize(): Unit
    Attributes
    protected[lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  33. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  34. def hashCode(): Int
    Definition Classes
    AnyRef → Any
    Annotations
    @native()
  35. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  36. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  37. final def notify(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  38. final def notifyAll(): Unit
    Definition Classes
    AnyRef
    Annotations
    @native()
  39. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  40. def toString(): String
    Definition Classes
    AnyRef → Any
  41. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  42. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  43. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... ) @native()

Inherited from AnyRef

Inherited from Any

Ungrouped