ScalaCheck

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

   

   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

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

   

   this method can be overridden to throw exceptions when checking the match result

   this method can be overridden to throw exceptions when checking the match result

   Attributes

   protected

   Definition Classes

   ExpectationsCreation

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

   

   this method can be overridden to throw exceptions when checking the match result

   this method can be overridden to throw exceptions when checking the match result

   Attributes

   protected

   Definition Classes

   ExpectationsCreation

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

   

   Definition Classes

   ScalaCheckPropertyCheck

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

    

    this method can be overridden to throw exceptions when checking the result

    this method can be overridden to throw exceptions when checking the result

    Attributes

    protected

    Definition Classes

    ExpectationsCreation

11. def clone(): AnyRef

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

    @throws( ... )

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

    
    returns

    an Expectable with a description function

    Definition Classes

    ExpectationsCreation

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

    
    returns

    an Expectable with a description function

    Definition Classes

    ExpectationsCreation

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

    
    returns

    an Expectable with a description

    Definition Classes

    ExpectationsCreation

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

    
    returns

    an Expectable

    Definition Classes

    ExpectationsCreation

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

    
    returns

    an Expectable with a function to show the element T

    Definition Classes

    ExpectationsCreation

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

    

    Definition Classes

    ScalaCheckParameters

18. implicit def defaultParameters: Parameters

    

    default parameters.

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

    Definition Classes

    ScalaCheckParameters

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

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

    

    Definition Classes

    AnyRef

21. def equals(arg0: Any): Boolean

    

    Definition Classes

    AnyRef → Any

22. def finalize(): Unit

    

    Attributes

    protected[java.lang]

    Definition Classes

    AnyRef

    Annotations

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

23. def fragmentFactory: FragmentFactory

    

    Attributes

    protected

    Definition Classes

    FragmentsFactory

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

    

    Definition Classes

    ScalaCheckPropertyCheck

25. implicit def genMonad: Monad[Gen]

    

    Definition Classes

    GenInstances

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

    

    Definition Classes

    AnyRef → Any

27. def hashCode(): Int

    

    Definition Classes

    AnyRef → Any

28. final def isInstanceOf[T0]: Boolean

    

    Definition Classes

    Any

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

    

    this method can be overridden to intercept a MatchResult and change its message before it is thrown

    this method can be overridden to intercept a MatchResult and change its message before it is thrown

    Attributes

    protected

    Definition Classes

    ExpectationsCreation

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

    

    Definition Classes

    AnyRef

31. final def notify(): Unit

    

    Definition Classes

    AnyRef

32. final def notifyAll(): Unit

    

    Definition Classes

    AnyRef

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

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

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

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

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

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

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

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

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

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

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

    

    Definition Classes

    ScalaCheckPropertyDsl

44. def properties(ps: Properties): Fragments

    

    display properties as examples

    display properties as examples

    Definition Classes

    ScalaCheckPropertyDsl

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

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

    
    returns

    the match result without any side-effects

    Attributes

    protected

    Definition Classes

    ExpectationsCreation

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

    

    Definition Classes

    AsResultPropLowImplicits

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

    

    Definition Classes

    AsResultProp

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

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

    

    this method can be overridden to avoid filling-in a stacktrace indicating the location of the result

    this method can be overridden to avoid filling-in a stacktrace indicating the location of the result

    Attributes

    protected

    Definition Classes

    MatchResultStackTrace

51. def showCause(t: Throwable): String

    
    returns

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

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