~/jendhub

def removal_access

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

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/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

353def removal_access(~S:Data,~Payload:Type,~E:Data,
354  ~inject:Identity.Declaration<S,Payload> -> W.Handle<S> -> E,
355  ~select:E -> Maybe<&2,Rm.Record<S,Identity.Declaration<S,Payload>>>,
356  selection:Provision.Selection<S,Payload,E,inject,select>) -> List<&2,String>:
357  ["removal",removal_name(~S,~Payload,~E,~inject,~select,selection)]

Uses (8)

Used by (2)