def mapped

bendvy-ecs-core@0.1.0.4 · restore_storage.bend:19

import Base
import bendvy-ecs-core@0.1.0.4/change_tick.bend as Tick
import bendvy-ecs-core@0.1.0.4/restore_data.bend as R
import bendvy-ecs-core@0.1.0.4/restore_leaf.bend as Stage
import bendvy-ecs-core@0.1.0.4/column.bend as Col
import bendvy-ecs-core@0.1.0.4/world.bend as W
import bendvy-ecs-core@0.1.0.4/entity_key.bend as Key

19def mapped(~S:Data,~Context:Type,~I:Type,~P:Type,+saved:Key.Key,owner:P,undo:P -> I,state:Stage.State<Context,I,P>,column:Col.Column<S,P>,tick:Tick.Tick,target:Maybe<&2,W.Handle<S>>) -> Col.Column<S,P> & Stage.State<Context,I,P>:
20  match state target:
21    case Stage.State{context,records,returned,removed,applied} None{}:(column,Stage.State{context,Stage.Record{R.Component{saved},owner,undo} <> records,returned,removed,applied})
22    case Stage.State{context,records,returned,removed,applied} Some{+target}:inserted(~S,~Context,~I,~P,R.Component{saved},undo,context,records,returned,removed,applied,target,tick,Col.swap(~S,~P,Col.ensure(~S,~P,column,W.handle_index(~S,target)),W.handle_index(~S,target),Some{owner}))