type Creation

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

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

5# Ordinary creation uses the checked host IO namespace allocator.
6# Canonical linked Native execution and a shared JS realm are qualified separately.
7# with_namespace/convert and raw World construction are trusted integration helpers.
8# No language-wide constructor/authority confinement is claimed.
9# Concrete World constructors remain a trusted schema/admin boundary.
10# World creation outcome: Created owns the new World; Refused returns the
11# caller's resource owner without constructing a usable World.
12type Creation<S: Data,C: Type,R: Type,E: Data> is Type:
13  Created{world: W.World<S,C,R,E>}
14  Refused{resource: R}

Uses (1)

Used by (3)