Law1Right
Value members
Abstract methods
def apply[A : CapsLeft, B : CapsRight](b1: B)(implicit evidence$9: CapsLeft[A], evidence$10: CapsRight[B], CapsBoth: CapsBoth[A, B]): TestResult
Concrete methods
final def run[R <: TestConfig, A : CapsLeft, B : CapsRight](a: Gen[R, A], b: Gen[R, B])(implicit evidence$11: CapsLeft[A], evidence$12: CapsRight[B], CapsBoth: CapsBoth[A, B], trace: Trace): URIO[R, TestResult]