def viewed

bendvy-ecs-core@0.1.0.4 · ordinary_inspector_removal.bend:28

import Base
import bendvy-ecs-core@0.1.0.4/ordinary_declaration.bend as Identity
import bendvy-ecs-core@0.1.0.4/world.bend as W
import bendvy-ecs-core@0.1.0.4/removals.bend as Rm

28def viewed(~S:Data,~C:Type,~R:Type,~E:Data,~P:Type,~select:E -> Maybe<&2,Rm.Record<S,Identity.Declaration<S,P>>>,key:String,view:W.World<S,C,R,E> & List<&2,E>) -> W.World<S,C,R,E> & Maybe<&2,List<&2,Rm.Record<S,Identity.Declaration<S,P>>>>:
29  (world,values)=view
30  (world,Some{records(~S,~P,key,Rm.since(~S,~E,~Identity.Declaration<S,P>,~select,values,0n))})