This trait enables some syntactic sugar when it is necessary to pass several arbitrary instances
This trait adds some syntactic sugar to transform function to properties by appending forAll
This trait can be mixed in a Specification to avoid counting the number of times that a property was executed as the number of expectations.
This class is the base class for the display and set case classes.
This trait adds some syntactic sugar to transform partial functions to properties by appending forAll
The ScalaCheckMatchers trait provides matchers which allow to assess properties multiple times with generated data.
This trait provides generation parameters to use with the ScalaCheckMatchers