turbolift.io.Cause.scala Maven / Gradle / Ivy

Show more of this group Show more artifacts with this name
Show all versions of turbolift-core_3 Show documentation

Algebraic Effects for Scala 3

The newest version!

package turbolift.io
import turbolift.interpreter.Prompt
import scala.util.{Try, Failure => TryFailure}


sealed abstract class Cause:
  final def toTry: Try[Nothing] = TryFailure(last)
  final def toEither: Either[Throwable, Nothing] = Left(last)
  final def ++(that: Cause): Cause = Cause.Then(this, that)
  final def &(that: Cause): Cause = Cause.Both(this, that)
  
  final def last: Throwable =
    (this: @unchecked) match
      case Cause.Thrown(x) => x
      case Cause.Then(_, x) => x.last
      case Cause.Both(_, x) => x.last
      case Cause.Cancelled => Exceptions.Cancelled
      case Cause.Aborted(x, p) => Exceptions.Aborted(x, p)

  final def all: Vector[Throwable] =
    (this: @unchecked) match
      case Cause.Thrown(x) => Vector(x)
      case Cause.Then(x, y) => x.all ++ y.all
      case Cause.Both(x, y) => x.all ++ y.all
      case Cause.Cancelled => Vector(Exceptions.Cancelled)
      case Cause.Aborted(x, p) => Vector(Exceptions.Aborted(x, p))

object Cause:
  def apply(e: Throwable): Cause = Thrown(e)

  case object Cancelled extends Cause
  case class Thrown(throwable: Throwable) extends Cause
  case class Aborted(value: Any, prompt: Prompt) extends Cause
  case class Then(left: Cause, right: Cause) extends Cause
  case class Both(left: Cause, right: Cause) extends Cause