def edit_slot

bendvy-ecs-core@0.1.0.3 · execution_resource_interpreter.bend:24

import Base
import bendvy-ecs-core@0.1.0.3/execution_resource_store.bend as Store

24def edit_slot(-Slot:Type,-Rest:Type,-Resources:Type,-P:Type,-Out:Type,put:Rest -> Slot -> Resources,rewrite:Slot -> Slot & Out,result:Rest & Slot) -> Resources & Store.Edit<P,Out>:
25  match result:
26    case (rest,slot):edited_slot(Slot,Rest,Resources,P,Out,put,rest,rewrite(slot))