~/jendhub

def run_namespace_checked

bendvy-ecs-core@0.1.0.4 · system.bend:77

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

77def run_namespace_checked(~S: Data,~C: Type,~R: Type,~E: Data,~Args: Type,~Error: Data,~Output: Type,~runner: W.World<S,C,R,E> -> Args -> Outcome<W.World<S,C,R,E>,Error,Output>,allowed: Bool,registry: Registry<S,C,R,E,Args,Error,Output,runner>,world: W.World<S,C,R,E>,args: Args) -> RunResult<S,C,R,E,Args,Error,Output,runner>:
78  match allowed registry:
79    case False{} registry: RegistrationRejected{registry,world,args}
80    case True{} Registry{+namespace,+id,+name,+access,+cursor}: run_metadata(~S,~C,~R,~E,~Args,~Error,~Output,~runner,Registry{namespace,id,name,access,cursor},W.registration_matches(~S,~C,~R,~E,world,id,name,access),args)

Uses (7)

Used by (1)