def read_declaration

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

import Base
import bendvy-ecs-core@0.1.0.4/ordinary_event_declaration.bend as Event

77# Derive read-mode declaration from the retained stream domain, not a new writer grant.
78def read_declaration(~S:Data,~E:Data,stream:Stream<S,E>) -> Event.Declaration<S,E>:
79  match stream:
80    case Stream{domain,_,_,_,_,_,_,_}:Event.read(~S,~E,domain)