def bind

bendvy-ecs-core@0.1.0.4 · ordinary_inspector_event.bend:9

import Base
import bendvy-ecs-core@0.1.0.4/inspector_event_value.bend as Getter
import bendvy-ecs-core@0.1.0.4/ordinary_event_family.bend as Provision
import bendvy-ecs-core@0.1.0.4/ordinary_event_declaration.bend as Event
import bendvy-ecs-core@0.1.0.4/event_family_routing.bend as Route
import bendvy-ecs-core@0.1.0.4/event_stream.bend as Leaf
import bendvy-ecs-core@0.1.0.4/capabilities.bend as Cap

9# Bind existing generated selection and the same ordinary declaration once.
10def bind(~S:Data,~C:Type,~R:Type,~P:Data,~E:Data,~F:Type,~take:F -> F & Leaf.Stream<S,E>,~put:F -> Leaf.Stream<S,E> -> F,declaration:Event.Declaration<S,E>,_:Provision.Selection<S,E,F,take,put>) -> Cap.ValueRead<Route.Runtime<S,C,R,P,F>,Maybe<&2,List<&2,E>>>:
11  Getter.read(~S,~C,~R,~P,~E,~F,~take,~put,declaration)