def finished

bendvy-ecs-core@0.1.0.3 · restore_prepare.bend:44

import Base
import bendvy-ecs-core@0.1.0.3/restore_data.bend as R
import bendvy-ecs-core@0.1.0.3/snapshot_data.bend as Snapshot

44def finished(~State:Type,~Custom:Data,~release:State -> State,+input:Snapshot.Snapshot,result:Walk<State,Custom>) -> R.Prepared<State,Custom>:
45  match result:
46    case Working{state}:R.BendvyReady{state,input}
47    case Stopped{state,error}:R.Refused{release(state),input,error}