A property that consumes 1 argument of type
A property is verified if no failed assertion on PropertyHelper has been reported for all the samples it consumed.
If the property did not verify, the given sample is shrunken if the generator supports shrinking. The smallest shrunken sample will then be reported to the user.
The name of the property used for reporting during execution.
- String val
Returns parameters to customize execution of this Property.
- PropertyParams val
The Generator used to produce samples to verify.
- Generator[T] box
A method verifying that a certain property holds for all given
with the help of PropertyHelper
- arg1: T
- h: PropertyHelper val
- None val ?