def removal_publications_kept

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

import bendvy-ecs-core@0.1.0.4/ordinary_reader_stream_parameter.bend as OrdinaryReaderStreamParameter
import Base
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

484def removal_publications_kept(~S:Data,~P:Data,~Payload:Type,
485  ~select:Notice.Notice<S,P> -> Maybe<&2,Rm.Record<S,Identity.Declaration<S,Payload>>>,
486  publications:List<&2,P>) -> List<&2,P>:
487  match publications:
488    case []:[]
489    case +publication <> rest:
490      removal_publication_retain(~P,
491        removal_publication_kept(~S,~P,~Payload,~select,publication),publication,
492        removal_publications_kept(~S,~P,~Payload,~select,rest))

Uses (7)

Used by (1)