Module eff::context

A context for a task

TypedContext corresponds to a continuation. You can wake the task via .waker() and perform a special effect called Continue. Continue effect makes the handler wait for the source computation to complete.

Structs

Context	The untyped context of an effectful computation
TypedContext	The typed context of an computation
Waker	The waker of the task

Functions

gen_taker	Helper function for taking the output of an effect of the desired type out of the task-local storage
get_task_context	Get the thread-local task context used by the generator-backed effectful computation
set_task_context	Set the thread-local task context used by the generator-backed effectful computation