def finished

bendvy-ecs-core@0.1.0.4 · restore_graph_raw.bend:105

import Base
import bendvy-ecs-core@0.1.0.4/decode_data.bend as D
import bendvy-ecs-core@0.1.0.4/restore_raw.bend as Basic
import bendvy-ecs-core@0.1.0.4/restore_graph_data.bend as Graph

105def finished(original:D.Raw,result:Basic.Decoded<Graph.Snapshot>) -> Parsed:
106  match result:
107    case Basic.Value{snapshot}:Accepted{snapshot}
108    case Basic.Failed{error}:Rejected{original,error}