def find.list.choose

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

import Base

98# Reference observation for laws; completion uses the single-pass take below.
99def find.list.choose(-A: Data, b: Bool, t: Ticket<A>, rest: Maybe<&2, Ticket<A>>) -> Maybe<&2, Ticket<A>>:
100  match b:
101    case True{}:
102      Some{t}
103    case False{}:
104      rest