def create

bendvy-ecs-core@0.1.0.4 · events.bend:23

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

23# Create an independent append-only reader at offset zero, returning World.
24# Existing events are initially unread. This creates no system registration or
25# bounded-retention lease; raw Reader construction remains trusted setup.
26def create(~S: Data,~C: Type,~R: Type,~E: Data,world: W.World<S,C,R,E>) -> W.World<S,C,R,E> & Reader<S>:
27  create_join(~S,~C,~R,~E,W.namespace(~S,~C,~R,~E,world))

Uses (5)

Used by (0)

No other definition uses this definition.