Packages

trait Discipline extends ScalaCheck

Self Type
Discipline with SpecificationLike
Linear Supertypes
ScalaCheck, GenInstances, ScalaCheckPropertyDsl, FragmentsFactory, AsResultProp, AsResultPropLowImplicits, ScalaCheckParameters, ScalaCheckPropertyCheck, ExpectationsCreation, MatchResultStackTrace, ScalaCheckPropertyCreation, AnyRef, Any
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. Discipline
  2. ScalaCheck
  3. GenInstances
  4. ScalaCheckPropertyDsl
  5. FragmentsFactory
  6. AsResultProp
  7. AsResultPropLowImplicits
  8. ScalaCheckParameters
  9. ScalaCheckPropertyCheck
  10. ExpectationsCreation
  11. MatchResultStackTrace
  12. ScalaCheckPropertyCreation
  13. AnyRef
  14. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

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. final def asInstanceOf[T0]: T0
    Definition Classes
    Any
  5. implicit def asResultToProp[R](r: R)(implicit arg0: AsResult[R]): Prop
    Definition Classes
    AsResultProp
  6. def check(prop: Prop, parameters: Parameters, prettyFreqMap: (FreqMap[Set[Any]]) ⇒ Pretty): Result
    Definition Classes
    ScalaCheckPropertyCheck
  7. def checkAll(name: String, ruleSet: RuleSet)(implicit p: Parameters): Fragments
  8. def checkFailure[T](m: MatchResult[T]): MatchResult[T]
    Attributes
    protected
    Definition Classes
    ExpectationsCreation
  9. def checkMatchResultFailure[T](m: MatchResult[T]): MatchResult[T]
    Attributes
    protected
    Definition Classes
    ExpectationsCreation
  10. def checkProperties(properties: Properties, parameters: Parameters, prettyFreqMap: (FreqMap[Set[Any]]) ⇒ Pretty): Result
    Definition Classes
    ScalaCheckPropertyCheck
  11. def checkResultFailure(r: ⇒ Result): Result
    Attributes
    protected
    Definition Classes
    ExpectationsCreation
  12. def clone(): AnyRef
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  13. def createExpectable[T](t: ⇒ T, alias: Option[(String) ⇒ String]): Expectable[T]
    Definition Classes
    ExpectationsCreation
  14. def createExpectable[T](t: ⇒ T, alias: (String) ⇒ String): Expectable[T]
    Definition Classes
    ExpectationsCreation
  15. def createExpectable[T](t: ⇒ T, alias: ⇒ String): Expectable[T]
    Definition Classes
    ExpectationsCreation
  16. def createExpectable[T](t: ⇒ T): Expectable[T]
    Definition Classes
    ExpectationsCreation
  17. def createExpectableWithShowAs[T](t: ⇒ T, showAs: ⇒ String): Expectable[T]
    Definition Classes
    ExpectationsCreation
  18. implicit def defaultFreqMapPretty: (FreqMap[Set[Any]]) ⇒ Pretty
    Definition Classes
    ScalaCheckParameters
  19. implicit def defaultParameters: Parameters
    Definition Classes
    ScalaCheckParameters
  20. def display(minTestsOk: Int, minSize: Int, maxDiscardRatio: Float, maxSize: Int, workers: Int, callback: TestCallback, loader: Option[ClassLoader]): Parameters
    Definition Classes
    ScalaCheckParameters
  21. final def eq(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  22. def equals(arg0: Any): Boolean
    Definition Classes
    AnyRef → Any
  23. def finalize(): Unit
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  24. def fragmentFactory: FragmentFactory
    Attributes
    protected
    Definition Classes
    FragmentsFactory
  25. def frequencies(fq: FreqMap[Set[Any]], parameters: Parameters, prettyFreqMap: (FreqMap[Set[Any]]) ⇒ Pretty): String
    Definition Classes
    ScalaCheckPropertyCheck
  26. implicit def genMonad: Monad[Gen]
    Definition Classes
    GenInstances
  27. final def getClass(): Class[_]
    Definition Classes
    AnyRef → Any
  28. def hashCode(): Int
    Definition Classes
    AnyRef → Any
  29. final def isInstanceOf[T0]: Boolean
    Definition Classes
    Any
  30. def mapMatchResult[T](m: MatchResult[T]): MatchResult[T]
    Attributes
    protected
    Definition Classes
    ExpectationsCreation
  31. final def ne(arg0: AnyRef): Boolean
    Definition Classes
    AnyRef
  32. final def notify(): Unit
    Definition Classes
    AnyRef
  33. final def notifyAll(): Unit
    Definition Classes
    AnyRef
  34. def prettyResult(res: Result, freqMapPretty: (FreqMap[Set[Any]]) ⇒ Pretty): Pretty
    Definition Classes
    ScalaCheckPropertyCheck
  35. def prop[T1, T2, T3, T4, T5, T6, T7, T8, R](result: (T1, T2, T3, T4, T5, T6, T7, T8) ⇒ R)(implicit arbitrary1: Arbitrary[T1], shrink1: Shrink[T1], pretty1: (T1) ⇒ Pretty, arbitrary2: Arbitrary[T2], shrink2: Shrink[T2], pretty2: (T2) ⇒ Pretty, arbitrary3: Arbitrary[T3], shrink3: Shrink[T3], pretty3: (T3) ⇒ Pretty, arbitrary4: Arbitrary[T4], shrink4: Shrink[T4], pretty4: (T4) ⇒ Pretty, arbitrary5: Arbitrary[T5], shrink5: Shrink[T5], pretty5: (T5) ⇒ Pretty, arbitrary6: Arbitrary[T6], shrink6: Shrink[T6], pretty6: (T6) ⇒ Pretty, arbitrary7: Arbitrary[T7], shrink7: Shrink[T7], pretty7: (T7) ⇒ Pretty, arbitrary8: Arbitrary[T8], shrink8: Shrink[T8], pretty8: (T8) ⇒ Pretty, prettyFreqMap: (FreqMap[Set[Any]]) ⇒ Pretty, asResult: AsResult[R], parameters: Parameters): ScalaCheckFunction8[T1, T2, T3, T4, T5, T6, T7, T8, R]
    Definition Classes
    ScalaCheckPropertyCreation
  36. def prop[T1, T2, T3, T4, T5, T6, T7, R](result: (T1, T2, T3, T4, T5, T6, T7) ⇒ R)(implicit arbitrary1: Arbitrary[T1], shrink1: Shrink[T1], pretty1: (T1) ⇒ Pretty, arbitrary2: Arbitrary[T2], shrink2: Shrink[T2], pretty2: (T2) ⇒ Pretty, arbitrary3: Arbitrary[T3], shrink3: Shrink[T3], pretty3: (T3) ⇒ Pretty, arbitrary4: Arbitrary[T4], shrink4: Shrink[T4], pretty4: (T4) ⇒ Pretty, arbitrary5: Arbitrary[T5], shrink5: Shrink[T5], pretty5: (T5) ⇒ Pretty, arbitrary6: Arbitrary[T6], shrink6: Shrink[T6], pretty6: (T6) ⇒ Pretty, arbitrary7: Arbitrary[T7], shrink7: Shrink[T7], pretty7: (T7) ⇒ Pretty, prettyFreqMap: (FreqMap[Set[Any]]) ⇒ Pretty, asResult: AsResult[R], parameters: Parameters): ScalaCheckFunction7[T1, T2, T3, T4, T5, T6, T7, R]
    Definition Classes
    ScalaCheckPropertyCreation
  37. def prop[T1, T2, T3, T4, T5, T6, R](result: (T1, T2, T3, T4, T5, T6) ⇒ R)(implicit arbitrary1: Arbitrary[T1], shrink1: Shrink[T1], pretty1: (T1) ⇒ Pretty, arbitrary2: Arbitrary[T2], shrink2: Shrink[T2], pretty2: (T2) ⇒ Pretty, arbitrary3: Arbitrary[T3], shrink3: Shrink[T3], pretty3: (T3) ⇒ Pretty, arbitrary4: Arbitrary[T4], shrink4: Shrink[T4], pretty4: (T4) ⇒ Pretty, arbitrary5: Arbitrary[T5], shrink5: Shrink[T5], pretty5: (T5) ⇒ Pretty, arbitrary6: Arbitrary[T6], shrink6: Shrink[T6], pretty6: (T6) ⇒ Pretty, prettyFreqMap: (FreqMap[Set[Any]]) ⇒ Pretty, asResult: AsResult[R], parameters: Parameters): ScalaCheckFunction6[T1, T2, T3, T4, T5, T6, R]
    Definition Classes
    ScalaCheckPropertyCreation
  38. def prop[T1, T2, T3, T4, T5, R](result: (T1, T2, T3, T4, T5) ⇒ R)(implicit arbitrary1: Arbitrary[T1], shrink1: Shrink[T1], pretty1: (T1) ⇒ Pretty, arbitrary2: Arbitrary[T2], shrink2: Shrink[T2], pretty2: (T2) ⇒ Pretty, arbitrary3: Arbitrary[T3], shrink3: Shrink[T3], pretty3: (T3) ⇒ Pretty, arbitrary4: Arbitrary[T4], shrink4: Shrink[T4], pretty4: (T4) ⇒ Pretty, arbitrary5: Arbitrary[T5], shrink5: Shrink[T5], pretty5: (T5) ⇒ Pretty, prettyFreqMap: (FreqMap[Set[Any]]) ⇒ Pretty, asResult: AsResult[R], parameters: Parameters): ScalaCheckFunction5[T1, T2, T3, T4, T5, R]
    Definition Classes
    ScalaCheckPropertyCreation
  39. def prop[T1, T2, T3, T4, R](result: (T1, T2, T3, T4) ⇒ R)(implicit arbitrary1: Arbitrary[T1], shrink1: Shrink[T1], pretty1: (T1) ⇒ Pretty, arbitrary2: Arbitrary[T2], shrink2: Shrink[T2], pretty2: (T2) ⇒ Pretty, arbitrary3: Arbitrary[T3], shrink3: Shrink[T3], pretty3: (T3) ⇒ Pretty, arbitrary4: Arbitrary[T4], shrink4: Shrink[T4], pretty4: (T4) ⇒ Pretty, prettyFreqMap: (FreqMap[Set[Any]]) ⇒ Pretty, asResult: AsResult[R], parameters: Parameters): ScalaCheckFunction4[T1, T2, T3, T4, R]
    Definition Classes
    ScalaCheckPropertyCreation
  40. def prop[T1, T2, T3, R](result: (T1, T2, T3) ⇒ R)(implicit arbitrary1: Arbitrary[T1], shrink1: Shrink[T1], pretty1: (T1) ⇒ Pretty, arbitrary2: Arbitrary[T2], shrink2: Shrink[T2], pretty2: (T2) ⇒ Pretty, arbitrary3: Arbitrary[T3], shrink3: Shrink[T3], pretty3: (T3) ⇒ Pretty, prettyFreqMap: (FreqMap[Set[Any]]) ⇒ Pretty, asResult: AsResult[R], parameters: Parameters): ScalaCheckFunction3[T1, T2, T3, R]
    Definition Classes
    ScalaCheckPropertyCreation
  41. def prop[T1, T2, R](result: (T1, T2) ⇒ R)(implicit arbitrary1: Arbitrary[T1], shrink1: Shrink[T1], pretty1: (T1) ⇒ Pretty, arbitrary2: Arbitrary[T2], shrink2: Shrink[T2], pretty2: (T2) ⇒ Pretty, prettyFreqMap: (FreqMap[Set[Any]]) ⇒ Pretty, asResult: AsResult[R], parameters: Parameters): ScalaCheckFunction2[T1, T2, R]
    Definition Classes
    ScalaCheckPropertyCreation
  42. def prop[T, R](result: (T) ⇒ R)(implicit arbitrary: Arbitrary[T], shrink: Shrink[T], pretty: (T) ⇒ Pretty, prettyFreqMap: (FreqMap[Set[Any]]) ⇒ Pretty, asResult: AsResult[R], parameters: Parameters): ScalaCheckFunction1[T, R]
    Definition Classes
    ScalaCheckPropertyCreation
  43. implicit def propAsResult(implicit p: Parameters, pfq: (FreqMap[Set[Any]]) ⇒ Pretty): AsResult[Prop]
    Definition Classes
    AsResultProp
  44. implicit def propToScalaCheckProperty(prop: Prop)(implicit parameters: Parameters, prettyFreqMap: (FreqMap[Set[Any]]) ⇒ Pretty): ScalaCheckProp
    Definition Classes
    ScalaCheckPropertyDsl
  45. def properties(ps: Properties): Fragments
    Definition Classes
    ScalaCheckPropertyDsl
  46. implicit def propertiesAsResult(implicit p: Parameters, pfq: (FreqMap[Set[Any]]) ⇒ Pretty): AsResult[Properties]
    Definition Classes
    AsResultProp
  47. def sandboxMatchResult[T](mr: ⇒ MatchResult[T]): MatchResult[T]
    Attributes
    protected
    Definition Classes
    ExpectationsCreation
  48. implicit def scalaCheckPropertyAsResult[S <: ScalaCheckProperty]: AsResult[S]
    Definition Classes
    AsResultPropLowImplicits
  49. def set(minTestsOk: Int, minSize: Int, maxDiscardRatio: Float, maxSize: Int, workers: Int, callback: TestCallback, loader: Option[ClassLoader]): Parameters
    Definition Classes
    ScalaCheckParameters
  50. def setStacktrace[T](m: MatchResult[T]): MatchResult[T]
    Attributes
    protected
    Definition Classes
    MatchResultStackTrace
  51. def showCause(t: Throwable): String
    Definition Classes
    ScalaCheckPropertyCheck
  52. final def synchronized[T0](arg0: ⇒ T0): T0
    Definition Classes
    AnyRef
  53. def toString(): String
    Definition Classes
    AnyRef → Any
  54. final def wait(): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  55. final def wait(arg0: Long, arg1: Int): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  56. final def wait(arg0: Long): Unit
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from ScalaCheck

Inherited from GenInstances

Inherited from ScalaCheckPropertyDsl

Inherited from FragmentsFactory

Inherited from AsResultProp

Inherited from AsResultPropLowImplicits

Inherited from ScalaCheckParameters

Inherited from ScalaCheckPropertyCheck

Inherited from ExpectationsCreation

Inherited from MatchResultStackTrace

Inherited from ScalaCheckPropertyCreation

Inherited from AnyRef

Inherited from Any

Ungrouped