ZLaws2

zio.test.laws.ZLaws2
See theZLaws2 companion object
abstract class ZLaws2[-CapsBoth[_, _], -CapsLeft[_], -CapsRight[_], -R]

Attributes

Companion
object
Source
ZLaws2.scala
Graph
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class Law1Left[CapsBoth, CapsLeft, CapsRight]
class Law1Right[CapsBoth, CapsLeft, CapsRight]
Self type
ZLaws2[CapsBoth, CapsLeft, CapsRight, R]

Members list

Value members

Abstract methods

def run[R1 <: R, A : CapsLeft, B : CapsRight](left: Gen[R1, A], right: Gen[R1, B])(implicit evidence$1: CapsLeft[A], evidence$2: CapsRight[B], CapsBoth: CapsBoth[A, B], trace: Trace): ZIO[R1, Nothing, TestResult]

Attributes

Source
ZLaws2.scala

Concrete methods

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

Attributes

Source
ZLaws2.scala