ScalaCheckFunction

A ScalaCheckFunction adds the possibility to select various typeclass instances for a given property:

Arbitrary to generate values
Shrink to shrink counter-examples
Show to display arguments in case of a counter-example
Collector to collect values and provide a summary as string (to show frequencies for example)

A Context can be added to setup/teardown state before/after/around each property execution

Linear Supertypes

Known Subclasses

ScalaCheckFunction1, ScalaCheckFunction2, ScalaCheckFunction3, ScalaCheckFunction4, ScalaCheckFunction5, ScalaCheckFunction6, ScalaCheckFunction7, ScalaCheckFunction8

Type Members

abstract type SelfType <: ScalaCheckProperty

Definition Classes
ScalaCheckProperty

Abstract Value Members

abstract def context: Option[Context]
abstract def noShrink: SelfType
abstract def parameters: Parameters

Definition Classes
ScalaCheckProperty
abstract def prettyFreqMap: (FreqMap[Set[Any]]) ⇒ Pretty

Definition Classes
ScalaCheckProperty
abstract def prop: Prop

Definition Classes
ScalaCheckProperty
abstract def setContext(context: Context): SelfType
abstract def setParameters(ps: Parameters): SelfType

Definition Classes
ScalaCheckProperty
abstract def setPrettyFreqMap(f: (FreqMap[Set[Any]]) ⇒ Pretty): SelfType

Definition Classes
ScalaCheckProperty

Concrete 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
def after(action: ⇒ Any): SelfType
def around(action: (Result) ⇒ Result): SelfType
final def asInstanceOf[T0]: T0

Definition Classes
Any
def before(action: ⇒ Any): SelfType
def beforeAfter(beforeAction: ⇒ Any, afterAction: ⇒ Any): SelfType
def clone(): AnyRef

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( ... )
def display(minTestsOk: Int = parameters.minTestsOk, minSize: Int = parameters.minSize, maxDiscardRatio: Float = parameters.maxDiscardRatio, maxSize: Int = parameters.maxSize, workers: Int = parameters.workers, rng: Random = parameters.rng, callback: TestCallback = parameters.testCallback, loader: Option[ClassLoader] = parameters.loader): SelfType

Definition Classes
ScalaCheckProperty
final def eq(arg0: AnyRef): Boolean

Definition Classes
AnyRef
def equals(arg0: Any): Boolean

Definition Classes
AnyRef → Any
def executeInContext[R](result: ⇒ R)(implicit arg0: AsResult[R]): Prop

Attributes
protected
def finalize(): Unit

Attributes
protected[java.lang]
Definition Classes
AnyRef
Annotations
@throws( classOf[java.lang.Throwable] )
final def getClass(): Class[_]

Definition Classes
AnyRef → Any
def hashCode(): Int

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

Definition Classes
Any
final def ne(arg0: AnyRef): Boolean

Definition Classes
AnyRef
final def notify(): Unit

Definition Classes
AnyRef
final def notifyAll(): Unit

Definition Classes
AnyRef
def prettyFreqMap(f: (FreqMap[Set[Any]]) ⇒ String): SelfType

Definition Classes
ScalaCheckProperty
def set(minTestsOk: Int = parameters.minTestsOk, minSize: Int = parameters.minSize, maxDiscardRatio: Float = parameters.maxDiscardRatio, maxSize: Int = parameters.maxSize, workers: Int = parameters.workers, rng: Random = parameters.rng, callback: TestCallback = parameters.testCallback, loader: Option[ClassLoader] = parameters.loader): SelfType

Definition Classes
ScalaCheckProperty
def setVerbosity(v: Int): SelfType

Definition Classes
ScalaCheckProperty
final def synchronized[T0](arg0: ⇒ T0): T0

Definition Classes
AnyRef
def toString(): String

Definition Classes
AnyRef → Any
def verbose: SelfType

Definition Classes
ScalaCheckProperty
final def wait(): Unit

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

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

Definition Classes
AnyRef
Annotations
@throws( ... )

Related Doc: package scalacheck

trait ScalaCheckFunction extends ScalaCheckProperty

Type Members

abstract type SelfType <: ScalaCheckProperty

Abstract Value Members

abstract def context: Option[Context]

abstract def noShrink: SelfType

abstract def parameters: Parameters

abstract def prettyFreqMap: (FreqMap[Set[Any]]) ⇒ Pretty

abstract def prop: Prop

abstract def setContext(context: Context): SelfType

abstract def setParameters(ps: Parameters): SelfType

abstract def setPrettyFreqMap(f: (FreqMap[Set[Any]]) ⇒ Pretty): SelfType

Concrete Value Members

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

def after(action: ⇒ Any): SelfType

def around(action: (Result) ⇒ Result): SelfType

final def asInstanceOf[T0]: T0

def before(action: ⇒ Any): SelfType

def beforeAfter(beforeAction: ⇒ Any, afterAction: ⇒ Any): SelfType

def clone(): AnyRef

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def executeInContext[R](result: ⇒ R)(implicit arg0: AsResult[R]): Prop

def finalize(): Unit

final def getClass(): Class[_]

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

def prettyFreqMap(f: (FreqMap[Set[Any]]) ⇒ String): SelfType

def setVerbosity(v: Int): SelfType

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

def toString(): String

def verbose: SelfType

final def wait(): Unit

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

final def wait(arg0: Long): Unit

Inherited from ScalaCheckProperty

Inherited from AnyRef

Inherited from Any

Ungrouped