def framed

bendvy-ecs-core@0.1.0.4 · event_notice_runtime.bend:90

import Base
import bendvy-ecs-core@0.1.0.4/world.bend as W
import bendvy-ecs-core@0.1.0.4/relation_commands.bend as Notice
import bendvy-ecs-core@0.1.0.4/event_family_runtime.bend as Family
import bendvy-ecs-core@0.1.0.4/event_family_routing.bend as Route

90def framed(~S:Data,~C:Type,~R:Type,~P:Data,~F:Type,~H:Type,owners:H,failures:Failures<S,P>,+tick:Nat,observed:W.World<S,C,R,Notice.Notice<S,P>> & List<&2,Notice.Notice<S,P>>,returned:Retention<P,F>) -> Route.Runtime<S,C,R,Notice.Notice<S,P>,State<S,P,F,H>>:
91  match observed returned:
92    case (world,notices) Retention{family,journal,slots}:
93      Route.Runtime{W.events_replace(~S,~C,~R,~Notice.Notice<S,P>,world,rebuilt(~S,~P,notices,slots)),State{Family.State{family,owners,journal,tick},failures},tick}