ThoughtWorksInc/Dsl.scala/com.thoughtworks.dsl.keywords/Shift

Shift

object Shift
class Object
trait Matchable
class Any
Shift.type

Type members

Classlikes

object SameDomainStackSafeShiftDsl
object StackSafeShiftDsl

Types

Value members

Concrete methods

def apply[R, A]: R !! A =:= Shift[R, A]

Givens

Givens

given tailRecShiftDsl[R, Value]: SameDomainStackSafeShiftDsl[TailRec[R], Value]

Inherited givens

given `given_SameDomainStackSafeShiftDsl_!!_Value`[LeftDomain, RightDomain, Value](using restDsl: SameDomainStackSafeShiftDsl[LeftDomain, RightDomain]): SameDomainStackSafeShiftDsl[LeftDomain !! RightDomain, Value]
Inherited from:
LowPriorityShift0

Extensions

Extensions

extension [C, R, A](fa: C)
transparent inline def unary_!(using inline notKeyword: NotGiven[C <:< Keyword], inline asContinuation: C <:< R !! A): A

Implicits

Inherited implicits

implicit def stackUnsafeShiftDsl[Domain, Value]: Original[Shift[Domain, Value], Domain, Value]
Inherited from:
LowPriorityShift1