org.specs2

scalacheck

package scalacheck

Visibility
  1. Public
  2. All

Type Members

  1. trait AsResultProp extends ScalaCheckPropertyCheck with ScalaCheckParameters with AsResultPropLowImplicits

    Implicits to convert Prop to AsResult and AsResult to Prop

  2. trait AsResultPropLowImplicits extends ScalaCheckPropertyCheck

  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 = ..., minSize: Int = Test.Parameters.default.minSize, maxDiscardRatio: Float = ..., maxSize: Int = Test.Parameters.default.maxSize, workers: Int = Test.Parameters.default.workers, rng: Random = Test.Parameters.default.rng, testCallback: TestCallback = ..., loader: Option[ClassLoader] = ..., prettyParams: Params = Pretty.defaultParams) extends Product with Serializable

    This class encapsulates ScalaCheck parameters + any additional parameters

  6. case class ScalaCheckArgInstances[T](arbitrary: Arbitrary[T], shrink: Option[Shrink[T]], collector: Option[(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]], collector: Option[(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 AnyRef

Value Members

  1. object AsResultProp extends AsResultProp

  2. object PrettyDetails

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

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

  4. object ScalaCheckProperty

  5. object ScalaCheckPropertyCreation

Ungrouped