def resources_taken

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

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

19def resources_taken(~S:Data,~C:Type,~R:Type,~P:Type,~Out:Type,effect:Resources<R,P> -> Resources<R,P> & Out,taken:Resource.Rest<S,C,Resources<R,P>,Nat> & Resources<R,P>) -> World(~S,~C,~R,~P) & Out:
20  match taken:
21    case (rest,resources):resources_returned(~S,~C,~R,~P,~Out,rest,effect(resources))