def with_resources

bendvy-ecs-core@0.1.0.4 · owned_event_storage.bend:22

import Base
import bendvy-ecs-core@0.1.0.4/world_resource_owner.bend as Resource

22def with_resources(~S:Data,~C:Type,~R:Type,~P:Type,~Out:Type,effect:Resources<R,P> -> Resources<R,P> & Out,world:World(~S,~C,~R,~P)) -> World(~S,~C,~R,~P) & Out:
23  resources_taken(~S,~C,~R,~P,~Out,effect,Resource.take(~S,~C,~Resources<R,P>,~Nat,world))