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
    @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, rng: Random = parameters.rng, 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. def finalize(): Unit

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

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

    Permalink
    Definition Classes
    AnyRef → Any

  41. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any

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

    Permalink
    Definition Classes
    AnyRef

  43. def noShrink: SelfType

    Permalink
    Definition Classes
    ScalaCheckFunction7 → ScalaCheckFunction

  44. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef

  45. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef

  46. val parameters: Parameters

    Permalink
    Definition Classes
    ScalaCheckFunction7 → ScalaCheckProperty

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

    Permalink

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

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink
    Definition Classes
    ScalaCheckProperty

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

    Permalink
    Definition Classes
    ScalaCheckFunction7 → ScalaCheckProperty

  58. lazy val prop: Prop

    Permalink
    Definition Classes
    ScalaCheckFunction7 → ScalaCheckProperty

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

    Permalink

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

    Permalink
    Definition Classes
    ScalaCheckProperty

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

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

  69. def setContext(context: Context): SelfType

    Permalink
    Definition Classes
    ScalaCheckFunction7 → ScalaCheckFunction

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

  78. def setParameters(ps: Parameters): SelfType

    Permalink
    Definition Classes
    ScalaCheckFunction7 → ScalaCheckProperty

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

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink
    Definition Classes
    ScalaCheckFunction7 → ScalaCheckProperty

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

    Permalink

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

  96. def setVerbosity(v: Int): SelfType

    Permalink
    Definition Classes
    ScalaCheckProperty

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

    Permalink
    Definition Classes
    AnyRef

  98. def verbose: SelfType

    Permalink
    Definition Classes
    ScalaCheckProperty

  99. final def wait(): Unit

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

  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( ... )

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