Implicits to convert Prop to AsResult and AsResult to Prop
Scalaz instances for the Gen datatype
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 encapsulates ScalaCheck parameters + any additional parameters
A ScalaCheckFunction adds the possibility to select various typeclass instances for a given property:
A ScalaCheckFunction adds the possibility to select various typeclass instances for a given property:
A Context can be added to setup/teardown state before/after/around each property execution
A ScalaCheckProperty encapsulates a ScalaCheck Prop and its parameters
This object can be used to create Pretty instances for case class Where string attributes are being quoted for easier copy/pasting from the console when it is needed to replay a failing example.
This object can be used to create Pretty instances for case class Where string attributes are being quoted for easier copy/pasting from the console when it is needed to replay a failing example. Usage:
case class MyInt(i: Int, s: String = "hey")
object MyInt { implicit def ArbInt: Arbitrary[MyInt] = Arbitrary(Gen.const(MyInt(1))) implicit def pretty: MyInt => Pretty = PrettyProduct[MyInt] }
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