def remove.list.keep

bend-kit-scheduler@0.4.1.0 · queue.bend:61

import Base

61# ponytail: eager O(n) cancellation; indexed deletion if cancellation dominates.
62def remove.list.keep(-A: Data, b: Bool, t: Ticket<A>, rest: List<&2, Ticket<A>>) -> List<&2, Ticket<A>>:
63  match b:
64    case True{}:
65      rest
66    case False{}:
67      t <> rest