turbolift.io.Semaphore.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.{!!, ComputationCases => CC}
import turbolift.effects.IO
import turbolift.internals.engine.concurrent.util.SemaphoreImpl


sealed trait Semaphore:
  final def acquire(count: Long): Unit !! IO = CC.intrinsic(_.intrinsicAcquireSemaphore(this, count))

  final def release(count: Long): Unit !! IO = !!.impure(unsafeRelease(count))

  final def use[A, U <: IO](count: Long)(body: A !! U): A !! U = IO.bracket(acquire(count))(_ => release(count))(_ => body)

  def unsafeRelease(count: Long): Unit

  private[turbolift] final def asImpl: SemaphoreImpl = asInstanceOf[SemaphoreImpl]


object Semaphore:
  private[turbolift] trait Unsealed extends Semaphore

  def apply(initial: Int): Semaphore !! IO = create(initial)
  def create(initial: Int): Semaphore !! IO = !!.impure(new SemaphoreImpl(initial))