ScalaCheckPropertyDsl

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

final def asInstanceOf[T0]: T0

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

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

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

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

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

def checkResultFailure(r: ⇒ Result): Result

def clone(): AnyRef

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

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

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

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

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

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

implicit def defaultParameters: Parameters

default parameters.

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

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def fragmentFactory: FragmentFactory

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

final def getClass(): Class[_]

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

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

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

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

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

implicit typeclass instance to create examples from a Prop

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

def properties(ps: Properties): Fragments

display properties as examples

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

implicit typeclass instance to create examples from Properties

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

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

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

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

def showCause(t: Throwable): String

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

def toString(): String

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

final def wait(arg0: Long): Unit

final def wait(): Unit

def finalize(): Unit