• Home
• de.leanovate.swaggercheck
• json-schema-gen_2.11
• 0.99.4
• source code
• ValidationResultToProp.scala

×

Project download

Many resources are needed to download a project. Please understand that we have to compensate our server costs. Thank you in advance.
Project price only 1 $

You can buy this project and download/modify it how often you want.

de.leanovate.swaggercheck.schema.ValidationResultToProp.scala Maven / Gradle / Ivy

package de.leanovate.swaggercheck.schema

import de.leanovate.swaggercheck.schema.model.{ValidationSuccess, ValidationFailure, ValidationResult}
import org.scalacheck.Prop
import org.scalacheck.Prop.Result

import scala.language.implicitConversions

object ValidationResultToProp {
  /**
    * Convert to a scala-check `Prop`.
    */
  implicit def verifyProp(verifyResult: ValidationResult): Prop = verifyResult match {
    case ValidationSuccess => Prop.proved
    case ValidationFailure(failures) => Prop(Result(status = Prop.False, labels = failures.toSet))
  }
}