ScalaCheckFunction
A ScalaCheckFunction adds the possibility to select various typeclass instances for a given property:
- Arbitrary to generate values
- Shrink to shrink counter-examples
- Show to display arguments in case of a counter-example
- Collector to collect values and provide a summary as string (to show frequencies for example)