Laws2

zio.test.laws.`package`.Laws2
object Laws2

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type
Laws2.type

Members list

Type members

Types

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