def event_release_decided

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

import Base
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
import bendvy-ecs-core@0.1.0.4/event_notice_runtime.bend as Mixed
import bendvy-ecs-core@0.1.0.4/relation_commands.bend as Notice

243def event_release_decided(~S:Data,~C:Type,~R:Type,~P:Data,~E:Data,~F:Type,~H:Type,
244  ~take:F -> F & Stream.Stream<S,E>,~put:F -> Stream.Stream<S,E> -> F,
245  allowed:Bool,context:Route.Runtime<S,C,R,Notice.Notice<S,P>,Mixed.State<S,P,F,H>>,readerId:U32) -> Route.Runtime<S,C,R,Notice.Notice<S,P>,Mixed.State<S,P,F,H>>:
246  match allowed:
247    case False{}:context
248    case True{}:event_release_ready(~S,~C,~R,~P,~E,~F,~H,~take,~put,readerId,context)