def find.list

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

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

import Base

106def find.list(-A: Data, xs: List<&2, Ticket<A>>, +i: Nat) -> Maybe<&2, Ticket<A>>:
107  match xs:
108    case Nil{}:
109      None{}
110    case Con{+t, rest}:
111      find.list.choose(A, Nat.is_eq(id(A, t), i), t, find.list(A, rest, i))

Uses (7)

Used by (9)