LawsF2

zio.test.laws.`package`.LawsF2
object LawsF2

Attributes

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

Members list

Type members

Classlikes

object Divariant

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
Divariant.type

Types

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