def Drive.outcome

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

import Base

1007# The source's final state with the result that `result` gives of the
1008# machine's final step.
1009def Drive.outcome(~T: Data, ~A: Data, ~result: T -> Result<&2, &2, GenerationError, A>, -S: Type, done: S & T) ->
1010  S & Result<&2, &2, GenerationError, A>:
1011  (state, step) = done
1012  (state, result(step))