• Home
• org.specs2
• specs2-cats_2.11
• 3.8.3-scalaz-7.1
• source code
• XorMatchers.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.XorMatchers.scala Maven / Gradle / Ivy

package org.specs2
package matcher

import cats.data.Xor

/**
 * Matchers for the Xor datatype
 */
trait XorMatchers extends EitherMatchers with MatchersImplicits {

  def beXorRight[T](t: ValueCheck[T]) = XorRightDisjunctionCheckedMatcher(t)
  def beXorRight[T] = XorRightDisjunctionMatcher[T]()

  def beXorLeft[T](t: ValueCheck[T]) = XorLeftDisjunctionCheckedMatcher(t)
  def beXorLeft[T] = XorLeftDisjunctionMatcher[T]()

}

object XorMatchers extends XorMatchers

case class XorRightDisjunctionMatcher[T]() extends OptionLikeMatcher[({type l[a]= _ Xor a})#l, T, T]("Right", (_:Any Xor T).toEither.right.toOption)
case class XorRightDisjunctionCheckedMatcher[T](check: ValueCheck[T]) extends OptionLikeCheckedMatcher[({type l[a]= _ Xor a})#l, T, T]("Right", (_:Any Xor T).toEither.right.toOption, check)

case class XorLeftDisjunctionMatcher[T]() extends OptionLikeMatcher[({type l[a]= a Xor _})#l, T, T]("Left", (_:T Xor Any).toEither.left.toOption)
case class XorLeftDisjunctionCheckedMatcher[T](check: ValueCheck[T]) extends OptionLikeCheckedMatcher[({type l[a]=a Xor _})#l, T, T]("Left", (_: T Xor Any).toEither.left.toOption, check)