def barrier

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

import bendvy-ecs-core@0.1.0.4/event_notice_runtime.bend as EventNoticeRuntime
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/internal/relation_failures/domains.bend as D
import bendvy-ecs-core@0.1.0.4/event_family_routing.bend as Route

190def barrier(~S:Data,~C:Type,~R:Type,~P:Data,~F:Type,~H:Type,~classify:Notice.Notice<S,P> -> Maybe<D.DescriptorKey<S>>,context: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>>:
191  match context:
192    case Route.Runtime{world,State{typed,Failures{domains,positions,failureTick,frameStart,boundary,capacity,nextReader}},tick}:
193      barrier_advanced(~S,~C,~R,~P,~F,~H,~classify,typed,domains,positions,Nat.max(tick,failureTick),frameStart,boundary,capacity,nextReader,W.enter_run(~S,~C,~R,~Notice.Notice<S,P>,world))

Uses (9)

Used by (0)

No other definition uses this definition.