def restored

bendvy-ecs-core@0.1.0.4 · bundle_canonical_construction.bend:8

import Base
import bundle_construction.bend as Build

8# An ordinary schema context owns its constructor factories and other owners.
9# Both factory and rest return through the authored lenses; neither is copied.
10# Canonical decode-construction.request/fallible_request satisfy this request
11# shape. Error remains the caller's selected Data type, including their distinct
12# validation/constructor errors. This introduces no default retry or inverse.
13def restored(~Ctx:Type,~Factory:Type,~Rest:Type,~I:Type,~P:Type,~Error:Data,~restore:Factory -> Rest -> Ctx,rest:Rest,observed:Factory & Build.Construction<I,P,Error>) -> Ctx & Build.Construction<I,P,Error>:
14  match observed:
15    case (factory,result): (restore(factory,rest),result)