def setup

bendvy-ecs-core@0.1.0.4 · event_family_runtime.bend:13

import Base
import bendvy-ecs-core@0.1.0.4/world.bend as W
import bendvy-ecs-core@0.1.0.4/ordinary_event_family.bend as Composition
import bendvy-ecs-core@0.1.0.4/event_family_routing.bend as Route

13# Create typed leaves from the canonical Provision domains/capacity, retaining
14# actual World and supplied H owners with empty journal/tick zero. Does not register
15# readers or automatically synchronize an existing World publication log.
16def setup(~S:Data,~C:Type,~R:Type,~P:Data,~D:Data,~F:Type,~H:Type,~make:D -> Nat -> F,~sync:F -> Nat -> List<&2,P> -> F,~frame:F -> Nat -> F,~retain:F -> Nat -> List<&2,P> -> F & List<&2,P>,~inventory:F -> F & List<&2,String>,world:W.World<S,C,R,P>,provision:Composition.Provision<S,P,D,F,make,sync,frame,retain,inventory>,owners:H,capacity:Nat) -> Route.Runtime<S,C,R,P,State<P,F,H>>:
17  match provision:
18    case Composition.Provision{domains}:Route.Runtime{world,State{make(domains,capacity),owners,[],0n},0n}