def read_named

bendvy-ecs-core@0.1.0.4 · events.bend:38

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

38def read_named(~S: Data,~C: Type,~R: Type,~E: Data,named: W.World<S,C,R,E> & U32,reader: Reader<S>) -> Observed<S,C,R,E>:
39  match named reader:
40    case (world,actual) Reader{+namespace,+offset}: read_checked(~S,~C,~R,~E,U32.is_eq(actual,namespace),world,Reader{namespace,offset})