Law1Left
Value members
Abstract methods
def apply[A : CapsLeft, B : CapsRight](a1: A)(implicit evidence$5: CapsLeft[A], evidence$6: 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$7: CapsLeft[A], evidence$8: CapsRight[B], CapsBoth: CapsBoth[A, B], trace: Trace): URIO[R, TestResult]