Type Members

1.  trait AsResultProp extends ScalaCheckPropertyCheck with AsResultPropLowImplicits

   Implicits to convert Prop to AsResult and AsResult to Prop

2.  trait AsResultPropLowImplicits extends ScalaCheckPropertyCheck with ScalaCheckParameters
3.  trait GenInstances extends AnyRef

   Scalaz instances for the Gen datatype

4.  trait OneExpectationPerProp extends AsResultProp

   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 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

5.  case class Parameters(minTestsOk: Int = Test.Parameters.default.minSuccessfulTests, minSize: Int = Test.Parameters.default.minSize, maxDiscardRatio: Float = Test.Parameters.default.maxDiscardRatio, maxSize: Int = Test.Parameters.default.maxSize, workers: Int = Test.Parameters.default.workers, testCallback: TestCallback = Test.Parameters.default.testCallback, loader: Option[ClassLoader] = Test.Parameters.default.customClassLoader, prettyParams: Params = Pretty.defaultParams, seed: Option[Seed] = None) extends Product with Serializable

   This class encapsulates ScalaCheck parameters + any additional parameters

   This class encapsulates ScalaCheck parameters + any additional parameters

   Note that minTestsOk in specs2 corresponds to the minSuccessfulTests parameter in ScalaCheck.

6.  case class ScalaCheckArgInstances[T](arbitrary: Arbitrary[T], shrink: Option[Shrink[T]], collectors: List[(T) => Any], pretty: (T) => Pretty) extends Product with Serializable
7.  trait ScalaCheckFunction extends ScalaCheckProperty

   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:

   • 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)

   A Context can be added to setup/teardown state before/after/around each property execution

8.  case class ScalaCheckFunction1[T, R](execute: (T) => R, arbitrary: Arbitrary[T], shrink: Option[Shrink[T]], collectors: List[(T) => Any], pretty: (T) => Pretty, prettyFreqMap: (FreqMap[Set[Any]]) => Pretty, asResult: AsResult[R], context: Option[Context], parameters: Parameters) extends ScalaCheckFunction with Product with Serializable
9.  case class ScalaCheckFunction2[T1, T2, R](execute: (T1, T2) => R, argInstances1: ScalaCheckArgInstances[T1], argInstances2: ScalaCheckArgInstances[T2], prettyFreqMap: (FreqMap[Set[Any]]) => Pretty, asResult: AsResult[R], context: Option[Context], parameters: Parameters) extends ScalaCheckFunction with Product with Serializable
10.  case class ScalaCheckFunction3[T1, T2, T3, R](execute: (T1, T2, T3) => R, argInstances1: ScalaCheckArgInstances[T1], argInstances2: ScalaCheckArgInstances[T2], argInstances3: ScalaCheckArgInstances[T3], prettyFreqMap: (FreqMap[Set[Any]]) => Pretty, asResult: AsResult[R], context: Option[Context], parameters: Parameters) extends ScalaCheckFunction with Product with Serializable
11.  case class ScalaCheckFunction4[T1, T2, T3, T4, R](execute: (T1, T2, T3, T4) => R, argInstances1: ScalaCheckArgInstances[T1], argInstances2: ScalaCheckArgInstances[T2], argInstances3: ScalaCheckArgInstances[T3], argInstances4: ScalaCheckArgInstances[T4], prettyFreqMap: (FreqMap[Set[Any]]) => Pretty, asResult: AsResult[R], context: Option[Context], parameters: Parameters) extends ScalaCheckFunction with Product with Serializable
12.  case class ScalaCheckFunction5[T1, T2, T3, T4, T5, R](execute: (T1, T2, T3, T4, T5) => R, argInstances1: ScalaCheckArgInstances[T1], argInstances2: ScalaCheckArgInstances[T2], argInstances3: ScalaCheckArgInstances[T3], argInstances4: ScalaCheckArgInstances[T4], argInstances5: ScalaCheckArgInstances[T5], prettyFreqMap: (FreqMap[Set[Any]]) => Pretty, asResult: AsResult[R], context: Option[Context], parameters: Parameters) extends ScalaCheckFunction with Product with Serializable
13.  case class ScalaCheckFunction6[T1, T2, T3, T4, T5, T6, R](execute: (T1, T2, T3, T4, T5, T6) => R, argInstances1: ScalaCheckArgInstances[T1], argInstances2: ScalaCheckArgInstances[T2], argInstances3: ScalaCheckArgInstances[T3], argInstances4: ScalaCheckArgInstances[T4], argInstances5: ScalaCheckArgInstances[T5], argInstances6: ScalaCheckArgInstances[T6], prettyFreqMap: (FreqMap[Set[Any]]) => Pretty, asResult: AsResult[R], context: Option[Context], parameters: Parameters) extends ScalaCheckFunction with Product with Serializable
14.  case class ScalaCheckFunction7[T1, T2, T3, T4, T5, T6, T7, R](execute: (T1, T2, T3, T4, T5, T6, T7) => R, argInstances1: ScalaCheckArgInstances[T1], argInstances2: ScalaCheckArgInstances[T2], argInstances3: ScalaCheckArgInstances[T3], argInstances4: ScalaCheckArgInstances[T4], argInstances5: ScalaCheckArgInstances[T5], argInstances6: ScalaCheckArgInstances[T6], argInstances7: ScalaCheckArgInstances[T7], prettyFreqMap: (FreqMap[Set[Any]]) => Pretty, asResult: AsResult[R], context: Option[Context], parameters: Parameters) extends ScalaCheckFunction with Product with Serializable
15.  case class ScalaCheckFunction8[T1, T2, T3, T4, T5, T6, T7, T8, R](execute: (T1, T2, T3, T4, T5, T6, T7, T8) => R, argInstances1: ScalaCheckArgInstances[T1], argInstances2: ScalaCheckArgInstances[T2], argInstances3: ScalaCheckArgInstances[T3], argInstances4: ScalaCheckArgInstances[T4], argInstances5: ScalaCheckArgInstances[T5], argInstances6: ScalaCheckArgInstances[T6], argInstances7: ScalaCheckArgInstances[T7], argInstances8: ScalaCheckArgInstances[T8], prettyFreqMap: (FreqMap[Set[Any]]) => Pretty, asResult: AsResult[R], context: Option[Context], parameters: Parameters) extends ScalaCheckFunction with Product with Serializable
16.  trait ScalaCheckParameters extends AnyRef
17.  case class ScalaCheckProp(prop: Prop, parameters: Parameters, prettyFreqMap: (FreqMap[Set[Any]]) => Pretty) extends ScalaCheckProperty with Product with Serializable
18.  trait ScalaCheckProperty extends AnyRef

    A ScalaCheckProperty encapsulates a ScalaCheck Prop and its parameters

19.  trait ScalaCheckPropertyCheck extends ExpectationsCreation
20.  trait ScalaCheckPropertyCreation extends AnyRef
21.  trait ScalaCheckPropertyDsl extends FragmentsFactory with AsResultProp