def frame_replace

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

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

36def frame_replace(~S:Data,~C:Type,~P:Type,~E:Data,owner:Frame<W.World<S,C,Array<P>,E>,List<A.Record<P>>>,replacement:Array<P>) -> Frame<W.World<S,C,Array<P>,E>,List<A.Record<P>>>:
37  match owner:
38    case Frame{world,journal}:replaced(~S,~C,~P,~E,ArrayOwner.replace(~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,replacement))