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

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 ||(r: Result): Result

Inherited methods

def productIterator: Iterator[Any]
Inherited from:
Product