zio-test
API
Generated with
zio-test/zio.test/zio.test.laws/LawsF2/Divariant

Divariant

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

Attributes

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

Members list

Type members

Types

type ComposeLaw[-CapsBothF[_[_, _]], -Caps[_]] = ComposeLaw[CapsBothF, Caps]
type Law1[CapsBothF[_[_, _]], -CapsLeft[_], -CapsRight[_]] = Law1[CapsBothF, CapsLeft, CapsRight]
Generated with