def trace_completion

bendvy-ecs-core@0.1.0.4 · ordinary_app_checked_schedule.bend:64

import Base
import bendvy-ecs-core@0.1.0.4/execution_trace.bend as Trace
import bendvy-ecs-core@0.1.0.4/checked_condition_schedule.bend as Checked

64def trace_completion(~Error:Data,value:Trace.Completion<Error>) -> Trace.Completion<Checked.Error<Error>>:
65  match value:
66    case Trace.EndOk{}:Trace.EndOk{}
67    case Trace.EndFailed{error}:Trace.EndFailed{Checked.SystemError{error}}
68    case Trace.EndRejected{}:Trace.EndRejected{}
69    case Trace.EndMissing{}:Trace.EndMissing{}