def create

bendvy-ecs-core@0.1.0.4 · ordinary_app_schema.bend:38

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

38# Schema is part of ordinary typed setup; World factory/refusal contracts unchanged.
39# Trusted factory-based World creation returning schema and Creation.
40# Actual empty storage comes from the supplied callback; refusal retains the
41# caller resource owner. Prefer world-io.create for independent IO namespaces.
42def create(~S:Data,~C:Type,~R:Type,~E:Data,~empty:Unit -> C,schema:Schema.Schema<S,C,R>,factory:W.Factory,resource:R) -> Schema.Schema<S,C,R> & W.Creation<S,C,R,E>:
43  (schema,W.create(~S,~C,~R,~E,~empty,factory,resource))