~/jendhub

def release_records

bendvy-ecs-core@0.1.0.4 · restore_leaf.bend:48

import bendvy-ecs-core@0.1.0.4/restore_leaf.bend as RestoreLeaf
import Base

48def release_records(~I:Type,~P:Type,records:List<Record<I,P>>,returned:List<I>) -> List<I>:
49  match records:
50    case []:returned
51    case Record{_,owner,undo} <> rest:release_records(~I,~P,rest,undo(owner) <> returned)

Uses (2)

Used by (1)