def removal_identity

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

import Base
import bendvy-ecs-core@0.1.0.4/world.bend as W
import bendvy-ecs-core@0.1.0.4/ordinary_removal_provision.bend as Provision
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

347def removal_identity(~S:Data,~Payload:Type,~E:Data,
348  ~inject:Identity.Declaration<S,Payload> -> W.Handle<S> -> E,
349  ~select:E -> Maybe<&2,Rm.Record<S,Identity.Declaration<S,Payload>>>,
350  selection:Provision.Selection<S,Payload,E,inject,select>) -> Identity.Declaration<S,Payload>:
351  match selection:
352    case Provision.Selection{identity}:identity