AddArgs

sealed abstract
class AddArgs extends HasResult
class HasResult
class Result
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
class Exception
class Falsified
class Ignored

Value members

Abstract methods

def addArg(a: Arg): AddArgs

Inherited methods

def canEqual(that: Any): Boolean
Inherited from
Equals
final
def failed: Boolean
Inherited from
Result
def isException: Boolean
Inherited from
Result
def isFalsified: Boolean
Inherited from
Result
def isIgnored: Boolean
Inherited from
Result
def isNoResult: Boolean
Inherited from
Result
def isProven: Boolean
Inherited from
Result
def isUnfalsified: Boolean
Inherited from
Result
def productArity: Int
Inherited from
Product
def productElement(n: Int): Any
Inherited from
Product
def productElementName(n: Int): String
Inherited from
Product
def productElementNames: Iterator[String]
Inherited from
Product
def productIterator: Iterator[Any]
Inherited from
Product
def productPrefix: String
Inherited from
Product
Inherited from
HasResult
final
def toOption: Option[HasResult]
Inherited from
Result