Trait/Object

org.specs2.scalacheck

AsResultProp

Related Docs: object AsResultProp | package scalacheck

Permalink

trait AsResultProp extends ScalaCheckPropertyCheck with AsResultPropLowImplicits

Implicits to convert Prop to AsResult and AsResult to Prop

Linear Supertypes
AsResultPropLowImplicits, ScalaCheckParameters, ScalaCheckPropertyCheck, ExpectationsCreation, MatchResultStackTrace, AnyRef, Any
Known Subclasses
Ordering
  1. Alphabetic
  2. By Inheritance
Inherited
  1. AsResultProp
  2. AsResultPropLowImplicits
  3. ScalaCheckParameters
  4. ScalaCheckPropertyCheck
  5. ExpectationsCreation
  6. MatchResultStackTrace
  7. AnyRef
  8. Any
  1. Hide All
  2. Show All
Visibility
  1. Public
  2. All

Value Members

  1. final def !=(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  2. final def ##(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  3. final def ==(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  4. final def asInstanceOf[T0]: T0

    Permalink
    Definition Classes
    Any
  5. implicit def asResultToProp[R](r: R)(implicit arg0: AsResult[R]): Prop

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

    Permalink

    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]

    Permalink
    Attributes
    protected
    Definition Classes
    ExpectationsCreation
  8. def checkMatchResultFailure[T](m: MatchResult[T]): MatchResult[T]

    Permalink
    Attributes
    protected
    Definition Classes
    ExpectationsCreation
  9. def checkProperties(properties: Properties, parameters: Parameters, prettyFreqMap: (FreqMap[Set[Any]]) ⇒ Pretty): Result

    Permalink
    Definition Classes
    ScalaCheckPropertyCheck
  10. def checkResultFailure(r: ⇒ Result): Result

    Permalink
    Attributes
    protected
    Definition Classes
    ExpectationsCreation
  11. def clone(): AnyRef

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  12. def createExpectable[T](t: ⇒ T, alias: Option[(String) ⇒ String]): Expectable[T]

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

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

    Permalink
    Definition Classes
    ExpectationsCreation
  15. def createExpectable[T](t: ⇒ T): Expectable[T]

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

    Permalink
    Definition Classes
    ExpectationsCreation
  17. implicit def defaultFreqMapPretty: (FreqMap[Set[Any]]) ⇒ Pretty

    Permalink
    Definition Classes
    ScalaCheckParameters
  18. implicit def defaultParameters: Parameters

    Permalink

    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

    Permalink

    create parameters with verbose = true

    create parameters with verbose = true

    Definition Classes
    ScalaCheckParameters
  20. final def eq(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  21. def equals(arg0: Any): Boolean

    Permalink
    Definition Classes
    AnyRef → Any
  22. def finalize(): Unit

    Permalink
    Attributes
    protected[java.lang]
    Definition Classes
    AnyRef
    Annotations
    @throws( classOf[java.lang.Throwable] )
  23. def frequencies(fq: FreqMap[Set[Any]], parameters: Parameters, prettyFreqMap: (FreqMap[Set[Any]]) ⇒ Pretty): String

    Permalink
    Definition Classes
    ScalaCheckPropertyCheck
  24. final def getClass(): Class[_]

    Permalink
    Definition Classes
    AnyRef → Any
  25. def hashCode(): Int

    Permalink
    Definition Classes
    AnyRef → Any
  26. final def isInstanceOf[T0]: Boolean

    Permalink
    Definition Classes
    Any
  27. def mapMatchResult[T](m: MatchResult[T]): MatchResult[T]

    Permalink
    Attributes
    protected
    Definition Classes
    ExpectationsCreation
  28. final def ne(arg0: AnyRef): Boolean

    Permalink
    Definition Classes
    AnyRef
  29. final def notify(): Unit

    Permalink
    Definition Classes
    AnyRef
  30. final def notifyAll(): Unit

    Permalink
    Definition Classes
    AnyRef
  31. def prettyResult(res: Result, parameters: Parameters, initialSeed: ⇒ Seed, freqMapPretty: (FreqMap[Set[Any]]) ⇒ Pretty): Pretty

    Permalink

    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
  32. implicit def propAsResult(implicit p: Parameters, pfq: (FreqMap[Set[Any]]) ⇒ Pretty): AsResult[Prop]

    Permalink

    implicit typeclass instance to create examples from a Prop

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

    Permalink

    implicit typeclass instance to create examples from Properties

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

    Permalink
    Attributes
    protected
    Definition Classes
    ExpectationsCreation
  35. implicit def scalaCheckPropertyAsResult[S <: ScalaCheckProperty]: AsResult[S]

    Permalink
    Definition Classes
    AsResultPropLowImplicits
  36. 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

    Permalink

    create parameters with verbose = false

    create parameters with verbose = false

    Definition Classes
    ScalaCheckParameters
  37. def setStacktrace[T](m: MatchResult[T]): MatchResult[T]

    Permalink
    Attributes
    protected
    Definition Classes
    MatchResultStackTrace
  38. def showCause(t: Throwable): String

    Permalink

    returns

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

    Definition Classes
    ScalaCheckPropertyCheck
  39. final def synchronized[T0](arg0: ⇒ T0): T0

    Permalink
    Definition Classes
    AnyRef
  40. def toString(): String

    Permalink
    Definition Classes
    AnyRef → Any
  41. final def wait(): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  42. final def wait(arg0: Long, arg1: Int): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )
  43. final def wait(arg0: Long): Unit

    Permalink
    Definition Classes
    AnyRef
    Annotations
    @throws( ... )

Inherited from AsResultPropLowImplicits

Inherited from ScalaCheckParameters

Inherited from ScalaCheckPropertyCheck

Inherited from ExpectationsCreation

Inherited from MatchResultStackTrace

Inherited from AnyRef

Inherited from Any

Ungrouped