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(paramFun: (Parameters) ⇒ Parameters): Unit

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

p.check(_.withMinSuccessfulTests(500))

p.check { _.
  withMinSuccessfulTests(80000).
  withWorkers(4)
}

def check: Unit

Convenience method that checks this property with the given parameters 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

def contramap(f: (Parameters) ⇒ Parameters): 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 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.