scalaprops-all
API
Generated with
scalaprops-all/scalaprops/Result/Exception

Exception

scalaprops.Result.Exception
final case class Exception(args: List[Arg], exception: Throwable) extends AddArgs

Attributes

Graph
Supertypes
class AddArgs
class HasResult
class Result
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all

Members list

Value members

Concrete methods

override def addArg(a: Arg): AddArgs

Attributes

Definition Classes

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 productElementNames: Iterator[String]

Attributes

Inherited from:
Product
def productIterator: Iterator[Any]

Attributes

Inherited from:
Product
final def provenAsUnfalsified: AddArgs

Attributes

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

Attributes

Inherited from:
Result
Generated with