ZLawful2

trait ZLawful2[-CapsBoth[_, _], -CapsLeft[_], -CapsRight[_], -R]
class Object
trait Matchable
class Any
ZLawful2[CapsBoth, CapsLeft, CapsRight, R]

Value members

Abstract methods

def laws: ZLaws2[CapsBoth, CapsLeft, CapsRight, R]

Concrete methods

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