zio-test/zio.test.laws/ZLawfulF

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.

class Object
trait Matchable
class Any

Type members

Classlikes

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

ZLawful for contravariant type constructors.

ZLawful for contravariant type constructors.

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

ZLawful for covariant type constructors.

ZLawful for covariant type constructors.

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

ZLawful for invariant type constructors.

ZLawful for invariant type constructors.