zio-test/zio.test.laws/LawsF2

LawsF2

object LawsF2
class Object
trait Matchable
class Any
LawsF2.type

Type members

Classlikes

object Divariant

Types

type Divariant[-CapsBoth[_[_, _]], -CapsLeft[_], -CapsRight[_]] = Divariant[CapsBoth, CapsLeft, CapsRight, Any]