def admit

bendvy-ecs-core@0.1.0.4 · restore_graph_runtime_state.bend:42

import Base
import bendvy-ecs-core@0.1.0.4/world.bend as W
import bendvy-ecs-core@0.1.0.4/world_resource_owner.bend as WR
import bendvy-ecs-core@0.1.0.4/owner_product.bend as Product
import bendvy-ecs-core@0.1.0.4/event_notice_runtime.bend as Mixed
import bendvy-ecs-core@0.1.0.4/owned_event_family_catalog.bend as Catalog
import bendvy-ecs-core@0.1.0.4/relation_commands.bend as Notice

42# Internal admitted cleanup derives its complete log/stream tree from the catalog.
43# Allocator, store, registrations and all progress fields are unchanged.
44def admit(~S:Data,~C:Type,~User:Type,~Logs:Type,~Machines:Type,~P:Data,~F:Type,~Owners:Type,~Receipt:Type,~retain:Logs -> List<&2,P> -> Logs & Receipt,~drain:Logs -> Logs & Receipt,~clear:F -> F,-catalog:Catalog.Catalog<P,Logs,F,Receipt,retain,drain,clear>,world:W.World<S,C,Product.Owner<Product.Owner<User,Logs>,Machines>,Notice.Notice<S,P>>,metadata:Mixed.State<S,P,F,Owners> & Nat) -> W.World<S,C,Product.Owner<Product.Owner<User,Logs>,Machines>,Notice.Notice<S,P>> & ((Mixed.State<S,P,F,Owners> & Nat) & Receipt):
45  resource_taken(~S,~C,~User,~Logs,~Machines,~P,~F,~Owners,~Receipt,~drain,~clear,metadata,WR.take(~S,~C,~Product.Owner<Product.Owner<User,Logs>,Machines>,~Notice.Notice<S,P>,world))