def spawn_reserved

bendvy-ecs-core@0.1.0.4 · bundle_batch.bend:108

import Base
import world.bend as W
import transaction.bend as T

108def spawn_reserved(~S:Data,~Store:Type,~R:Type,~E:Data,~P:Type,prepared:List<Prepared<S,P>>,payload:P,result:T.Tx<W.World<S,Store,R,E>,E> & W.Reservation<S>) -> Spawned<S,Store,R,E,P>:
109  match result:
110    case (T.Tx{world,undo,commands,events,trace},W.Reserved{+target}): spawn_positioned(~S,~Store,~R,~E,~P,target,positioned(~S,~Store,~R,~E,~P,ReservationReceipt{target} <> prepared,world,undo,events,trace,target,payload,count_commands(~W.World<S,Store,R,E>,commands)))
111    case (tx,W.ReservationRejected{error}): SpawnRefused{Batch{tx,prepared},payload,error}