def indexed_captured_got

bendvy-ecs-core@0.1.0.4 · captured_column.bend:49

import Base
import column.bend as Col
import owner_handoff.bend as H
import lifecycle.bend as L
import indexed_lifecycle.bend as M

49# Exact constant-None specialization of Col.seek: phase and fuel remain observable.
50def indexed_captured_got(~S:Data,~C:Type,+id:U32,values:Array<Maybe<&1,C>>,capacity:U32,owner:Maybe<&1,C>,remaining:H.PrototypeHandoffRows<S,C>,past:Col.History<S,C>,result:M.Metadata & L.Stamp) -> Capture<S,C>:
51  match result:
52    case (metadata,stamp): Captured{id,owner,stamp,slot => indexed_restore_prepared(~S,~C,id,values,metadata,capacity,remaining,past,slot)}