scalacheck/org.scalacheck/Prop/Result

Result

case class Result(status: Status, args: List[Arg[Any]], collected: Set[Any], labels: Set[String])

The result of evaluating a property

The result of evaluating a property

trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any

Value members

Concrete methods

def &&(r: Result): Result
def ++(r: Result): Result
def ==>(r: Result): Result
def addArg(a: Arg[Any]): Result
def collect(x: Any): Result
def failure: Boolean
def label(l: String): Result
def proved: Boolean
def success: Boolean
def ||(r: Result): Result

Inherited methods

def productElementNames: Iterator[String]
Inherited from
Product
def productIterator: Iterator[Any]
Inherited from
Product