def reassemble

bendvy-ecs-core@0.1.0.3 · execution_state.bend:25

import Base
import bendvy-ecs-core@0.1.0.3/world.bend as W

25def reassemble(~S:Data,~C:Type,~R:Type,~E:Data,admin:Administration<S,C,R,E>,invocation:Invocation<S>,scope:Scope<S,C,R>) -> W.World<S,C,R,E>:
26  match admin invocation scope:
27    case Administration{events,pending,registrations,nextSystemId,clock,lifecycle} Invocation{namespace,allocator,_,_} Scope{store,resource,_,_,_,+lifecycleView}:W.World{namespace,allocator,store,resource,events,pending,registrations,nextSystemId,clock,lifecycle}