scalatestCoreDotty/org.scalatest.enablers/PropCheckerAsserting

PropCheckerAsserting

trait PropCheckerAsserting[T]
Companion:
object
class Object
trait Matchable
class Any

Type members

Types

type Result

The result type of the check method.

The result type of the check method.

type S

Value members

Abstract methods

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

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

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

Value parameters:
argNames

the list of argument names

fun

the function to be used to check

genA

the generator of type A

names

the list of names

pos

the Position of the caller site

prettifier

the Prettifier to be used to prettify error message

prms

the Configuration.Parameters to be used to check

Returns:

the Result of the property check.

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
def discard(result: S): Boolean
def succeed(result: S): (Boolean, Option[Throwable])