Package

org.specs2

scalacheck

Permalink

package scalacheck

Visibility
  1. Public
  2. All

Type Members

  1. trait AsResultProp extends ScalaCheckPropertyCheck with ScalaCheckParameters with AsResultPropLowImplicits

    Permalink

    Implicits to convert Prop to AsResult and AsResult to Prop

  2. trait AsResultPropLowImplicits extends ScalaCheckPropertyCheck

    Permalink
  3. trait GenInstances extends AnyRef

    Permalink

    Scalaz instances for the Gen datatype

  4. trait OneExpectationPerProp extends AsResultProp

    Permalink

    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

    Permalink

    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

    Permalink
  7. trait ScalaCheckFunction extends ScalaCheckProperty

    Permalink

    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

    Permalink
  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

    Permalink
  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

    Permalink
  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

    Permalink
  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

    Permalink
  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

    Permalink
  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

    Permalink
  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

    Permalink
  16. trait ScalaCheckParameters extends AnyRef

    Permalink
  17. case class ScalaCheckProp(prop: Prop, parameters: Parameters, prettyFreqMap: (FreqMap[Set[Any]]) ⇒ Pretty) extends ScalaCheckProperty with Product with Serializable

    Permalink
  18. trait ScalaCheckProperty extends AnyRef

    Permalink

    A ScalaCheckProperty encapsulates a ScalaCheck Prop and its parameters

  19. trait ScalaCheckPropertyCheck extends ExpectationsCreation

    Permalink
  20. trait ScalaCheckPropertyCreation extends AnyRef

    Permalink
  21. trait ScalaCheckPropertyDsl extends AnyRef

    Permalink

Value Members

  1. object AsResultProp extends AsResultProp

    Permalink
  2. object PrettyDetails

    Permalink
  3. object PrettyProduct

    Permalink

    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

    Permalink
  5. object ScalaCheckPropertyCreation

    Permalink

Ungrouped