ScalaCheck

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. final def asInstanceOf[T0]: T0

   Definition Classes

   Any

7. implicit def asResultToProp[R](r: R)(implicit arg0: AsResult[R]): Prop

   Definition Classes

   AsResultProp

8. def check(prop: Prop, parameters: Parameters, prettyFreqMap: (FreqMap[Set[Any]]) ⇒ Pretty): Result

   checks if the property is true for each generated value, and with the specified parameters

   checks if the property is true for each generated value, and with the specified parameters

   Definition Classes

   ScalaCheckPropertyCheck

9. def checkFailure[T](m: MatchResult[T]): MatchResult[T]

   Attributes

   protected

   Definition Classes

   ExpectationsCreation

10. def checkMatchResultFailure[T](m: MatchResult[T]): MatchResult[T]

    Attributes

    protected

    Definition Classes

    ExpectationsCreation

11. def checkProperties(properties: Properties, parameters: Parameters, prettyFreqMap: (FreqMap[Set[Any]]) ⇒ Pretty): Result

    Definition Classes

    ScalaCheckPropertyCheck

12. def checkResultFailure(r: ⇒ Result): Result

    Attributes

    protected

    Definition Classes

    ExpectationsCreation

13. def clone(): AnyRef

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

14. def createExpectable[T](t: ⇒ T, alias: Option[(String) ⇒ String]): Expectable[T]

    Definition Classes

    ExpectationsCreation

15. def createExpectable[T](t: ⇒ T, alias: (String) ⇒ String): Expectable[T]

    Definition Classes

    ExpectationsCreation

16. def createExpectable[T](t: ⇒ T, alias: ⇒ String): Expectable[T]

    Definition Classes

    ExpectationsCreation

17. def createExpectable[T](t: ⇒ T): Expectable[T]

    Definition Classes

    ExpectationsCreation

18. def createExpectableWithShowAs[T](t: ⇒ T, showAs: ⇒ String): Expectable[T]

    Definition Classes

    ExpectationsCreation

19. implicit def defaultFreqMapPretty: (FreqMap[Set[Any]]) ⇒ Pretty

    Definition Classes

    ScalaCheckParameters

20. implicit def defaultParameters: Parameters

    default parameters.

    default parameters. Uses ScalaCheck default values and doesn't print anything to the console

    Definition Classes

    ScalaCheckParameters

21. def display(minTestsOk: Int = defaultParameters.minTestsOk, minSize: Int = defaultParameters.minSize, maxDiscardRatio: Float = defaultParameters.maxDiscardRatio, maxSize: Int = defaultParameters.maxSize, workers: Int = defaultParameters.workers, callback: TestCallback = defaultParameters.testCallback, loader: Option[ClassLoader] = defaultParameters.loader): Parameters

    create parameters with verbose = true

    create parameters with verbose = true

    Definition Classes

    ScalaCheckParameters

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

    Definition Classes

    AnyRef

23. def equals(arg0: Any): Boolean

    Definition Classes

    AnyRef → Any

24. def finalize(): Unit

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( classOf[java.lang.Throwable] )

25. def fragmentFactory: FragmentFactory

    Attributes

    protected

    Definition Classes

    FragmentsFactory

26. def frequencies(fq: FreqMap[Set[Any]], parameters: Parameters, prettyFreqMap: (FreqMap[Set[Any]]) ⇒ Pretty): String

    Definition Classes

    ScalaCheckPropertyCheck

27. implicit def genMonad: Monad[Gen]

    Definition Classes

    GenInstances

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

    Definition Classes

    AnyRef → Any

29. def hashCode(): Int

    Definition Classes

    AnyRef → Any

30. final def isInstanceOf[T0]: Boolean

    Definition Classes

    Any

31. def mapMatchResult[T](m: MatchResult[T]): MatchResult[T]

    Attributes

    protected

    Definition Classes

    ExpectationsCreation

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

    Definition Classes

    AnyRef

33. final def notify(): Unit

    Definition Classes

    AnyRef

34. final def notifyAll(): Unit

    Definition Classes

    AnyRef

35. def prettyResult(res: Result, freqMapPretty: (FreqMap[Set[Any]]) ⇒ Pretty): Pretty

    copied from ScalaCheck to be able to inject the proper freqMap pretty

    copied from ScalaCheck to be able to inject the proper freqMap pretty

    Definition Classes

    ScalaCheckPropertyCheck

36. 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]

    create a ScalaCheck property from a function of 8 arguments

    create a ScalaCheck property from a function of 8 arguments

    Definition Classes

    ScalaCheckPropertyCreation

37. 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]

    create a ScalaCheck property from a function of 7 arguments

    create a ScalaCheck property from a function of 7 arguments

    Definition Classes

    ScalaCheckPropertyCreation

38. 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]

    create a ScalaCheck property from a function of 6 arguments

    create a ScalaCheck property from a function of 6 arguments

    Definition Classes

    ScalaCheckPropertyCreation

39. 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]

    create a ScalaCheck property from a function of 5 arguments

    create a ScalaCheck property from a function of 5 arguments

    Definition Classes

    ScalaCheckPropertyCreation

40. 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]

    create a ScalaCheck property from a function of 4 arguments

    create a ScalaCheck property from a function of 4 arguments

    Definition Classes

    ScalaCheckPropertyCreation

41. 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]

    create a ScalaCheck property from a function of 3 arguments

    create a ScalaCheck property from a function of 3 arguments

    Definition Classes

    ScalaCheckPropertyCreation

42. 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]

    create a ScalaCheck property from a function of 2 arguments

    create a ScalaCheck property from a function of 2 arguments

    Definition Classes

    ScalaCheckPropertyCreation

43. 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]

    create a ScalaCheck property from a function

    create a ScalaCheck property from a function

    Definition Classes

    ScalaCheckPropertyCreation

44. implicit def propAsResult(implicit p: Parameters, pfq: (FreqMap[Set[Any]]) ⇒ Pretty): AsResult[Prop]

    implicit typeclass instance to create examples from a Prop

    implicit typeclass instance to create examples from a Prop

    Definition Classes

    AsResultProp

45. implicit def propToScalaCheckProperty(prop: Prop)(implicit parameters: Parameters, prettyFreqMap: (FreqMap[Set[Any]]) ⇒ Pretty): ScalaCheckProp

    Definition Classes

    ScalaCheckPropertyDsl

46. def properties(ps: Properties): Fragments

    display properties as examples

    display properties as examples

    Definition Classes

    ScalaCheckPropertyDsl

47. implicit def propertiesAsResult(implicit p: Parameters, pfq: (FreqMap[Set[Any]]) ⇒ Pretty): AsResult[Properties]

    implicit typeclass instance to create examples from Properties

    implicit typeclass instance to create examples from Properties

    Definition Classes

    AsResultProp

48. def sandboxMatchResult[T](mr: ⇒ MatchResult[T]): MatchResult[T]

    Attributes

    protected

    Definition Classes

    ExpectationsCreation

49. implicit def scalaCheckPropertyAsResult[S <: ScalaCheckProperty]: AsResult[S]

    Definition Classes

    AsResultPropLowImplicits

50. implicit def scalaCheckPropertyCommandLineAsResult[S <: ScalaCheckProperty]: CommandLineAsResult[S]

    Definition Classes

    AsResultProp

51. def set(minTestsOk: Int = defaultParameters.minTestsOk, minSize: Int = defaultParameters.minSize, maxDiscardRatio: Float = defaultParameters.maxDiscardRatio, maxSize: Int = defaultParameters.maxSize, workers: Int = defaultParameters.workers, callback: TestCallback = defaultParameters.testCallback, loader: Option[ClassLoader] = defaultParameters.loader): Parameters

    create parameters with verbose = false

    create parameters with verbose = false

    Definition Classes

    ScalaCheckParameters

52. def setStacktrace[T](m: MatchResult[T]): MatchResult[T]

    Attributes

    protected

    Definition Classes

    MatchResultStackTrace

53. def showCause(e: Exception): String

    returns

    the cause of the exception as a String if there is one

    Definition Classes

    ScalaCheckPropertyCheck

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

    Definition Classes

    AnyRef

55. def toString(): String

    Definition Classes

    AnyRef → Any

56. final def wait(): Unit

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )