def graph_preflight

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

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_relation_provider.bend as GraphProvider
import bendvy-ecs-core@0.1.0.3/execution_relation_store.bend as GraphStore
import bendvy-ecs-core@0.1.0.3/relation_types.bend as T

24def graph_preflight(~S:Data,~descriptor:T.Descriptor<S>,~key:String,expected:U32,owners:Layout.resources(~S,GraphProvider.layout(~S,~descriptor,key))) -> Layout.resources(~S,GraphProvider.layout(~S,~descriptor,key)) & Bool:
25  match owners:
26    case Layout.ResourceSlot{Layout.Viewed{GraphStore.Store{+namespace,graph,failures,sequence,nextReader},cache},stamp}:(Layout.ResourceSlot{Layout.Viewed{GraphStore.Store{namespace,graph,failures,sequence,nextReader},cache},stamp},U32.is_eq(expected,namespace))