Polysemy.Capture

A less powerful variant of Polysemy.Shift.Shift that may always be interpreted safely. Unlike Polysemy.Shift.Shift, continuations can't leave the scope in which they are provided.

Note: Any computation used in a higher-order effect will be delimited.

Activating polysemy-plugin is highly recommended when using this effect in order to avoid ambiguous types.

Reifies the current continuation in the form of a prompt, and passes it to the first argument.

Provide an answer to a prompt, jumping to its reified continuation. This will not abort the current continuation, and the reified computation will return its final result when finished.

The provided continuation may fail locally in its subcontinuations. It may sometimes become necessary to handle such cases. To do so, use delimit' together with reflect (the reified continuation is already delimited).

Delimits any continuations

Delimits any continuations, and detects if any subcontinuation has failed locally.

A restricted version of shift. Executing the provided continuation will not abort execution.

The provided continuation may fail locally in its subcontinuations. It may sometimes become necessary to handle such cases, in which case such failure may be detected by using delimit' together with the provided continuation (the provided continuation is already delimited).

Runs a Capture effect by providing pure . Just as the final continuation.

The final return type is wrapped in a Maybe due to the fact that any continuation may fail locally.

Runs a Capture effect by explicitly providing a final continuation.

The final return type is wrapped in a Maybe due to the fact that any continuation may fail locally.