~/jendhub

def retained_record

bendvy-ecs-core@0.1.0.4 · event_notice_runtime.bend:58

import bendvy-ecs-core@0.1.0.4/event_notice_runtime.bend as EventNoticeRuntime
import Base
import bendvy-ecs-core@0.1.0.4/event_runtime.bend as Ev

58def retained_record(~P:Data,~F:Type,+head:List<&2,P>,returned:F & (List<&2,P> & List<&2,List<&2,P>>)) -> F & (List<&2,P> & List<&2,List<&2,P>>):
59  match returned:
60    case (family,(records,slots)):(family,(Ev.append(~P,head,records),head <> slots))

Uses (4)

Used by (1)