~/jendhub

def retained_records

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

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

64def retained_records(~P:Data,~F:Type,~retain:F -> Nat -> List<&2,P> -> F & List<&2,P>,records:List<&2,P>,family:F,+tick:Nat) -> F & (List<&2,P> & List<&2,List<&2,P>>):
65  match records:
66    case []:(family,([],[]))
67    case head <> rest:retained_record_head(~P,~F,(family => retained_records(~P,~F,~retain,rest,family,tick)),retain(family,tick,[head]))

Uses (5)

Used by (1)