Proved

sealed case class Proved(args: List[Arg[Any]]) extends Status

ScalaCheck managed to prove the property correct

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

Value members

Inherited methods

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