Proved

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

ScalaCheck managed to prove the property correct

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