Prop

abstract def apply(prms: Parameters): Result

final def !=(arg0: AnyRef): Boolean

final def !=(arg0: Any): Boolean

final def ##(): Int

def &&(p: ⇒ Prop): Prop

Returns a new property that holds if and only if both this and the given property hold.

def ++(p: ⇒ Prop): Prop

Returns a new property that holds if and only if both this and the given property hold.

def :|(l: Symbol): Prop

Put a label on the property to make test reports clearer

def :|(l: String): Prop

Put a label on the property to make test reports clearer

def ==(p: ⇒ Prop): Prop

Returns a new property that holds if and only if both this and the given property generates a result with the exact same status.

final def ==(arg0: AnyRef): Boolean

final def ==(arg0: Any): Boolean

def ==>(p: ⇒ Prop): Prop

Combines two properties through implication

final def asInstanceOf[T0]: T0

def check(minSuccessfulTests: Int): Unit

Convenience method that checks this property with specified minimal number of successful test and reports the result on the console.

def check(minSuccessfulTests: Int, prms: Parameters): Unit

Convenience method that checks this property with specified minimal number of successful test and the given testing parameters, and reports the result on the console.

def check: Unit

Convenience method that checks this property and reports the result on the console.

def check(prms: Parameters): Unit

Convenience method that checks this property with the given parameters and reports the result on the console.

def clone(): AnyRef

def combine(p: Prop)(f: (Result, Result) ⇒ Result): Prop

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

def finalize(): Unit

def flatMap(f: (Result) ⇒ Prop): Prop

final def getClass(): Class[_]

def hashCode(): Int

final def isInstanceOf[T0]: Boolean

def label(l: String): Prop

Put a label on the property to make test reports clearer

def main(args: Array[String]): Unit

Convenience method that makes it possible to use this property as an application that checks itself on execution

def mainCallsExit: Boolean

Whether main should call System.

def mainRunner(args: Array[String]): Int

The logic for main, separated out to make it easier to avoid System.

def map(f: (Result) ⇒ Result): Prop

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

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

def toString(): String

final def wait(): Unit

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

final def wait(arg0: Long): Unit

def |:(l: Symbol): Prop

Put a label on the property to make test reports clearer

def |:(l: String): Prop

Put a label on the property to make test reports clearer

def ||(p: ⇒ Prop): Prop

Returns a new property that holds if either this or the given property (or both) hold.