def spawn

bendvy-ecs-core@0.1.0.4 · compose.bend:132

import bendvy-ecs-core@0.1.0.4/compose.bend as Compose

import Base
import world.bend as W
import commands.bend as Cmd

132# Advanced reservation/staging operation consuming possibly-affine Payload.
133# Returns Frame and Reservation; refusal records an access error but returns no
134# payload receipt. Reserved handles are Pending, not yet live/readable; populate
135# runs at the barrier after successful finish, with reserved-id progress retained
136# under the ordinary command rollback policy.
137def spawn(~S: Data,~Store: Type,~R: Type,~E: Data,~Payload: Type,~populate: W.World<S,Store,R,E> -> W.Handle<S> -> Payload -> W.World<S,Store,R,E>,frame: Frame<S,Store,R,E>,payload: Payload) -> Frame<S,Store,R,E> & W.Reservation<S>:
138  match frame:
139    case Frame{tx,handle,error,cursor}: spawn_join(~S,~Store,~R,~E,handle,error,cursor,Cmd.tx_spawn(~S,~Store,~R,~E,~Payload,~populate,tx,payload))

Uses (7)

Used by (1)

bendvy-ecs-core@0.1.0.4/compose:command_spawn