scalaprops-all/scalaprops/Result

Result

object Result
Companion
class
trait Sum
trait Mirror
class Object
trait Matchable
class Any

Type members

Classlikes

final case
class Exception(args: List[Arg], exception: Throwable) extends AddArgs
final case
class Falsified(args: List[Arg]) extends AddArgs
final case
class Ignored(reason: String) extends AddArgs
case
object NoResult extends Result
case
object Proven extends HasResult
final case
class Unfalsified(args: List[Arg]) extends AddArgs

Inherited types

type MirroredElemLabels <: Tuple

The names of the product elements

The names of the product elements

Inherited from
Mirror
type MirroredLabel <: String

The name of the type

The name of the type

Inherited from
Mirror