def forgotten

bendvy-ecs-core@0.1.0.3 · execution_lifetime_scope_store.bend:68

import Base
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

68def forgotten(~S:Data,allowed:Bool,allocator:Allocator.Allocator,store:Store<S>,+handle:W.Handle<S>) -> Allocator.Allocator & (Store<S> & Outcome<S>):
69  match allowed:
70    case False{}:(allocator,(store,Refused{Forget{handle}}))
71    case True{}:(allocator,(removed(~S,store,W.handle_key(~S,handle)),Forgotten{handle}))