PropCheckerAssertingImpl

abstract class PropCheckerAssertingImpl[T] extends PropCheckerAsserting[T]
class Object
trait Matchable
class Any

Type members

Types

type S = T

Inherited types

type Result

The result type of the check method.

The result type of the check method.

Inherited from:
PropCheckerAsserting

Value members

Concrete methods

def check1[A](fun: A => T, genA: Generator[A], prms: Parameter, prettifier: Prettifier, pos: Position, names: List[String], argNames: Option[List[String]]): Result
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]]): Result
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]]): Result
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]]): Result
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]]): Result
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]]): Result

Inherited methods

def discard(result: S): Boolean
Inherited from:
PropCheckerAsserting
def succeed(result: S): (Boolean, Option[Throwable])
Inherited from:
PropCheckerAsserting