def frame_swap

bendvy-ecs-core@0.1.0.4 · ordinary_recoverable_array_resource.bend:43

import Base
import bendvy-ecs-core@0.1.0.4/world.bend as W
import bendvy-ecs-core@0.1.0.4/world_resource_owner.bend as WR
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 ArrayOwner

43def frame_swap(~S:Data,~C:Type,~P:Type,~E:Data,owner:Frame<W.World<S,C,Array<P>,E>,List<A.Record<P>>>,index:U32,replacement:P) -> Attempt<Frame<W.World<S,C,Array<P>,E>,List<A.Record<P>>>,P>:
44  match owner:
45    case Frame{world,journal}:swapped(~S,~C,~P,~E,ArrayOwner.swap(~W.World<S,C,Array<P>,E>,~P,~WR.Rest<S,C,Array<P>,E>,~WR.lens(~S,~C,~Array<P>,~E),~List<A.Record<P>>,~Unit,~release(~P),world,journal,index,replacement))