zio-test/zio.test.laws/Laws2

Laws2

object Laws2
class Object
trait Matchable
class Any
Laws2.type

Type members

Types

type Law1Left[-CapsBoth[_, _], -CapsLeft[_], -CapsRight[_]] = Law1Left[CapsBoth, CapsLeft, CapsRight]
type Law1Right[-CapsBoth[_, _], -CapsLeft[_], -CapsRight[_]] = Law1Right[CapsBoth, CapsLeft, CapsRight]