type EventOwner

bendvy-ecs-core@0.1.0.4 · ordinary_reader_stream_parameter.bend:32

import Base
import bendvy-ecs-core@0.1.0.4/reader_parameter.bend as RP
import bendvy-ecs-core@0.1.0.4/event_stream.bend as Stream
import bendvy-ecs-core@0.1.0.4/event_family_routing.bend as Route

32type EventOwner<S:Data,C:Type,R:Type,P:Data,E:Data,F:Type,H:Type,
33  -take:F -> F & Stream.Stream<S,E>,
34  -put:F -> Stream.Stream<S,E> -> F> is Type:
35  EventOwner{facts:RP.RegistrationFacts,reader:Route.Reader<S,E,F,take,put>}