Result

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

The result of evaluating a property

Source:
Prop.scala
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any

Value members

Concrete methods

def &&(r: Result): Result
Source:
Prop.scala
def ++(r: Result): Result
Source:
Prop.scala
def ==>(r: Result): Result
Source:
Prop.scala
def addArg(a: Arg[Any]): Result
Source:
Prop.scala
def collect(x: Any): Result
Source:
Prop.scala
Source:
Prop.scala
def ||(r: Result): Result
Source:
Prop.scala

Inherited methods

Inherited from:
Product