def frame

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

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

94def frame(~S:Data,~C:Type,~R:Type,~P:Data,~F:Type,~H:Type,~frame:F -> Nat -> F,~retain:F -> Nat -> List<&2,P> -> F & List<&2,P>,runtime:Route.Runtime<S,C,R,Notice.Notice<S,P>,State<S,P,F,H>>) -> Route.Runtime<S,C,R,Notice.Notice<S,P>,State<S,P,F,H>>:
95  match runtime:
96    case Route.Runtime{world,State{Family.State{family,owners,journal,_},failures},+tick}:framed(~S,~C,~R,~P,~F,~H,owners,failures,tick,W.events_view(~S,~C,~R,~Notice.Notice<S,P>,world),retention(~P,~F,~retain,journal,frame(family,tick)))