package scalacheck
- Alphabetic
- Public
- All
Type Members
-
trait
AsResultProp extends ScalaCheckPropertyCheck with AsResultPropLowImplicits
Implicits to convert Prop to AsResult and AsResult to Prop
- trait AsResultPropLowImplicits extends ScalaCheckPropertyCheck with ScalaCheckParameters
-
trait
GenInstances extends AnyRef
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.
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 = Test.Parameters.default.minSize, maxDiscardRatio: Float = ..., maxSize: Int = Test.Parameters.default.maxSize, workers: Int = Test.Parameters.default.workers, testCallback: TestCallback = ..., loader: Option[ClassLoader] = ..., 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.
- case class ScalaCheckArgInstances[T](arbitrary: Arbitrary[T], shrink: Option[Shrink[T]], collectors: List[(T) ⇒ Any], pretty: (T) ⇒ Pretty) extends Product with Serializable
-
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 with Product with Serializable
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- trait ScalaCheckParameters extends AnyRef
- case class ScalaCheckProp(prop: Prop, parameters: Parameters, prettyFreqMap: (FreqMap[Set[Any]]) ⇒ Pretty) extends ScalaCheckProperty with Product with Serializable
-
trait
ScalaCheckProperty extends AnyRef
A ScalaCheckProperty encapsulates a ScalaCheck Prop and its parameters
- trait ScalaCheckPropertyCheck extends ExpectationsCreation
- trait ScalaCheckPropertyCreation extends AnyRef
- trait ScalaCheckPropertyDsl extends FragmentsFactory with AsResultProp
Value Members
- object AsResultProp extends AsResultProp
- object Parameters extends Serializable
- 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.
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] }
- object ScalaCheckProperty
- object ScalaCheckPropertyCreation