def spawn

bendvy-ecs-core@0.1.0.3 · execution_command_buffer.bend:82

import bendvy-ecs-core@0.1.0.3/execution_command_buffer.bend as ExecutionCommandBuffer
import Base
import bendvy-ecs-core@0.1.0.3/execution_effects.bend as Effects
import bendvy-ecs-core@0.1.0.3/world.bend as W

82def spawn(~S:Data,~P:Type,~D:Type,~Permit:Data,~F:Type -> Type,~effects:Effects.Effects<F>,~token:Permit,~request:Permit -> F(W.Reservation<S>),buffer:Buffer<S,P,D>,bundle:D) -> F(Buffer<S,P,D> & SpawnAdmission<S,D>):
83  Effects.map(~F,W.Reservation<S>,(Buffer<S,P,D> & SpawnAdmission<S,D>),effects,request(token),answer => stage(~S,~P,~D,buffer,bundle,answer))

Uses (7)

Used by (1)