def Generation.result

bend-trace-context@0.2.0.0 · trace_context.bend:1455

import Base

1455# The generation's result: the context it created, or why it failed. One that
1456# still needs a word once its budget is spent has exhausted its candidates;
1457# the root_ends, child_ends and restart_ends laws show that the budgets
1458# suffice.
1459def Generation.result(generation: Generation) -> Result<&2, &2, GenerationError, LocalContext>:
1460  match generation:
1461    case Generation{fuel, step}:
1462      Step.result(step)