def create

bendvy-ecs-core@0.1.0.4 · ordinary_schema_provision.bend:61

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

61# Trusted factory-based World creation returning provision and Creation.
62# Refusal preserves caller resources through the Creation result. This uses
63# the supplied pure Factory and does not allocate a process-unique namespace;
64# prefer checked IO creation for independently created ordinary Worlds.
65def create(~S:Data,~C:Type,~R:Type,~E:Data,~empty:Unit -> C,~count:C -> List<&2,W.Handle<S>> -> C & List<&2,Maybe<&2,U32>>,provision:Provision<S,C,R,empty,count>,factory:W.Factory,resource:R) -> Provision<S,C,R,empty,count> & W.Creation<S,C,R,E>:
66  (provision,W.create(~S,~C,~R,~E,~empty,factory,resource))