~/jendhub

def retained_records

bendvy-ecs-core@0.1.0.4 · event_publication.bend:86

import bendvy-ecs-core@0.1.0.4/event_publication.bend as EventPublication
import Base

86def retained_records(~A:Data,~B:Data,records:List<&2,Publication<A,B>>,+tick:Nat,+firstDropped:Nat,+secondDropped:Nat) -> List<&2,Publication<A,B>>:
87  match records:
88    case []:[]
89    case record <> rest:retained_join(~A,~B,retained_record(~A,~B,record,tick,firstDropped,secondDropped),retained_records(~A,~B,rest,tick,firstDropped,secondDropped))

Uses (5)

Used by (1)