ExecutionLifetimeScopeStore.assign_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 29-32 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=29&end_line=32

import Base
import bendvy-ecs-core@0.1.0.3/lifetime_scope.bend as Scope
import bendvy-ecs-core@0.1.0.3/world.bend as W
import bendvy-ecs-core@0.1.0.3/entity_allocator.bend as Allocator

def assign_checked(~S:Data,allowed:Bool,allocator:Allocator.Allocator,store:Store<S>,scope:Scope.Scope<S>,handle:W.Handle<S>) -> Allocator.Allocator & (Store<S> & Assignment<S>):
  match allowed store handle:
    case False{} store handle:(allocator,(store,AssignmentRefused{scope,handle,NamespaceMismatch{}}))
    case True{} Store{namespace,members} W.Handle{+handleNamespace,+key}:assigned(~S,scope,W.Handle{handleNamespace,key},namespace,members,Allocator.checked(allocator,key,1))

Uses (11):
  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/entity_allocator.bend&name=Allocator
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/entity_allocator.bend&name=checked
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_lifetime_scope_store.bend&name=Assignment
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/execution_lifetime_scope_store.bend&name=Refusal
  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/execution_lifetime_scope_store.bend&name=assigned
  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/world.bend&name=Handle