def scope_preflight

bendvy-ecs-core@0.1.0.3 · execution_schema_provisioning.bend:27

import Base
import bendvy-ecs-core@0.1.0.3/execution_composer_layout.bend as Layout
import bendvy-ecs-core@0.1.0.3/execution_lifetime_scope_provider.bend as ScopeProvider
import bendvy-ecs-core@0.1.0.3/execution_lifetime_scope_store.bend as ScopeStore

27def scope_preflight(~S:Data,~key:String,expected:U32,owners:Layout.resources(~S,ScopeProvider.layout(~S,key))) -> Layout.resources(~S,ScopeProvider.layout(~S,key)) & Bool:
28  match owners:
29    case Layout.ResourceSlot{Layout.Viewed{ScopeStore.Store{+namespace,members},cache},stamp}:(Layout.ResourceSlot{Layout.Viewed{ScopeStore.Store{namespace,members},cache},stamp},U32.is_eq(expected,namespace))