def finished

bendvy-ecs-core@0.1.0.4 · restore_raw.bend:93

import Base
import bendvy-ecs-core@0.1.0.4/decode_data.bend as D
import bendvy-ecs-core@0.1.0.4/snapshot_data.bend as Snapshot

93def finished(original:D.Raw,result:Decoded<Snapshot.Snapshot>) -> Parsed:
94  match result:
95    case Value{snapshot}:Accepted{snapshot}
96    case Failed{error}:Rejected{original,error}