Class

org.specs2.scalacheck

ScalaCheckFunction7

Related Doc: package scalacheck

Permalink

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

Linear Supertypes
Serializable, Serializable, Product, Equals, ScalaCheckFunction, ScalaCheckProperty, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. ScalaCheckFunction7
  2. Serializable
  3. Serializable
  4. Product
  5. Equals
  6. ScalaCheckFunction
  7. ScalaCheckProperty
  8. AnyRef
  9. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Instance Constructors

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

    Permalink

Type Members

  1. type SelfType = ScalaCheckFunction7[T1, T2, T3, T4, T5, T6, T7, R]

    Permalink
    Definition Classes
    ScalaCheckFunction7 → ScalaCheckProperty

Value Members

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

    Permalink
    Definition Classes
    AnyRef → Any

  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any

  3. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any

  4. def after(action: ⇒ Any): SelfType

    Permalink
    Definition Classes
    ScalaCheckFunction

  5. val argInstances1: ScalaCheckArgInstances[T1]

    Permalink

  6. val argInstances2: ScalaCheckArgInstances[T2]

    Permalink

  7. val argInstances3: ScalaCheckArgInstances[T3]

    Permalink

  8. val argInstances4: ScalaCheckArgInstances[T4]

    Permalink

  9. val argInstances5: ScalaCheckArgInstances[T5]

    Permalink

  10. val argInstances6: ScalaCheckArgInstances[T6]

    Permalink

  11. val argInstances7: ScalaCheckArgInstances[T7]

    Permalink

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

    Permalink
    Definition Classes
    ScalaCheckFunction

  13. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any

  14. val asResult: AsResult[R]

    Permalink

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

    Permalink
    Definition Classes
    ScalaCheckFunction

  16. def beforeAfter(beforeAction: ⇒ Any, afterAction: ⇒ Any): SelfType

    Permalink
    Definition Classes
    ScalaCheckFunction

  17. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @HotSpotIntrinsicCandidate() @throws( ... )

  18. def collect1: SelfType

    Permalink

  19. def collect2: SelfType

    Permalink

  20. def collect3: SelfType

    Permalink

  21. def collect4: SelfType

    Permalink

  22. def collect5: SelfType

    Permalink

  23. def collect6: SelfType

    Permalink

  24. def collect7: SelfType

    Permalink

  25. def collectAll: SelfType

    Permalink

  26. def collectAllArgs(f1: (T1) ⇒ Any, f2: (T2) ⇒ Any, f3: (T3) ⇒ Any, f4: (T4) ⇒ Any, f5: (T5) ⇒ Any, f6: (T6) ⇒ Any, f7: (T7) ⇒ Any): SelfType

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

  31. def collectArg5(f: (T5) ⇒ Any): SelfType

    Permalink

  32. def collectArg6(f: (T6) ⇒ Any): SelfType

    Permalink

  33. def collectArg7(f: (T7) ⇒ Any): SelfType

    Permalink

  34. val context: Option[Context]

    Permalink
    Definition Classes
    ScalaCheckFunction7 → ScalaCheckFunction

  35. 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

    Permalink
    Definition Classes
    ScalaCheckProperty

  36. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef

  37. val execute: (T1, T2, T3, T4, T5, T6, T7) ⇒ R

    Permalink

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

    Permalink
    Attributes
    protected
    Definition Classes
    ScalaCheckFunction

  39. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any
    Annotations
    @HotSpotIntrinsicCandidate()

  40. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

  41. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef

  42. def noShrink: SelfType

    Permalink
    Definition Classes
    ScalaCheckFunction7 → ScalaCheckFunction

  43. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @HotSpotIntrinsicCandidate()

  44. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @HotSpotIntrinsicCandidate()

  45. val parameters: Parameters

    Permalink
    Definition Classes
    ScalaCheckFunction7 → ScalaCheckProperty

  46. def prepare(action: (T1, T2, T3, T4, T5, T6, T7) ⇒ (T1, T2, T3, T4, T5, T6, T7)): SelfType

    Permalink

  47. def pretties(p1: (T1) ⇒ String, p2: (T2) ⇒ String, p3: (T3) ⇒ String, p4: (T4) ⇒ String, p5: (T5) ⇒ String, p6: (T6) ⇒ String, p7: (T7) ⇒ String): SelfType

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

  52. def pretty5(p5: (T5) ⇒ String): SelfType

    Permalink

  53. def pretty6(p6: (T6) ⇒ String): SelfType

    Permalink

  54. def pretty7(p7: (T7) ⇒ String): SelfType

    Permalink

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

    Permalink
    Definition Classes
    ScalaCheckProperty

  56. val prettyFreqMap: (FreqMap[Set[Any]]) ⇒ Pretty

    Permalink
    Definition Classes
    ScalaCheckFunction7 → ScalaCheckProperty

  57. lazy val prop: Prop

    Permalink
    Definition Classes
    ScalaCheckFunction7 → ScalaCheckProperty

  58. lazy val propFunction: (T1, T2, T3, T4, T5, T6, T7) ⇒ Prop

    Permalink

  59. 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

    Permalink
    Definition Classes
    ScalaCheckProperty

  60. def setArbitraries(a1: Arbitrary[T1], a2: Arbitrary[T2], a3: Arbitrary[T3], a4: Arbitrary[T4], a5: Arbitrary[T5], a6: Arbitrary[T6], a7: Arbitrary[T7]): SelfType

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

  65. def setArbitrary5(a5: Arbitrary[T5]): SelfType

    Permalink

  66. def setArbitrary6(a6: Arbitrary[T6]): SelfType

    Permalink

  67. def setArbitrary7(a7: Arbitrary[T7]): SelfType

    Permalink

  68. def setContext(context: Context): SelfType

    Permalink
    Definition Classes
    ScalaCheckFunction7 → ScalaCheckFunction

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

  73. def setGen5(g5: Gen[T5]): SelfType

    Permalink

  74. def setGen6(g6: Gen[T6]): SelfType

    Permalink

  75. def setGen7(g7: Gen[T7]): SelfType

    Permalink

  76. def setGens(g1: Gen[T1], g2: Gen[T2], g3: Gen[T3], g4: Gen[T4], g5: Gen[T5], g6: Gen[T6], g7: Gen[T7]): SelfType

    Permalink

  77. def setParameters(ps: Parameters): SelfType

    Permalink
    Definition Classes
    ScalaCheckFunction7 → ScalaCheckProperty

  78. def setPretties(p1: (T1) ⇒ Pretty, p2: (T2) ⇒ Pretty, p3: (T3) ⇒ Pretty, p4: (T4) ⇒ Pretty, p5: (T5) ⇒ Pretty, p6: (T6) ⇒ Pretty, p7: (T7) ⇒ Pretty): SelfType

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

  83. def setPretty5(p5: (T5) ⇒ Pretty): SelfType

    Permalink

  84. def setPretty6(p6: (T6) ⇒ Pretty): SelfType

    Permalink

  85. def setPretty7(p7: (T7) ⇒ Pretty): SelfType

    Permalink

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

    Permalink
    Definition Classes
    ScalaCheckFunction7 → ScalaCheckProperty

  87. def setSeed(seed: String): SelfType

    Permalink
    Definition Classes
    ScalaCheckFunction7 → ScalaCheckProperty

  88. def setSeed(seed: Seed): SelfType

    Permalink
    Definition Classes
    ScalaCheckFunction7 → ScalaCheckProperty

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

  93. def setShrink5(s5: Shrink[T5]): SelfType

    Permalink

  94. def setShrink6(s6: Shrink[T6]): SelfType

    Permalink

  95. def setShrink7(s7: Shrink[T7]): SelfType

    Permalink

  96. def setShrinks(s1: Shrink[T1], s2: Shrink[T2], s3: Shrink[T3], s4: Shrink[T4], s5: Shrink[T5], s6: Shrink[T6], s7: Shrink[T7]): SelfType

    Permalink

  97. def setVerbosity(v: Int): SelfType

    Permalink
    Definition Classes
    ScalaCheckProperty

  98. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef

  99. def verbose: SelfType

    Permalink
    Definition Classes
    ScalaCheckProperty

  100. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  101. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

  102. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Deprecated Value Members

  1. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @Deprecated @deprecated @throws( classOf[java.lang.Throwable] )
    Deprecated

    (Since version ) see corresponding Javadoc for more information.

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