• Home
• dev.continuously.libretto
• libretto-core_3
• 0.3.1
• source code
• CrashLib.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.

libretto.crash.CrashLib.scala Maven / Gradle / Ivy

package libretto.crash

import libretto.puro.PuroLib

object CrashLib {
  def apply(
    dsl: CrashDSL,
  )
  : CrashLib[dsl.type] =
    new CrashLib(dsl)
}

class CrashLib[
  DSL <: CrashDSL,
](
  val dsl: DSL,
) { lib =>
  import dsl.*

  private val puroLib = PuroLib(dsl)
  import puroLib.*

  def leftOrCrash[A, B](msg: String = "Expected Left, was Right"): (A |+| B) -⚬ A =
    |+|.signalR > either(id[A], crashWhenDone[B, A](msg))

  def rightOrCrash[A, B](msg: String = "Expected Right, was Left"): (A |+| B) -⚬ B =
    |+|.signalL > either(crashWhenDone[A, B](msg), id[B])
}