object AsResultProp extends AsResultProp
- Alphabetic
- By Inheritance
- AsResultProp
- AsResultProp
- AsResultPropLowImplicits
- ScalaCheckParameters
- ScalaCheckPropertyCheck
- ExpectationsCreation
- MatchResultStackTrace
- AnyRef
- Any
- Hide All
- Show All
- Public
- Protected
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[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[lang]
- Definition Classes
- AnyRef
- Annotations
- @throws(classOf[java.lang.Throwable])
- def frequencies(fq: FreqMap[Set[Any]], parameters: Parameters, prettyFreqMap: (FreqMap[Set[Any]]) => Pretty): String
- Definition Classes
- ScalaCheckPropertyCheck
- 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
- 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 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()