def retire

bendvy-ecs-core@0.1.0.3 · owned_event_log.bend:41

import bendvy-ecs-core@0.1.0.3/owned_event_log.bend as OwnedEventLog

import Base

41def retire(~P:Type,log:Log<P>,ids:List<&2,Nat>) -> Log<P> & List<Row<P>>:
42  match log:
43    case Log{next,rows}:retired(~P,next,partition(~P,rows,ids))

Uses (7)

Used by (1)

bendvy-ecs-core@0.1.0.3/owned_event_log:retain