def checked
bendvy-ecs-core@0.1.0.4 · removals.bend:71
import bendvy-ecs-core@0.1.0.4/removals.bend as Removals
import Base
import bendvy-ecs-core@0.1.0.4/world.bend as W
71def checked(~S: Data,~C: Type,~R: Type,~E: Data,~F: Data,~select: E -> Maybe<&2,Record<S,F>>,~Error: Data,~Out: Type,~consume: List<&2,Record<S,F>> -> Result<&2,&1,Error,Out>,allowed: Bool,reader: Reader<S,E,F,select>,world: W.World<S,C,R,E>,cursor: Nat) -> Run<S,C,R,E,F,select,Error,Out>:
72 match allowed:
73 case False{}: Invalid{reader,world}
74 case True{}: viewed(~S,~C,~R,~E,~F,~select,~Error,~Out,~consume,reader,cursor,W.events_view(~S,~C,~R,~E,world))