Flow

Alias for unary resume.

Alias for binary resume.

Handles given computation locally.

Returns a triple of:

1. The result of handling of the effect, in the scope delimited by the body.
2. A fresh Control object.
3. The latest state, coming from possible updates inside the body.

The fresh Control should be used for subsequent resumption, because it captures actions, that may have been performed inside the body by other effects.

The stale continuation (this) can be resumed too. However, this introduces semantic fragility. Such that, we may find that some of those other effects are undone, even though we have just got a hold on the value computed with their participation.

The undoability of each one of the other effects, depends on its own handler:

• Does the handler use IO? (e.g. State.handlers.local vs State.handlers.shared)
• Is the other effect handled before, or after the current effect? The former is undoable.

Like the unary local, but also with updating the state.

Resumes the continuation.

Resumes the continuation, also updating the state.

Returns a string representation of the object.

The default representation is platform dependent.