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.
It contains a Map of generation parameters and indicates if the generation
must be verbose.
This trait adds some syntactic sugar to transform partial functions to properties by appending forAll
Type-class for objects having a Pretty instance
Properties creation
The ScalaCheckMatchers trait provides matchers which allow to assess properties multiple times with generated data.
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
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. With this trait we just count 1 for each result