def setup

bendvy-ecs-core@0.1.0.4 · event_publication.bend:16

import Base
import world.bend as W
import ordinary_event_declaration.bend as Event
import event_stream.bend as Leaf

16def setup(~S:Data,~C:Type,~R:Type,~A:Data,~B:Data,~H:Type,world:W.World<S,C,R,Publication<A,B>>,first:Event.Domain<S,A>,second:Event.Domain<S,B>,owners:H,+capacity:Nat) -> Application<S,C,R,A,B,H>:
17  Application{world,Streams{Leaf.provision(~S,~A,first,capacity),Leaf.provision(~S,~B,second,capacity),owners},[],0n,0n}