def parsed

bendvy-ecs-core@0.1.0.4 · restore_raw_owner.bend:12

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

12def parsed(~Owner:Type,~Runtime:Type,~Output:Type,~run:Owner -> Runtime -> Snapshot.Snapshot -> Output,+original:D.Raw,owner:Owner,runtime:Runtime,result:Raw.Parsed) -> Returned<Owner,Runtime,Output>:
13  match result:
14    case Raw.Rejected{input,error}:ParseRejected{owner,runtime,input,error}
15    case Raw.Accepted{snapshot}:Delivered{original,run(owner,runtime,snapshot)}