def Policy.apply.done

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

import Base

3492# The source's final state with a value under `policy`.
3493def Policy.apply.done(-S: Type, policy: FailurePolicy, -A: Data, strict: A -> Result<&2, &2, GenerationError, A>,
3494  done: S & A) -> S & FailurePolicy.result(policy, A):
3495  (source, value) = done
3496  (source, Policy.apply(policy, A, strict, value))