def take

bendvy-ecs-core@0.1.0.4 · machine_world.bend:18

import Base
import machine.bend as M
import world.bend as W

18def take(~S: Data,~K: Data,~V: Data,~C: Type,~R: Type,~E: Data,
19  ~take_resource: R -> R & M.Slot<S,K,V>,world: W.World<S,C,R,E>) -> W.World<S,C,R,E> & M.Slot<S,K,V>:
20  match world:
21    case W.World{ns,allocator,store,resources,events,commands,registrations,nextSystem,clock}:
22      take_join(~S,~K,~V,~C,~R,~E,ns,allocator,store,take_resource(resources),events,commands,registrations,nextSystem,clock)