def create
import bendvy-ecs-core@0.1.0.3/world_io.bend as WorldIoimport Base
import bendvy-ecs-core@0.1.0.3/world_namespace.bend as F
27# Create an independent World through the host IO namespace allocator.
28# Consumes resource; Created returns its World, Refused returns resource.
29# empty is trusted schema setup constructing component storage. Namespace
30# uniqueness is scoped to the qualified host allocator realm/process, not
31# arbitrary remote processes or raw constructors.
32# Example: examples/scheduled-health/main.bend; identity: docs/parity/identity.md.
33def create(~S: Data,~C: Type,~R: Type,~E: Data,~empty: Unit -> C,resource: R) -> IO(Creation<S,C,R,E>):
34 IO.bind(U32,Creation<S,C,R,E>,F.fresh(),namespace => with_namespace(~S,~C,~R,~E,~empty,namespace,resource))
Uses (7)
Used by (0)
No other definition uses this definition.