~/jendhub

def append_resources

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

import bendvy-ecs-core@0.1.0.4/owned_event_storage.bend as OwnedEventStorage
import Base
import bendvy-ecs-core@0.1.0.4/owned_event_log.bend as Log

28def append_resources(~R:Type,~P:Type,values:List<P>,resources:Resources<R,P>) -> Resources<R,P> & List<&2,Nat>:
29  match resources:
30    case Resources{resource,log}:appended(~R,~P,resource,Log.append_many(~P,log,values))

Uses (6)

Used by (1)