zio.test.laws.ZLaws
See theZLaws companion object
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.
Attributes
- Companion:
- object
- Graph
- Supertypes
- Known subtypes
- Self type