CheckResult

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

Type members

Classlikes

final case
class Exhausted(succeeded: Int, discarded: Int, seed: Seed) extends CheckResult
final case
class Falsified(succeeded: Int, discarded: Int, args: List[Arg], seed: Seed) extends CheckResult
final case
class GenException(succeeded: Int, discarded: Int, exception: Throwable, seed: Seed) extends CheckResult
final case
class Ignored(succeeded: Int, discarded: Int, reason: String, seed: Seed) extends CheckResult
final case
class Passed(succeeded: Int, discarded: Int, seed: Seed) extends CheckResult
final case
class PropException(succeeded: Int, discarded: Int, args: List[Arg], exception: Throwable, seed: Seed) extends CheckResult
final case
class Proven(succeeded: Int, discarded: Int, seed: Seed) extends CheckResult
final case
class Timeout(succeeded: Int, discarded: Int, seed: Seed) extends CheckResult

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