turbolift.internals.auxx.CanRun.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.auxx
import scala.annotation.implicitNotFound
import turbolift.!!

//@#@ not used anymore

@implicitNotFound(msg =
  "Effect leak (implicit not found: CanRun)"+
  "\n  Effects remaining unhandled:"+
  "\n    ${U}"
)
//// asserts U is empty set
private[turbolift] sealed trait CanRun[U]:
  def apply[A](comp: A !! U): A !! Any

private[turbolift] object CanRun:
  private[turbolift] val singleton = new CanRun[Any]:
    override def apply[A](comp: A !! Any): A !! Any = comp

  implicit def CanRun_evidence[U](implicit ev: U =:= Any): CanRun[U] =
    CanRun.singleton.asInstanceOf[CanRun[U]]