An arbitrary for the underlying type A
.
Equivalence for the underlying type A
.
Optional
parameters: ParameterOverridesOptional runtime fast-check
parameters.
The monoid/semigroup instance under test.
Optional suffix will be added to description()
block label.
Run the given monoid/semigroup instance through their respective typeclass law tests.