turbolift.internals.effect.CanPerform.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.internals.effect
import turbolift.{!!, Signature}
import turbolift.{ComputationCases => CC}


trait CanPerform[Z <: Signature] extends Signature:
  /** Lifts an invocation of this [[turbolift.Signature Signature]]'s
   *  method into the [[turbolift.Computation Computation]] monad.
   */
  final inline def perform[A, U <: ThisEffect](inline f: (Z & Signature { type ThisEffect = U }) => A !! U): A !! U =
    CC.perform[A, U, Z & Signature { type ThisEffect = U }](this, f)