def removal_batches_kept

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

import Base
import bendvy-ecs-core@0.1.0.4/event_runtime.bend as Ev
import bendvy-ecs-core@0.1.0.4/relation_commands.bend as Notice
import bendvy-ecs-core@0.1.0.4/ordinary_declaration.bend as Identity
import bendvy-ecs-core@0.1.0.4/removals.bend as Rm

498def removal_batches_kept(~S:Data,~P:Data,~Payload:Type,
499  ~select:Notice.Notice<S,P> -> Maybe<&2,Rm.Record<S,Identity.Declaration<S,Payload>>>,
500  batches:List<&2,Ev.Batch<P>>) -> List<&2,Ev.Batch<P>>:
501  match batches:
502    case []:[]
503    case batch <> rest:removal_batch_kept(~S,~P,~Payload,~select,batch) <> removal_batches_kept(~S,~P,~Payload,~select,rest)