WorldIo.with_namespace: def of bendvy-ecs-core@0.1.0.3
Import: import bendvy-ecs-core@0.1.0.3/world_io.bend as WorldIo
Lines 21-25 of bendvy-ecs-core@0.1.0.3/world_io.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.3/world_io.bend&start_line=21&end_line=25

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

# Trusted integration constructor with a caller-supplied namespace. Rejects
# reserved namespace values and returns the resource on refusal. Does not
# allocate a unique namespace: caller must prevent collisions. Prefer create.
def with_namespace(~S: Data,~C: Type,~R: Type,~E: Data,~empty: Unit -> C,+namespace: U32,resource: R) -> IO(Creation<S,C,R,E>):
  IO.pure(Creation<S,C,R,E>,convert(~S,~C,~R,~E,W.create_checked(~S,~C,~R,~E,~empty,Bool.and(U32.is_lt(0,namespace),U32.is_lt(namespace,4294967295)),namespace,resource)))

Uses (9):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.and
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.pure
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=U32.is_lt
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Unit
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/world.bend&name=create_checked
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/world_io.bend&name=Creation
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.3/world_io.bend&name=convert