org.specs2.scalacheck

ScalaCheckFunction4

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
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: AnyRef): Boolean

    Definition Classes
    AnyRef
  2. final def !=(arg0: Any): Boolean

    Definition Classes
    Any
  3. final def ##(): Int

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

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

    Definition Classes
    Any
  6. def after(action: ⇒ Any): SelfType

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

  8. val argInstances2: ScalaCheckArgInstances[T2]

  9. val argInstances3: ScalaCheckArgInstances[T3]

  10. val argInstances4: ScalaCheckArgInstances[T4]

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

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

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

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

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

    Definition Classes
    ScalaCheckFunction
  16. def clone(): AnyRef

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

  18. def collect2: SelfType

  19. def collect3: SelfType

  20. def collect4: SelfType

  21. def collectAll: SelfType

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

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

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

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

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

  27. val context: Option[Context]

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

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

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

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

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

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

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

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

    Definition Classes
    AnyRef
  36. def noShrink: SelfType

  37. final def notify(): Unit

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

    Definition Classes
    AnyRef
  39. val parameters: Parameters

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

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

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

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

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

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

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

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

  48. lazy val prop: Prop

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

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

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

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

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

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

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

  56. def setContext(context: Context): SelfType

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

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

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

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

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

  62. def setParameters(ps: Parameters): SelfType

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

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

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

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

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

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

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

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

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

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

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

  74. def setVerbosity(v: Int): SelfType

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

    Definition Classes
    AnyRef
  76. def verbose: SelfType

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

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

    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  79. 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