• Home
• app.cash.quiver
• lib
• 0.5.12
• source code
• OutcomeEagerEffectScope.kt

×

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.

app.cash.quiver.continuations.OutcomeEagerEffectScope.kt Maven / Gradle / Ivy

@file:Suppress("DEPRECATION")

package app.cash.quiver.continuations

import arrow.core.Either
import arrow.core.continuations.EagerEffectScope
import arrow.core.continuations.EffectScope
import arrow.core.continuations.eagerEffect
import arrow.core.continuations.effect
import arrow.core.left
import arrow.core.merge
import arrow.core.right
import app.cash.quiver.Absent
import app.cash.quiver.Failure
import app.cash.quiver.Outcome
import app.cash.quiver.Present

@JvmInline
value class OutcomeEagerEffectScope(private val cont: EagerEffectScope, Absent>>) :
  EagerEffectScope, Absent>> {

  suspend fun  Outcome.bind(): B =
    when (this) {
      is Absent -> shift(Absent.right())
      is Failure -> shift(this.left())
      is Present -> value
    }

  @Suppress("ILLEGAL_RESTRICTED_SUSPENDING_FUNCTION_CALL")
  override suspend fun  shift(r: Either, Absent>): B = cont.shift(r)
}

@JvmInline
value class OutcomeEffectScope(private val cont: EffectScope, Absent>>) :
  EffectScope, Absent>> {

  public suspend fun  Outcome.bind(): B =
    when (this) {
      Absent -> shift(Absent.right())
      is Failure -> shift(this.left())
      is Present -> value
    }

  override suspend fun  shift(r: Either, Absent>): B =
    cont.shift(r)
}

@Suppress("ClassName")
object outcome {
  inline fun  eager(crossinline f: suspend OutcomeEagerEffectScope.() -> A): Outcome =
    eagerEffect {
      @Suppress("ILLEGAL_RESTRICTED_SUSPENDING_FUNCTION_CALL")
      f(OutcomeEagerEffectScope(this))
    }.fold({ it.merge() }, ::Present)

  suspend inline operator fun  invoke(crossinline f: suspend OutcomeEffectScope.() -> A): Outcome =
    effect { f(OutcomeEffectScope(this)) }.fold({ it.merge() }, ::Present)
}