CheckN

final class CheckN(n: Int) extends AnyVal
class AnyVal
trait Matchable
class Any

Value members

Concrete methods

def apply[R <: ZAny, A, In](rv: Gen[R, A])(test: A => In)(implicit checkConstructor: CheckConstructor[R, In], trace: Trace): ZIO[OutEnvironment, OutError, TestResult]
def apply[R <: ZAny, A, B, In](rv1: Gen[R, A], rv2: Gen[R, B])(test: (A, B) => In)(implicit checkConstructor: CheckConstructor[R, In], trace: Trace): ZIO[OutEnvironment, OutError, TestResult]
def apply[R <: ZAny, A, B, C, In](rv1: Gen[R, A], rv2: Gen[R, B], rv3: Gen[R, C])(test: (A, B, C) => In)(implicit checkConstructor: CheckConstructor[R, In], trace: Trace): ZIO[OutEnvironment, OutError, TestResult]
def apply[R <: ZAny, A, B, C, D, In](rv1: Gen[R, A], rv2: Gen[R, B], rv3: Gen[R, C], rv4: Gen[R, D])(test: (A, B, C, D) => In)(implicit checkConstructor: CheckConstructor[R, In], trace: Trace): ZIO[OutEnvironment, OutError, TestResult]
def apply[R <: ZAny, A, B, C, D, F, In](rv1: Gen[R, A], rv2: Gen[R, B], rv3: Gen[R, C], rv4: Gen[R, D], rv5: Gen[R, F])(test: (A, B, C, D, F) => In)(implicit checkConstructor: CheckConstructor[R, In], trace: Trace): ZIO[OutEnvironment, OutError, TestResult]
def apply[R <: ZAny, A, B, C, D, F, G, In](rv1: Gen[R, A], rv2: Gen[R, B], rv3: Gen[R, C], rv4: Gen[R, D], rv5: Gen[R, F], rv6: Gen[R, G])(test: (A, B, C, D, F, G) => In)(implicit checkConstructor: CheckConstructor[R, In], trace: Trace): ZIO[OutEnvironment, OutError, TestResult]