EventStream.read_declaration: def of bendvy-ecs-core@0.1.0.4
Import: import bendvy-ecs-core@0.1.0.4/event_stream.bend as EventStream
Lines 77-80 of bendvy-ecs-core@0.1.0.4/event_stream.bend: https://jend.leeeet.dev/read.txt?path=bendvy-ecs-core@0.1.0.4/event_stream.bend&start_line=77&end_line=80

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

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

Uses (3):
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/event_stream.bend&name=Stream
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/ordinary_event_declaration.bend&name=Declaration
  https://jend.leeeet.dev/definition.txt?path=bendvy-ecs-core@0.1.0.4/ordinary_event_declaration.bend&name=read