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

ZLawfulF

zio.test.laws.ZLawfulF
object ZLawfulF

ZLawfulF[CapsF, Caps, R] describes a set of laws that a parameterized type F[A] with capabilities CapsF is expected to satisfy with respect to all types A that have capabilities Caps. Lawful instances can be combined using + to describe a set of capabilities and all of the laws that those capabilities are expected to satisfy.

Attributes

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

Members list

Type members

Classlikes

trait Contravariant[-CapsF[_[_]], -Caps[_], -R]

ZLawful for contravariant type constructors.

ZLawful for contravariant type constructors.

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
Contravariant[CapsF, Caps, R]
trait Covariant[-CapsF[_[_]], -Caps[_], -R]

ZLawful for covariant type constructors.

ZLawful for covariant type constructors.

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
Covariant[CapsF, Caps, R]
trait Invariant[-CapsF[_[_]], -Caps[_], -R]

ZLawful for invariant type constructors.

ZLawful for invariant type constructors.

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
Invariant[CapsF, Caps, R]
Generated with