PropertyT

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: Any): Boolean

final def asInstanceOf[T0]: T0

def classify(name: LabelName, covered: (A) ⇒ Cover): PropertyT[A]

Records the proportion of tests which satisfy a given condition.

def clone(): AnyRef

def collect: PropertyT[A]

Like 'label', but uses the toString value as the label.

def cover(minimum: CoverPercentage, name: LabelName, covered: (A) ⇒ Cover): PropertyT[A]

Records the proportion of tests which satisfy a given condition.

final def eq(arg0: AnyRef): Boolean

def flatMap[B](f: (A) ⇒ PropertyT[B]): PropertyT[B]

final def getClass(): Class[_]

final def isInstanceOf[T0]: Boolean

def label(name: LabelName): PropertyT[A]

Add a label for each test run.

def map[B](f: (A) ⇒ B): PropertyT[B]

final def ne(arg0: AnyRef): Boolean

final def notify(): Unit

final def notifyAll(): Unit

val run: GenT[(Journal, Option[A])]

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

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

final def wait(arg0: Long): Unit

final def wait(): Unit

def finalize(): Unit