specs2-scalacheck
API
Generated with
specs2-scalacheck/org.specs2/org.specs2.scalacheck

org.specs2.scalacheck

package org.specs2.scalacheck

Members list

Type members

Classlikes

trait AsResultProp extends ScalaCheckPropertyCheck, AsResultPropLowImplicits

Implicits to convert Prop to AsResult and AsResult to Prop

Implicits to convert Prop to AsResult and AsResult to Prop

Attributes

Companion
object
Supertypes
trait ExpectationsCreation
trait ResultChecks
trait MatchResultStackTrace
class Object
trait Matchable
class Any
Show all
Known subtypes
object AsResultProp.type
trait ScalaCheck
object AsResultProp extends AsResultProp

Attributes

Companion
trait
Supertypes
trait AsResultProp
trait ExpectationsCreation
trait ResultChecks
trait MatchResultStackTrace
class Object
trait Matchable
class Any
Show all
Self type
trait AsResultPropLowImplicits extends ScalaCheckPropertyCheck, ScalaCheckParameters

Attributes

Supertypes
trait ExpectationsCreation
trait ResultChecks
trait MatchResultStackTrace
class Object
trait Matchable
class Any
Show all
Known subtypes
trait AsResultProp
object AsResultProp.type
trait ScalaCheck
trait GenInstances

Scalaz instances for the Gen datatype

Scalaz instances for the Gen datatype

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait ScalaCheck
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

Attributes

Supertypes
trait AsResultProp
trait ExpectationsCreation
trait ResultChecks
trait MatchResultStackTrace
class Object
trait Matchable
class Any
Show all
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.

Attributes

Companion
object
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
Self type
object Parameters

Attributes

Companion
class
Supertypes
trait Product
trait Mirror
class Object
trait Matchable
class Any
Self type
Parameters.type
object PrettyDetails

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
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 { given Arbitrary[MyInt] = Arbitrary(Gen.const(MyInt(1))) given MyInt => Pretty = PrettyProduct[MyInt] }

Attributes

Supertypes
class Object
trait Matchable
class Any
Self type
case class ScalaCheckArgInstances[T](arbitrary: Arbitrary[T], shrink: Option[Shrink[T]], collectors: List[T => Any], pretty: T => Pretty)

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
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)

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
class ScalaCheckFunction1[T, R]
class ScalaCheckFunction2[T1, T2, R]
class ScalaCheckFunction3[T1, T2, T3, R]
class ScalaCheckFunction4[T1, T2, T3, T4, R]
class ScalaCheckFunction5[T1, T2, T3, T4, T5, R]
class ScalaCheckFunction6[T1, T2, T3, T4, T5, T6, R]
class ScalaCheckFunction7[T1, T2, T3, T4, T5, T6, T7, R]
class ScalaCheckFunction8[T1, T2, T3, T4, T5, T6, T7, T8, R]
Show all
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], parameters: Parameters) extends ScalaCheckFunction

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
case class ScalaCheckFunction2[T1, T2, R](execute: (T1, T2) => R, argInstances1: ScalaCheckArgInstances[T1], argInstances2: ScalaCheckArgInstances[T2], prettyFreqMap: FreqMap[Set[Any]] => Pretty, asResult: AsResult[R], parameters: Parameters) extends ScalaCheckFunction

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
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], parameters: Parameters) extends ScalaCheckFunction

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
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], parameters: Parameters) extends ScalaCheckFunction

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
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], parameters: Parameters) extends ScalaCheckFunction

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
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], parameters: Parameters) extends ScalaCheckFunction

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
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], parameters: Parameters) extends ScalaCheckFunction

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
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], parameters: Parameters) extends ScalaCheckFunction

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
trait ScalaCheckParameters

Attributes

Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait AsResultProp
object AsResultProp.type
trait ScalaCheck
Show all
case class ScalaCheckProp(prop: Prop, parameters: Parameters, prettyFreqMap: FreqMap[Set[Any]] => Pretty) extends ScalaCheckProperty

Attributes

Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
trait ScalaCheckProperty

A ScalaCheckProperty encapsulates a ScalaCheck Prop and its parameters

A ScalaCheckProperty encapsulates a ScalaCheck Prop and its parameters

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
Known subtypes
class ScalaCheckFunction1[T, R]
class ScalaCheckFunction2[T1, T2, R]
class ScalaCheckFunction3[T1, T2, T3, R]
class ScalaCheckFunction4[T1, T2, T3, T4, R]
class ScalaCheckFunction5[T1, T2, T3, T4, T5, R]
class ScalaCheckFunction6[T1, T2, T3, T4, T5, T6, R]
class ScalaCheckFunction7[T1, T2, T3, T4, T5, T6, T7, R]
class ScalaCheckFunction8[T1, T2, T3, T4, T5, T6, T7, T8, R]
Show all
object ScalaCheckProperty

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
trait ScalaCheckPropertyCheck extends ExpectationsCreation

Attributes

Supertypes
trait ExpectationsCreation
trait ResultChecks
trait MatchResultStackTrace
class Object
trait Matchable
class Any
Show all
Known subtypes
trait AsResultProp
object AsResultProp.type
trait ScalaCheck
Show all
trait ScalaCheckPropertyCreation

Attributes

Companion
object
Supertypes
class Object
trait Matchable
class Any
Known subtypes
trait ScalaCheck
object ScalaCheckPropertyCreation

Attributes

Companion
trait
Supertypes
class Object
trait Matchable
class Any
Self type
trait ScalaCheckPropertyDsl extends FragmentsFactory, AsResultProp

Attributes

Supertypes
trait AsResultProp
trait ExpectationsCreation
trait ResultChecks
trait MatchResultStackTrace
trait FragmentsFactory
class Object
trait Matchable
class Any
Show all
Known subtypes
trait ScalaCheck
Generated with