All Downloads are FREE. Search and download functionalities are using the official Maven repository.

scalaprops.CheckResult.scala Maven / Gradle / Ivy

package scalaprops

import scalaz.IList

sealed abstract class CheckResult extends Product with Serializable{
  def succeeded: Int
  def discarded: Int
}

object CheckResult {
  final case class Passed(override val succeeded: Int, override val discarded: Int) extends CheckResult
  final case class Proven(override val succeeded: Int, override val discarded: Int) extends CheckResult
  final case class Falsified(override val succeeded: Int, override val discarded: Int, args: IList[Arg]) extends CheckResult
  final case class Exhausted(override val succeeded: Int, override val discarded: Int) extends CheckResult
  final case class PropException(override val succeeded: Int, override val discarded: Int, args: IList[Arg], exception: Throwable) extends CheckResult
  final case class GenException(override val succeeded: Int, override val discarded: Int, exception: Throwable) extends CheckResult
  final case class Timeout(override val succeeded: Int, override val discarded: Int) extends CheckResult
  final case class Ignored(override val succeeded: Int, override val discarded: Int, reason: String) extends CheckResult
}




© 2015 - 2025 Weber Informatics LLC | Privacy Policy