def remove.list

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

import bend-kit-scheduler@0.4.1.0/queue.bend as Queue

import Base

69def remove.list(-A: Data, xs: List<&2, Ticket<A>>, +i: Nat) -> List<&2, Ticket<A>>:
70  match xs:
71    case Nil{}:
72      Nil{}
73    case Con{+t, rest}:
74      remove.list.keep(A, Nat.is_eq(id(A, t), i), t, remove.list(A, rest, i))

Uses (6)

Used by (13)