Result

scalaprops.Result
See theResult companion class
object Result

Attributes

Companion
class
Graph
Supertypes
trait Sum
trait Mirror
class Object
trait Matchable
class Any
Self type
Result.type

Members list

Type members

Classlikes

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

Attributes

Supertypes
class AddArgs
class HasResult
class Result
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
final case class Falsified(args: List[Arg]) extends AddArgs

Attributes

Supertypes
class AddArgs
class HasResult
class Result
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
final case class Ignored(reason: String) extends AddArgs

Attributes

Supertypes
class AddArgs
class HasResult
class Result
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
Self type
case object NoResult extends Result

Attributes

Supertypes
trait Singleton
trait Product
trait Mirror
class Result
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
Self type
NoResult.type
case object Proven extends HasResult

Attributes

Supertypes
trait Singleton
trait Product
trait Mirror
class HasResult
class Result
trait Serializable
trait Product
trait Equals
class Object
trait Matchable
class Any
Show all
Self type
Proven.type
final case class Unfalsified(args: List[Arg]) extends AddArgs

Attributes

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

Inherited and Abstract types

type MirroredElemLabels <: Tuple

The names of the product elements

The names of the product elements

Attributes

Inherited from:
Mirror
type MirroredLabel <: String

The name of the type

The name of the type

Attributes

Inherited from:
Mirror