zio-test
API
Generated with
zio-test/zio.test/zio.test.laws/ZLawsF2

ZLawsF2

zio.test.laws.ZLawsF2
object ZLawsF2

Attributes

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

Members list

Type members

Classlikes

abstract class Divariant[-CapsF[_[_, _]], -CapsLeft[_], -CapsRight[_], -R]

ZLawsF2 for Divariant type constructors.

ZLawsF2 for Divariant type constructors.

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class ComposeLaw[CapsBothF, Caps]
class Law1[CapsBothF, CapsLeft, CapsRight]
Self type
Divariant[CapsF, CapsLeft, CapsRight, R]
object Divariant

Attributes

Companion
class
Supertypes
class Object
trait Matchable
class Any
Self type
Divariant.type
Generated with