def run

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

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

16# Parse before invoking the closed typed restore callback. Parse failure does not
17# call restore or consume its actual owners; success transfers owner/runtime and
18# Snapshot exactly once. Callback Output must retain whatever owners/results its
19# contract requires; this generic wrapper adds no rollback or recovery guarantee.
20# See docs/parity/restore-basic.md and its RawOwner.run consumer.
21def run(~Owner:Type,~Runtime:Type,~Output:Type,~restore:Owner -> Runtime -> Snapshot.Snapshot -> Output,owner:Owner,runtime:Runtime,+input:D.Raw) -> Returned<Owner,Runtime,Output>:
22  parsed(~Owner,~Runtime,~Output,~restore,input,owner,runtime,Raw.parse(input))