ExecutionLifetimeScopeStore.snapshot_checked: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/execution_lifetime_scope_store.bend as ExecutionLifetimeScopeStore
Lines 39-42 of bendvy-ecs-core@0.1.0.3/execution_lifetime_scope_store.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/execution_lifetime_scope_store.bend&start_line=39&end_line=42

import Base
import bendvy-ecs-core@0.1.0.3/lifetime_scope.bend as Scope

def snapshot_checked(~S:Data,allowed:Bool,store:Store<S>,scope:Scope.Scope<S>) -> Store<S> & Snapshot<S>:
  match allowed store scope:
    case False{} store scope:(store,SnapshotRefused{scope})
    case True{} Store{namespace,+members} Scope.Scope{+scopeNamespace,+name}:(Store{namespace,members},Selected{Scope.Scope{scopeNamespace,name},Scope.select(members,name)})

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Pair
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Sigma
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_lifetime_scope_store.bend&name=Snapshot
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_lifetime_scope_store.bend&name=Store
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/lifetime_scope.bend&name=Scope
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/lifetime_scope.bend&name=select