def convert

bendvy-ecs-core@0.1.0.3 · world_io.bend:16

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

16def convert(~S: Data,~C: Type,~R: Type,~E: Data,created: W.Creation<S,C,R,E>) -> Creation<S,C,R,E>:
17  match created:
18    case W.Created{_,world}: Created{world}
19    case W.CreateRejected{_,resource}: Refused{resource}