zio-test/zio.test.laws/ZLaws

ZLaws

abstract class ZLaws[-Caps[_], -R]

ZLaws[Caps, R] represents a set of laws that values with capabilities Caps are expected to satisfy. Laws can be run by providing a generator of values of a type A with the required capabilities to return a test result. Laws can be combined using + to produce a set of laws that require both sets of laws to be satisfied.

Companion:
object
class Object
trait Matchable
class Any
class Law1[Caps]
class Law1ZIO[Caps, R]
class Law2[Caps]
class Law2ZIO[Caps, R]
class Law3[Caps]
class Law3ZIO[Caps, R]
ZLaws[Caps, R]

Value members

Abstract methods

def run[R1 <: R, A : Caps](gen: Gen[R1, A])(implicit evidence$1: Caps[A], trace: Trace): ZIO[R1, Nothing, TestResult]

Test that values of type A satisfy the laws using the specified generator.

Test that values of type A satisfy the laws using the specified generator.

Concrete methods

def +[Caps1 <: (Caps), R1 <: R](that: ZLaws[Caps1, R1]): ZLaws[Caps1, R1]

Combine these laws with the specified laws to produce a set of laws that require both sets of laws to be satisfied.

Combine these laws with the specified laws to produce a set of laws that require both sets of laws to be satisfied.