~/jendhub

def read_checked

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

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

33def read_checked(~S: Data,~C: Type,~R: Type,~E: Data,allowed: Bool,world: W.World<S,C,R,E>,reader: Reader<S>) -> Observed<S,C,R,E>:
34  match allowed reader:
35    case False{} reader: ForeignReader{world,reader}
36    case True{} Reader{+namespace,+offset}: read_events(~S,~C,~R,~E,namespace,offset,W.events_view(~S,~C,~R,~E,world))

Uses (6)

Used by (1)