eu.timepit.refined.api.Result.scala Maven / Gradle / Ivy

Go to download

Show more of this group Show more artifacts with this name
Show all versions of refined_sjs1_2.12 Show documentation

Simple refinement types for Scala

There is a newer version: 0.11.2

package eu.timepit.refined.api

sealed abstract class Result[A] extends Product with Serializable {

  def detail: A

  def as[B](b: B): Result[B] =
    map(_ => b)

  def fold[B](ifPassed: A => B, ifFailed: A => B): B =
    this match {
      case Passed(d) => ifPassed(d)
      case Failed(d) => ifFailed(d)
    }

  def isPassed: Boolean =
    this match {
      case Passed(_) => true
      case Failed(_) => false
    }

  def isFailed: Boolean =
    this match {
      case Passed(_) => false
      case Failed(_) => true
    }

  def map[B](f: A => B): Result[B] =
    fold(a => Passed(f(a)), a => Failed(f(a)))

  def morph[B](ifPassed: B, ifFailed: B): B =
    fold(_ => ifPassed, _ => ifFailed)
}

final case class Passed[A](detail: A) extends Result[A]
final case class Failed[A](detail: A) extends Result[A]

object Result {

  def fromBoolean[A](b: Boolean, detail: A): Result[A] =
    if (b) Passed(detail) else Failed(detail)
}