Macro eff::handler

macro_rules! handler {
    ($value:pat => $value_handler:expr $(, $effect:pat, $k:pat => $handler:expr)* $(,)?) => { ... };
}

Create a handler

The first arm corresponds to a value handler which is called upon completing the source computation.

The other arms handles effects performed by the source computation. Each arm takes an effect and a continuation which can wake up the task via waker(). See also TypedContext.