PropCheckerAsserting

abstract def check1[A](fun: (A) ⇒ T, genA: Generator[A], prms: Parameter, prettifier: Prettifier, pos: Position, names: List[String], argNames: Option[List[String]] = None): Result

Perform the property check using the given function, generator and Configuration.Parameters.

abstract def check2[A, B](fun: (A, B) ⇒ T, genA: Generator[A], genB: Generator[B], prms: Parameter, prettifier: Prettifier, pos: Position, names: List[String], argNames: Option[List[String]] = None): Result

abstract def check3[A, B, C](fun: (A, B, C) ⇒ T, genA: Generator[A], genB: Generator[B], genC: Generator[C], prms: Parameter, prettifier: Prettifier, pos: Position, names: List[String], argNames: Option[List[String]] = None): Result

abstract def check4[A, B, C, D](fun: (A, B, C, D) ⇒ T, genA: Generator[A], genB: Generator[B], genC: Generator[C], genD: Generator[D], prms: Parameter, prettifier: Prettifier, pos: Position, names: List[String], argNames: Option[List[String]] = None): Result

abstract def check5[A, B, C, D, E](fun: (A, B, C, D, E) ⇒ T, genA: Generator[A], genB: Generator[B], genC: Generator[C], genD: Generator[D], genE: Generator[E], prms: Parameter, prettifier: Prettifier, pos: Position, names: List[String], argNames: Option[List[String]] = None): Result

abstract def check6[A, B, C, D, E, F](fun: (A, B, C, D, E, F) ⇒ T, genA: Generator[A], genB: Generator[B], genC: Generator[C], genD: Generator[D], genE: Generator[E], genF: Generator[F], prms: Parameter, prettifier: Prettifier, pos: Position, names: List[String], argNames: Option[List[String]] = None): Result

abstract def discard(result: S): Boolean

abstract def succeed(result: S): (Boolean, Option[Throwable])

final def !=(arg0: AnyRef): Boolean

final def !=(arg0: Any): Boolean

final def ##(): Int

final def ==(arg0: AnyRef): Boolean

final def ==(arg0: Any): Boolean

final def asInstanceOf[T0]: T0

def clone(): AnyRef

final def eq(arg0: AnyRef): Boolean

def equals(arg0: Any): Boolean

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

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