specs2-scalacheck/org.specs2.scalacheck

org.specs2.scalacheck

package org.specs2.scalacheck

Type members

Classlikes

trait AsResultProp extends ScalaCheckPropertyCheck with AsResultPropLowImplicits

Implicits to convert Prop to AsResult and AsResult to Prop

Implicits to convert Prop to AsResult and AsResult to Prop

Companion:
object
object AsResultProp extends AsResultProp
Companion:
class
trait AsResultPropLowImplicits extends ScalaCheckPropertyCheck with ScalaCheckParameters
trait GenInstances

Scalaz instances for the Gen datatype

Scalaz instances for the Gen datatype

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. With this trait we just count 1 for each result

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

case class Parameters(minTestsOk: Int, minSize: Int, maxDiscardRatio: Float, maxSize: Int, workers: Int, testCallback: TestCallback, loader: Option[ClassLoader], prettyParams: Params, seed: Option[Seed])

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.

Companion:
object
object Parameters
Companion:
class
object PrettyDetails
object PrettyProduct

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:

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

case class ScalaCheckArgInstances[T](arbitrary: Arbitrary[T], shrink: Option[Shrink[T]], collectors: List[T => Any], pretty: T => Pretty)
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

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
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
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
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
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
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
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
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
trait ScalaCheckParameters
case class ScalaCheckProp(prop: Prop, parameters: Parameters, prettyFreqMap: FreqMap[Set[Any]] => Pretty) extends ScalaCheckProperty
trait ScalaCheckProperty

A ScalaCheckProperty encapsulates a ScalaCheck Prop and its parameters

A ScalaCheckProperty encapsulates a ScalaCheck Prop and its parameters

Companion:
object
object ScalaCheckProperty
Companion:
class
trait ScalaCheckPropertyCheck extends ExpectationsCreation
trait ScalaCheckPropertyCreation
Companion:
object
object ScalaCheckPropertyCreation
Companion:
class
trait ScalaCheckPropertyDsl extends FragmentsFactory with AsResultProp