scalacheck
1.18.0
API
Generated with
scalacheck/org.scalacheck/Prop/Result

Result

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

The result of evaluating a property

Attributes

Source
Prop.scala
Graph
Supertypes
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Members list

Value members

Concrete methods

def &&(r: Result): Result

Attributes

Source
Prop.scala
def ++(r: Result): Result

Attributes

Source
Prop.scala
def ==>(r: Result): Result

Attributes

Source
Prop.scala
def addArg(a: Arg[Any]): Result

Attributes

Source
Prop.scala
def collect(x: Any): Result

Attributes

Source
Prop.scala
def failure: Boolean

Attributes

Source
Prop.scala
def label(l: String): Result

Attributes

Source
Prop.scala
def proved: Boolean

Attributes

Source
Prop.scala
def success: Boolean

Attributes

Source
Prop.scala
def ||(r: Result): Result

Attributes

Source
Prop.scala

Inherited methods

def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
Generated with