AddArgs

scalaprops.AddArgs
sealed abstract class AddArgs extends HasResult

Attributes

Graph
Supertypes
class HasResult
class Result
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
Known subtypes
class Exception
class Falsified
class Ignored
class Unfalsified

Members list

Value members

Abstract methods

def addArg(a: Arg): AddArgs

Inherited methods

final def failed: Boolean

Attributes

Inherited from:
Result
def isException: Boolean

Attributes

Inherited from:
Result
def isFalsified: Boolean

Attributes

Inherited from:
Result
def isIgnored: Boolean

Attributes

Inherited from:
Result
def isNoResult: Boolean

Attributes

Inherited from:
Result
def isProven: Boolean

Attributes

Inherited from:
Result
def isUnfalsified: Boolean

Attributes

Inherited from:
Result
def productElementName(n: Int): String

Attributes

Inherited from:
Product
def productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
def productPrefix: String

Attributes

Inherited from:
Product

Attributes

Inherited from:
HasResult
final def toOption: Option[HasResult]

Attributes

Inherited from:
Result

Inherited and Abstract methods

def canEqual(that: Any): Boolean

Attributes

Inherited from:
Equals
def productArity: Int

Attributes

Inherited from:
Product
def productElement(n: Int): Any

Attributes

Inherited from:
Product