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.
ZLaws[Caps, R]
represents a set of laws that values with capabilitiesCaps
are expected to satisfy. Laws can be run by providing a generator of values of a typeA
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.