Result

sealed abstract
class Result extends Product with Serializable
Companion
object
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
class HasResult
class AddArgs
class Exception
class Falsified
class Ignored
object Proven
object NoResult

Value members

Concrete methods

final
def failed: Boolean
def isException: Boolean
def isFalsified: Boolean
def isIgnored: Boolean
def isNoResult: Boolean
def isProven: Boolean
def isUnfalsified: Boolean
final
def toOption: Option[HasResult]

Inherited methods

def canEqual(that: Any): Boolean
Inherited from
Equals
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