def skip_named

bendvy-ecs-core@0.1.0.4 · relation_failure_runtime.bend:120

import Base
import internal/relation_failures/domains.bend as D
import world.bend as W
import system.bend as Sy
import event_runtime.bend as Ev

120def skip_named(~S: Data,~C: Type,~R: Type,~E: Data,~A: Type,~Error: Data,~O: Type,~runner: W.World<S,C,R,E> -> Input<S,E,A> -> Sy.Outcome<W.World<S,C,R,E>,Error,O>,reader: Reader<S,C,R,E,A,Error,O,runner>,named: W.World<S,C,R,E> & U32,domains: List<&2,D.Domain<S,E>>,positions: List<&2,Ev.Position>,tick: Nat,frameStart: Nat,boundary: Nat,capacity: Nat,+nextReader: U32) -> Runtime<S,C,R,E> & Reader<S,C,R,E,A,Error,O,runner>:
121  match reader:
122    case Reader{Sy.Registry{+namespace,+id,+name,+access,+cursor},keys,readerId}:
123      (world,actual) = named
124      skip_namespace(~S,~C,~R,~E,~A,~Error,~O,~runner,U32.is_eq(namespace,actual),world,Sy.Registry{namespace,id,name,access,cursor},keys,readerId,domains,positions,tick,frameStart,boundary,capacity,nextReader)