~/jendhub

def trace_status

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

import bendvy-ecs-core@0.1.0.4/ordinary_app_checked_schedule.bend as OrdinaryAppCheckedSchedule
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

60def trace_status(~Error:Data,value:Trace.Status<Error>) -> Trace.Status<Checked.Error<Error>>:
61  match value:
62    case Trace.SystemOk{}:Trace.SystemOk{}
63    case Trace.SystemError{error}:Trace.SystemError{Checked.SystemError{error}}

Uses (2)

Used by (1)