org.specs2.scalacheck

ScalaCheckFunction4

Related Doc: package scalacheck

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

Linear Supertypes
Serializable, Serializable, Product, Equals, ScalaCheckFunction, ScalaCheckProperty, AnyRef, Any
Ordering
  1. Alphabetic
  2. By inheritance
Inherited
  1. ScalaCheckFunction4
  2. Serializable
  3. Serializable
  4. Product
  5. Equals
  6. ScalaCheckFunction
  7. ScalaCheckProperty
  8. AnyRef
  9. Any
  1. Hide All
  2. Show all
Learn more about member selection
Visibility
  1. Public
  2. All

Instance Constructors

  1. new ScalaCheckFunction4(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)

Type Members

  1. type SelfType = ScalaCheckFunction4[T1, T2, T3, T4, R]

Value Members

  1. final def !=(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any
  2. final def ##(): Int

    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean

    Definition Classes
    AnyRef → Any
  4. def after(action: ⇒ Any): SelfType

    Definition Classes
    ScalaCheckFunction
  5. val argInstances1: ScalaCheckArgInstances[T1]

  6. val argInstances2: ScalaCheckArgInstances[T2]

  7. val argInstances3: ScalaCheckArgInstances[T3]

  8. val argInstances4: ScalaCheckArgInstances[T4]

  9. def around(action: (Result) ⇒ Result): SelfType

    Definition Classes
    ScalaCheckFunction
  10. final def asInstanceOf[T0]: T0

    Definition Classes
    Any
  11. val asResult: AsResult[R]

  12. def before(action: ⇒ Any): SelfType

    Definition Classes
    ScalaCheckFunction
  13. def beforeAfter(beforeAction: ⇒ Any, afterAction: ⇒ Any): SelfType

    Definition Classes
    ScalaCheckFunction
  14. def clone(): AnyRef

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  15. def collect1: SelfType

  16. def collect2: SelfType

  17. def collect3: SelfType

  18. def collect4: SelfType

  19. def collectAll: SelfType

  20. def collectAllArgs(f1: (T1) ⇒ Any, f2: (T2) ⇒ Any, f3: (T3) ⇒ Any, f4: (T4) ⇒ Any): SelfType

  21. def collectArg1(f: (T1) ⇒ Any): SelfType

  22. def collectArg2(f: (T2) ⇒ Any): SelfType

  23. def collectArg3(f: (T3) ⇒ Any): SelfType

  24. def collectArg4(f: (T4) ⇒ Any): SelfType

  25. val context: Option[Context]

  26. def display(minTestsOk: Int = parameters.minTestsOk, minSize: Int = parameters.minSize, maxDiscardRatio: Float = parameters.maxDiscardRatio, maxSize: Int = parameters.maxSize, workers: Int = parameters.workers, rng: Random = parameters.rng, callback: TestCallback = parameters.testCallback, loader: Option[ClassLoader] = parameters.loader): SelfType

    Definition Classes
    ScalaCheckProperty
  27. final def eq(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  28. val execute: (T1, T2, T3, T4) ⇒ R

  29. def executeInContext[R](result: ⇒ R)(implicit arg0: AsResult[R]): Prop

    Attributes
    protected
    Definition Classes
    ScalaCheckFunction
  30. def finalize(): Unit

    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  31. final def getClass(): Class[_]

    Definition Classes
    AnyRef → Any
  32. final def isInstanceOf[T0]: Boolean

    Definition Classes
    Any
  33. final def ne(arg0: AnyRef): Boolean

    Definition Classes
    AnyRef
  34. def noShrink: SelfType

  35. final def notify(): Unit

    Definition Classes
    AnyRef
  36. final def notifyAll(): Unit

    Definition Classes
    AnyRef
  37. val parameters: Parameters

  38. def prepare(action: (T1, T2, T3, T4) ⇒ (T1, T2, T3, T4)): SelfType

  39. def pretties(p1: (T1) ⇒ String, p2: (T2) ⇒ String, p3: (T3) ⇒ String, p4: (T4) ⇒ String): SelfType

  40. def pretty1(p1: (T1) ⇒ String): SelfType

  41. def pretty2(p2: (T2) ⇒ String): SelfType

  42. def pretty3(p3: (T3) ⇒ String): SelfType

  43. def pretty4(p4: (T4) ⇒ String): SelfType

  44. def prettyFreqMap(f: (FreqMap[Set[Any]]) ⇒ String): SelfType

    Definition Classes
    ScalaCheckProperty
  45. val prettyFreqMap: (FreqMap[Set[Any]]) ⇒ Pretty

  46. lazy val prop: Prop

  47. lazy val propFunction: (T1, T2, T3, T4) ⇒ Prop

  48. def set(minTestsOk: Int = parameters.minTestsOk, minSize: Int = parameters.minSize, maxDiscardRatio: Float = parameters.maxDiscardRatio, maxSize: Int = parameters.maxSize, workers: Int = parameters.workers, rng: Random = parameters.rng, callback: TestCallback = parameters.testCallback, loader: Option[ClassLoader] = parameters.loader): SelfType

    Definition Classes
    ScalaCheckProperty
  49. def setArbitraries(a1: Arbitrary[T1], a2: Arbitrary[T2], a3: Arbitrary[T3], a4: Arbitrary[T4]): SelfType

  50. def setArbitrary1(a1: Arbitrary[T1]): SelfType

  51. def setArbitrary2(a2: Arbitrary[T2]): SelfType

  52. def setArbitrary3(a3: Arbitrary[T3]): SelfType

  53. def setArbitrary4(a4: Arbitrary[T4]): SelfType

  54. def setContext(context: Context): SelfType

  55. def setGen1(g1: Gen[T1]): SelfType

  56. def setGen2(g2: Gen[T2]): SelfType

  57. def setGen3(g3: Gen[T3]): SelfType

  58. def setGen4(g4: Gen[T4]): SelfType

  59. def setGens(g1: Gen[T1], g2: Gen[T2], g3: Gen[T3], g4: Gen[T4]): SelfType

  60. def setParameters(ps: Parameters): SelfType

  61. def setPretties(p1: (T1) ⇒ Pretty, p2: (T2) ⇒ Pretty, p3: (T3) ⇒ Pretty, p4: (T4) ⇒ Pretty): SelfType

  62. def setPretty1(p1: (T1) ⇒ Pretty): SelfType

  63. def setPretty2(p2: (T2) ⇒ Pretty): SelfType

  64. def setPretty3(p3: (T3) ⇒ Pretty): SelfType

  65. def setPretty4(p4: (T4) ⇒ Pretty): SelfType

  66. def setPrettyFreqMap(f: (FreqMap[Set[Any]]) ⇒ Pretty): SelfType

  67. def setShrink1(s1: Shrink[T1]): SelfType

  68. def setShrink2(s2: Shrink[T2]): SelfType

  69. def setShrink3(s3: Shrink[T3]): SelfType

  70. def setShrink4(s4: Shrink[T4]): SelfType

  71. def setShrinks(s1: Shrink[T1], s2: Shrink[T2], s3: Shrink[T3], s4: Shrink[T4]): SelfType

  72. def setVerbosity(v: Int): SelfType

    Definition Classes
    ScalaCheckProperty
  73. final def synchronized[T0](arg0: ⇒ T0): T0

    Definition Classes
    AnyRef
  74. def verbose: SelfType

    Definition Classes
    ScalaCheckProperty
  75. final def wait(): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  76. final def wait(arg0: Long, arg1: Int): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  77. final def wait(arg0: Long): Unit

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from Serializable

Inherited from Serializable

Inherited from Product

Inherited from Equals

Inherited from ScalaCheckFunction

Inherited from ScalaCheckProperty

Inherited from AnyRef

Inherited from Any

Ungrouped