CheckVariants

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

    

    A version of checkAllM that accepts four random variables.

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

    

    A version of checkAllM that accepts three random variables.

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

    

    A version of checkAllM that accepts two random variables.

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

    

    A version of checkM that accepts four random variables.

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

    

    A version of checkM that accepts three random variables.

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

    

    A version of checkM that accepts two random variables.

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

    

    A version of checkSomeM that accepts four random variables.

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

    

    A version of checkSomeM that accepts three random variables.

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

    

    A version of checkSomeM that accepts two random variables.

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

    

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

29. def clone(): AnyRef

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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[java.lang]

    Definition Classes

    AnyRef

    Annotations

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

33. final def getClass(): Class[_]

    

    Definition Classes

    AnyRef → Any

34. def hashCode(): Int

    

    Definition Classes

    AnyRef → Any

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

38. final def notifyAll(): Unit

    

    Definition Classes

    AnyRef

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( ... )