def removal_event_selected

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

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

432def removal_event_selected(~S:Data,~P:Data,~Payload:Type,
433  selected:Maybe<&2,Rm.Record<S,Identity.Declaration<S,Payload>>>,
434  +event:Notice.Notice<S,P>,rest:List<&2,Notice.Notice<S,P>>) -> List<&2,Notice.Notice<S,P>>:
435  match selected:
436    case None{}:event <> rest
437    case Some{_}:rest

Uses (5)

Used by (1)