A law is a requirement expressed in the form of an assertion function
augmented with explanatory information. As generalized, laws take no
parameters, but are rather designed to be used where required parameters
are in scope. Commonly, this will be a class that takes implicit generators
for any required parameters.
A law is a requirement expressed in the form of an assertion function augmented with explanatory information. As generalized, laws take no parameters, but are rather designed to be used where required parameters are in scope. Commonly, this will be a class that takes implicit generators for any required parameters.