def register_checked

bendvy-ecs-core@0.1.0.4 · relation_failure_runtime.bend:57

import Base
import internal/relation_failures/domains.bend as D
import world.bend as W
import system.bend as Sy

57def register_checked(~S:Data,~C:Type,~R:Type,~E:Data,~A:Type,~Error:Data,~O:Type,~runner:W.World<S,C,R,E> -> Input<S,E,A> -> Sy.Outcome<W.World<S,C,R,E>,Error,O>,available:Bool,runtime:Runtime<S,C,R,E>,keys:List<&2,D.DescriptorKey<S>>,name:String,access:List<&2,String>) -> Registered<S,C,R,E,A,Error,O,runner>:
58  match available:
59    case False{}:RegistrationFailed{runtime}
60    case True{}:register_available(~S,~C,~R,~E,~A,~Error,~O,~runner,runtime,keys,name,access)