Flow

Alias for unary resume.

Alias for binary resume.

Execute body in the context, where the currently interpreted operation has been encountered.

Similar to local, but more lightweight, as it doesn't modify scope of the effect.

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

Handles given computation locally.

Execute body in the context, where the currently interpreted operation has been encountered, as if scope of the current effect was delimited by body.

Returns a pair of:

1. The result of handling of the effect, in the scope delimited by the body.
2. A fresh Control object.

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.

This alternative behavior is similar to the known problem of Monad Transformers: "catch resets state".

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

Resumes the continuation.

Resumes the continuation, also updating the state.

Tupled version of binary resume.

Returns a string representation of the object.

The default representation is platform dependent.