LawfulF2

zio.test.laws.`package`.LawfulF2
object LawfulF2

Attributes

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

Members list

Type members

Types

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