• Home
• org.specs2
• specs2-cats_sjs1_3
• 4.16.0
• source code
• ValidatedMatchers.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.

org.specs2.matcher.ValidatedMatchers.scala Maven / Gradle / Ivy

package org.specs2.matcher

import cats.data.Validated

/**
 * Matchers for the Validated datatype
 */
trait ValidatedMatchers {
  def beValid[T](t: ValueCheck[T]) = ValidValidatedCheckedMatcher(t)
  def beValid[T] = ValidValidatedMatcher[T]()

  def beInvalid[T](t: ValueCheck[T]) = InvalidValidatedCheckedMatcher(t)
  def beInvalid[T] = InvalidValidatedMatcher[T]()
}

object ValidatedMatchers extends ValidatedMatchers

case class ValidValidatedMatcher[T]() extends OptionLikeMatcher[({type l[a]=Validated[?, a]})#l, T, T]("Valid", _.toOption)
case class ValidValidatedCheckedMatcher[T](check: ValueCheck[T]) extends OptionLikeCheckedMatcher[({type l[a]=Validated[?, a]})#l, T, T]("Valid", _.toEither.right.toOption, check)

case class InvalidValidatedMatcher[T]() extends OptionLikeMatcher[({type l[a]=Validated[a, ?]})#l, T, T]("Invalid", _.toEither.left.toOption)
case class InvalidValidatedCheckedMatcher[T](check: ValueCheck[T]) extends OptionLikeCheckedMatcher[({type l[a]=Validated[a, ?]})#l, T, T]("Invalid", _.toEither.left.toOption, check)