def registered

bendvy-ecs-core@0.1.0.4 · event_stream.bend:30

import bendvy-ecs-core@0.1.0.4/event_stream.bend as EventStream

import Base

30# Allocate the next reader id, returning zero on exhaustion with stream unchanged.
31# Does not activate its position or deliver unread data; routing checks admission
32# before using this low-level result.
33def registered(~S:Data,~E:Data,+stream:Stream<S,E>,+tick:Nat) -> Stream<S,E> & U32:
34  registered_checked(~S,~E,can_register(~S,~E,stream),stream,tick)

Uses (6)

Used by (2)