LawsF2

zio.test.laws.package$.LawsF2$
object LawsF2

Attributes

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

Members list

Concise view

Type members

Classlikes

object Divariant

Attributes

Graph
Supertypes
class Object
trait Matchable
class Any
Self type

Types

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