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