Shift

object Shift extends LowPriorityShift0
trait LowPriorityShift0
trait LowPriorityShift1
class Object
trait Matchable
class Any

Type members

Types

opaque type StackSafeShiftDsl[Domain, NewDomain, Value]

Value members

Concrete methods

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

Givens

Givens

given IsKeyword_Shift_Value[Domain, Value]: IsKeyword[Shift[Domain, Value], Value]
@inline
given `SameDomainStackSafeShiftDsl_!!_Value`: SameDomainStackSafeShiftDsl[LeftDomain !! Throwable, Value]
@inline
given `StackSafeShiftDsl_!!_!!_Value`: StackSafeShiftDsl[LeftDomain !! Throwable, LeftDomain !! Throwable !! RightDomain, Value]
@inline
given tailRecShiftDsl: SameDomainStackSafeShiftDsl[TailRec[R], Value]

Inherited givens

given `SameDomainStackSafeShiftDsl_!!_Value`: 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

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