• Home
• dev.continuously.libretto
• libretto-core_3
• 0.3.2
• source code
• CrashDSL.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.CrashDSL.scala Maven / Gradle / Ivy

package libretto.crash

import libretto.puro.{Puro, PuroLib}

trait CrashDSL extends Puro {
  /** Starts propagating an error downstream (which might be through both the in-port and the out-port).
    *
    * Use only for irrecoverable errors.
    * Recoverable errors should be expressed in function signature
    * and handled appropriately.
    *
    * [[Done]] on the in-port is the trigger to crash.
    * [[A]] on the in-port allows to consume any unhandled resources.
    * [[B]] on the out-port allows to fulfill any obligation to produce resources.
    */
  def crashWhenDone[A, B](msg: String): (Done |*| A) -⚬ B

  private val lib = PuroLib(this)
  import lib.*

  def crashWhenNeed[A, B](msg: String): A -⚬ (Need |*| B) =
    introFst(lInvertSignal) > assocLR > snd(crashWhenDone(msg))

  def crashNow[A, B](msg: String): A -⚬ B =
    introFst(done) > crashWhenDone(msg)

  def crashd(msg: String): Done -⚬ Done =
    introSnd > crashWhenDone(msg)

  def crashn(msg: String): Need -⚬ Need =
    crashWhenNeed(msg) > elimSnd
}