def take.list

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

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

import Base

128def take.list(-A: Data, xs: List<&2, Ticket<A>>, +i: Nat) -> Taken<A>:
129  match xs:
130    case Nil{}:
131      Taken{Nil{}, None{}}
132    case Con{+t, rest}:
133      take.keep(A, Nat.is_eq(id(A, t), i), t, take.list(A, rest, i))

Uses (8)

Used by (3)