type Reader

bendvy-ecs-core@0.1.0.4 · event_family_routing.bend:15

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

15# Affine reader token binding World namespace, stream-reader id and registry id
16# to its typed stream selection. Raw field fabrication does not establish authority.
17type Reader<S:Data,E:Data,F:Type,-take:F -> F & Leaf.Stream<S,E>,-put:F -> Leaf.Stream<S,E> -> F> is Type:
18  Reader{namespace:U32,id:U32,registryId:U32}