def relation_release_selected

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

import Base
import bendvy-ecs-core@0.1.0.4/event_runtime.bend as Ev
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
import bendvy-ecs-core@0.1.0.4/relation_failure_disposal.bend as KDispose

658def relation_release_selected(~S:Data,~C:Type,~R:Type,~P:Data,~F:Type,~H:Type,
659  context:Route.Runtime<S,C,R,Notice.Notice<S,P>,Mixed.State<S,P,F,H>>,
660  id:Maybe<&2,U32>) -> Route.Runtime<S,C,R,Notice.Notice<S,P>,Mixed.State<S,P,F,H>>:
661  match context id:
662    case Route.Runtime{world,Mixed.State{typed,Mixed.Failures{domains,positions,+tick,frameStart,boundary,capacity,nextReader}},routeTick} None{}:
663      Route.Runtime{world,Mixed.State{typed,Mixed.Failures{domains,positions,tick,frameStart,boundary,capacity,nextReader}},routeTick}
664    case Route.Runtime{world,Mixed.State{typed,Mixed.Failures{domains,positions,+tick,frameStart,boundary,capacity,nextReader}},routeTick} Some{+readerId}:
665      Route.Runtime{world,
666        Mixed.State{typed,Mixed.Failures{
667          KDispose.release(~S,~Notice.Notice<S,P>,domains,readerId),
668          Ev.update(positions,readerId,tick,True{}),tick,frameStart,boundary,capacity,nextReader}},routeTick}