Divariant

zio.test.laws.ZLawfulF2$.Divariant
trait Divariant[-CapsBoth[_[_, _]], -CapsLeft[_], -CapsRight[_], -R]

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Divariant[CapsBoth, CapsLeft, CapsRight, R]

Members list

Concise view

Value members

Abstract methods

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

Concrete methods

def +[CapsBoth1 <: ([x[_, _]] =>> CapsBoth[x]), CapsLeft1 <: (CapsLeft), CapsRight1 <: (CapsRight), R1 <: R](that: Divariant[CapsBoth1, CapsLeft1, CapsRight1, R1]): Divariant[CapsBoth1, CapsLeft1, CapsRight1, R1]