def empty_store

bendvy-ecs-core@0.1.0.4 · ordinary_lifetime_scope.bend:20

import Base
import bendvy-ecs-core@0.1.0.4/lifetime_scope.bend as Sc
import bendvy-ecs-core@0.1.0.4/relation_commands.bend as A

20# Scope metadata does not add a component/schema entry. Original owners survive.
21# Trusted schema adapter: build an empty component store with scope membership
22# and relation-graph wrappers. Component payload C may contain affine owners;
23# empty constructs C once. Scope membership adds no component schema entry.
24def empty_store(~S:Data,~C:Type,~empty:Unit -> C,unit:Unit) -> A.Store<S,Sc.Store<S,C>>:
25  A.empty(~S,~Sc.Store<S,C>,Sc.empty(~S,~C,empty(unit)))