Law1Right

zio.test.laws.ZLaws2.Law1Right
abstract class Law1Right[-CapsBoth[_, _], -CapsLeft[_], -CapsRight[_]](label: String) extends ZLaws2[CapsBoth, CapsLeft, CapsRight, Any]

Attributes

Source
ZLaws2.scala
Graph
Supertypes
class ZLaws2[CapsBoth, CapsLeft, CapsRight, Any]
class Object
trait Matchable
class Any
Self type
Law1Right[CapsBoth, CapsLeft, CapsRight]

Members list

Value members

Abstract methods

def apply[A : CapsLeft, B : CapsRight](b1: B)(implicit evidence$1: CapsLeft[A], evidence$2: CapsRight[B], CapsBoth: CapsBoth[A, B]): TestResult

Attributes

Source
ZLaws2.scala

Concrete methods

final def run[R, A : CapsLeft, B : CapsRight](a: Gen[R, A], b: Gen[R, B])(implicit evidence$1: CapsLeft[A], evidence$2: CapsRight[B], CapsBoth: CapsBoth[A, B], trace: Trace): URIO[R, TestResult]

Attributes

Source
ZLaws2.scala

Inherited methods

def +[CapsBoth1 <: (CapsBoth), CapsLeft1 <: (CapsLeft), CapsRight1 <: (CapsRight), R1](that: ZLaws2[CapsBoth1, CapsLeft1, CapsRight1, R1]): ZLaws2[CapsBoth1, CapsLeft1, CapsRight1, R1]

Attributes

Inherited from:
ZLaws2
Source
ZLaws2.scala