def create_checked

bendvy-ecs-core@0.1.0.3 · execution_composer_schema.bend:54

import Base
import bendvy-ecs-core@0.1.0.3/schema_fragments.bend as Fragment
import bendvy-ecs-core@0.1.0.3/execution_composer_layout.bend as Layout
import bendvy-ecs-core@0.1.0.3/world.bend as W

54def create_checked(~S:Data,~components:Layout.Layout,~resources:Layout.Layout,~E:Data,result:Fragment.Validation,factory:W.Factory,owners:Layout.resources(~S,resources)) -> Initialized<S,components,resources,E>:
55  match result:
56    case Fragment.Invalid{error}:SchemaRefused{factory,owners,error}
57    case Fragment.Valid{}:created(~S,~components,~resources,~E,W.create(~S,~Layout.columns(~S,components),~Layout.resources(~S,resources),~E,~empty_columns(~S,~components),factory,owners))