final case classExhausted(succeeded: Int, discarded: Int) extends CheckResult with Product with Serializable
final case classFalsified(succeeded: Int, discarded: Int, args: IList[Arg]) extends CheckResult with Product with Serializable
final case classGenException(succeeded: Int, discarded: Int, exception: Throwable) extends CheckResult with Product with Serializable
final case classIgnored(succeeded: Int, discarded: Int, reason: String) extends CheckResult with Product with Serializable
final case classPassed(succeeded: Int, discarded: Int) extends CheckResult with Product with Serializable
final case classPropException(succeeded: Int, discarded: Int, args: IList[Arg], exception: Throwable) extends CheckResult with Product with Serializable
final case classProven(succeeded: Int, discarded: Int) extends CheckResult with Product with Serializable
final case classTimeout(succeeded: Int, discarded: Int) extends CheckResult with Product with Serializable