eu.throup.couldbe.MustBeGivenEitherCompanion.scala Maven / Gradle / Ivy

Go to download

package eu.throup
package couldbe

private[couldbe] trait MustBeGivenEitherCompanion {
  // Be Right-biased -- if there is a B, we don't care whether there is an A
  implicit def implicitIsGivenRight[A, B](implicit b: B): MustBeGivenEither[A, B] = isGivenRight(b)

  implicit def implicitIsGivenLeft[A, B: NotGiven](implicit a: A): MustBeGivenEither[A, B] = isGivenLeft(a)

  def apply[A, B](implicit ge: MustBeGivenEither[A, B]): MustBeGivenEither[A, B] = ge

  def act[A, B, C](f: A => C)(g: B => C)(implicit ge: MustBeGivenEither[A, B]): C = ge.act(f)(g)

  def isGivenLeft[A, B](a: A): MustBeGivenEither[A, B] = IsGivenLeft(a)

  def isGivenRight[A, B](b: B): MustBeGivenEither[A, B] = IsGivenRight(b)
}