def register_result

bendvy-ecs-core@0.1.0.4 · removals.bend:40

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

40def register_result(~S: Data,~C: Type,~R: Type,~E: Data,~F: Data,~select: E -> Maybe<&2,Record<S,F>>,registered: W.World<S,C,R,E> & W.Registration,+namespace: U32,+name: String,cursor: Nat) -> Registered<S,C,R,E,F,select>:
41  match registered:
42    case (world,W.Registered{id}): Registered{world,Reader{namespace,id,name,cursor}}
43    case (world,W.RegistrationRejected{_}): Rejected{world}