def open_checked

bendvy-ecs-core@0.1.0.4 · machine_stream.bend:83

import Base

83def open_checked(~S: Data,~M: Data,~V: Data,allowed: Bool,reader: Reader<S,M>,+stream: Stream<V>,+tick: Nat) -> OpenResult<S,M,V>:
84  match allowed reader:
85    case False{}, reader: ReaderRefused{reader,stream}
86    case True{}, Reader{namespace,+id}:
87      Opened{Reader{namespace,id},activate(~V,stream,id,tick),observe(~V,stream,id,tick)}