def frame_capture_replace

bendvy-ecs-core@0.1.0.4 · ordinary_recoverable_component_capture.bend:58

import Base
import bendvy-ecs-core@0.1.0.4/world.bend as W
import bendvy-ecs-core@0.1.0.4/column.bend as Col
import bendvy-ecs-core@0.1.0.4/owner_product.bend as Product
import bendvy-ecs-core@0.1.0.4/ordinary_recoverable_array_resource.bend as O
import bendvy-ecs-core@0.1.0.4/recoverable_array.bend as A
import bendvy-ecs-core@0.1.0.4/recoverable_array_owner.bend as AO
import bendvy-ecs-core@0.1.0.4/recoverable_component.bend as RC

58def frame_capture_replace(~S:Data,~P:Type,~Q:Type,~R:Type,~E:Data,owner:O.Frame<Product.Owner<W.World<S,Col.Column<S,P>,R,E>,Array<Q>>,Product.Owner<List<RC.Record<S,P>>,List<A.Record<Q>>>>,incoming:Array<Q>) -> O.Frame<Product.Owner<W.World<S,Col.Column<S,P>,R,E>,Array<Q>>,Product.Owner<List<RC.Record<S,P>>,List<A.Record<Q>>>>:
59  match owner:
60    case O.Frame{state,journal}:frame_replaced(~S,~P,~Q,~R,~E,AO.replace(~Product.Owner<W.World<S,Col.Column<S,P>,R,E>,Array<Q>>,~Q,~W.World<S,Col.Column<S,P>,R,E>,~Product.lens(~W.World<S,Col.Column<S,P>,R,E>,~Array<Q>,~Product.Right{}),~Product.Owner<List<RC.Record<S,P>>,List<A.Record<Q>>>,~List<RC.Record<S,P>>,~Product.lens(~List<RC.Record<S,P>>,~List<A.Record<Q>>,~Product.Right{}),state,journal,incoming))