Control

Unwind the stack until the end of the effect's scope.

Can be thought of as "invoking the continuation zero times", as in: capture(_ => value).

However, abort(value) also invokes finalization clauses during stack unwinding.

Captures the continuation.

Unwinds the stack up to the end of the effect's scope. The unwound part of the stack is reified as a Continuation object.

Like capture, except it also accesses the local state.

Fusion of Local.get and capture.

Changes scope of the effect.

The scope of the effect is defined as either:

• The body of the innermost delimit call.
• The the whole scope of the effect's handler, if none of the above is found.

Like delimitPut, but modifies the local state, instead of replacing it.

Like delimit, but also replaces the local state.

Upon exit of delimit's body, the local state is restored to its original value.