def event_param

bendvy-ecs-core@0.1.0.4 · ordinary_app_reader_parameter.bend:53

import Base
import bendvy-ecs-core@0.1.0.4/reader_parameter.bend as RP
import bendvy-ecs-core@0.1.0.4/relation_commands.bend as Notice
import bendvy-ecs-core@0.1.0.4/event_notice_runtime.bend as Mixed
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 Stream
import bendvy-ecs-core@0.1.0.4/ordinary_event_declaration.bend as Event
import bendvy-ecs-core@0.1.0.4/ordinary_reader_stream_parameter.bend as SParam

53def event_param(~S:Data,~C:Type,~R:Type,~P:Data,~E:Data,~F:Type,~H:Type,
54  ~take:F -> F & Stream.Stream<S,E>,
55  ~put:F -> Stream.Stream<S,E> -> F,
56  ~declaration:Event.Declaration<S,E>) -> Declared<S,RP.Param<Route.Runtime<S,C,R,Notice.Notice<S,P>,Mixed.State<S,P,F,H>>,SParam.EventOwner<S,C,R,P,E,F,H,take,put>,SParam.EventView<S,E>,Nat,
57  SParam.validate_event(~S,~C,~R,~P,~E,~F,~H,~take,~put,~declaration),SParam.prepare_event(~S,~C,~R,~P,~E,~F,~H,~take,~put,~declaration),SParam.commit_event(~S,~C,~R,~P,~E,~F,~H,~take,~put),SParam.release_event(~S,~C,~R,~P,~E,~F,~H,~take,~put)>>:
58  Declared{SParam.event_param(~S,~C,~R,~P,~E,~F,~H,~take,~put,~declaration),event_uses(~S,~E,declaration)}