zio-test/zio.test.laws/ZLawsF

ZLawsF

object ZLawsF

ZLaws[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. Laws can be run by providing a GenF that is capable of generating F[A] values given a generator of A values and a generator of values of some type A. Laws can be combined using + to produce a set of laws that require both sets of laws to be satisfied.

class Object
trait Matchable
class Any
ZLawsF.type

Type members

Classlikes

abstract class Contravariant[-CapsF[_[_]], -Caps[_], -R]

ZLawsF for contravariant type constructors.

ZLawsF for contravariant type constructors.

Companion:
object
object Contravariant
Companion:
class
abstract class Covariant[-CapsF[_[_]], -Caps[_], -R]

ZLawsF for covariant type constructors.

ZLawsF for covariant type constructors.

Companion:
object
object Covariant
Companion:
class
abstract class Invariant[-CapsF[_[_]], -Caps[_], -R]

ZLawsF for invariant type constructors.

ZLawsF for invariant type constructors.

Companion:
object
object Invariant
Companion:
class