trait ScalaCheck extends ScalaCheckPropertyCreation with ScalaCheckPropertyCheck with ScalaCheckParameters with AsResultProp with ScalaCheckPropertyDsl with GenInstances
- Alphabetic
- By Inheritance
- ScalaCheck
- GenInstances
- ScalaCheckPropertyDsl
- FragmentsFactory
- AsResultProp
- AsResultPropLowImplicits
- ScalaCheckParameters
- ScalaCheckPropertyCheck
- ExpectationsCreation
- MatchResultStackTrace
- ScalaCheckPropertyCreation
- AnyRef
- Any
- Hide All
- Show All
- Public
- All
Value Members
- final def !=(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def ##(): Int
- Definition Classes
- AnyRef → Any
- final def ==(arg0: Any): Boolean
- Definition Classes
- AnyRef → Any
- final def asInstanceOf[T0]: T0
- Definition Classes
- Any
- implicit def asResultToProp[R](r: R)(implicit arg0: AsResult[R]): Prop
- Definition Classes
- AsResultProp
- 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
- def checkFailure[T](m: MatchResult[T]): MatchResult[T]
- Attributes
- protected
- Definition Classes
- ExpectationsCreation
- def checkMatchResultFailure[T](m: MatchResult[T]): MatchResult[T]
- Attributes
- protected
- Definition Classes
- ExpectationsCreation
- def checkProperties(properties: Properties, parameters: Parameters, prettyFreqMap: (FreqMap[Set[Any]]) => Pretty): Result
- Definition Classes
- ScalaCheckPropertyCheck
- def checkResultFailure(r: => Result): Result
- Attributes
- protected
- Definition Classes
- ExpectationsCreation
- def clone(): AnyRef
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.CloneNotSupportedException]) @native()
- def createExpectable[T](t: => T, alias: Option[(String) => String]): Expectable[T]
- Definition Classes
- ExpectationsCreation
- def createExpectable[T](t: => T, alias: (String) => String): Expectable[T]
- Definition Classes
- ExpectationsCreation
- def createExpectable[T](t: => T, alias: => String): Expectable[T]
- Definition Classes
- ExpectationsCreation
- def createExpectable[T](t: => T): Expectable[T]
- Definition Classes
- ExpectationsCreation
- def createExpectableWithShowAs[T](t: => T, showAs: => String): Expectable[T]
- Definition Classes
- ExpectationsCreation
- implicit def defaultFreqMapPretty: (FreqMap[Set[Any]]) => Pretty
- Definition Classes
- ScalaCheckParameters
- implicit def defaultParameters: Parameters
default parameters.
default parameters. Uses ScalaCheck default values and doesn't print anything to the console
- Definition Classes
- ScalaCheckParameters
- 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
- final def eq(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- def equals(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef → Any
- def finalize(): Unit
- Attributes
- protected[java.lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable])
- def fragmentFactory: FragmentFactory
- Attributes
- protected
- Definition Classes
- FragmentsFactory
- def frequencies(fq: FreqMap[Set[Any]], parameters: Parameters, prettyFreqMap: (FreqMap[Set[Any]]) => Pretty): String
- Definition Classes
- ScalaCheckPropertyCheck
- implicit def genMonad: Monad[Gen]
- Definition Classes
- GenInstances
- final def getClass(): Class[_ <: AnyRef]
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- def hashCode(): Int
- Definition Classes
- AnyRef → Any
- Annotations
- @native()
- final def isInstanceOf[T0]: Boolean
- Definition Classes
- Any
- def mapMatchResult[T](m: MatchResult[T]): MatchResult[T]
- Attributes
- protected
- Definition Classes
- ExpectationsCreation
- final def ne(arg0: AnyRef): Boolean
- Definition Classes
- AnyRef
- final def notify(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- final def notifyAll(): Unit
- Definition Classes
- AnyRef
- Annotations
- @native()
- def prettyResult(res: Result, parameters: Parameters, initialSeed: => Seed, 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- 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
- implicit def propToScalaCheckProperty(prop: Prop)(implicit parameters: Parameters, prettyFreqMap: (FreqMap[Set[Any]]) => Pretty): ScalaCheckProp
- Definition Classes
- ScalaCheckPropertyDsl
- def properties(ps: Properties): Fragments
display properties as examples
display properties as examples
- Definition Classes
- ScalaCheckPropertyDsl
- 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
- def sandboxMatchResult[T](mr: => MatchResult[T]): MatchResult[T]
- Attributes
- protected
- Definition Classes
- ExpectationsCreation
- implicit def scalaCheckPropertyAsResult[S <: ScalaCheckProperty]: AsResult[S]
- Definition Classes
- AsResultPropLowImplicits
- 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
- def setStacktrace[T](m: MatchResult[T]): MatchResult[T]
- Attributes
- protected
- Definition Classes
- MatchResultStackTrace
- def showCause(t: Throwable): String
- returns
the cause of the exception as a String if there is one
- Definition Classes
- ScalaCheckPropertyCheck
- final def synchronized[T0](arg0: => T0): T0
- Definition Classes
- AnyRef
- def toString(): String
- Definition Classes
- AnyRef → Any
- final def wait(): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long, arg1: Int): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException])
- final def wait(arg0: Long): Unit
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.InterruptedException]) @native()