Queue.take.keep: def of bend-kit-scheduler@0.4.1.0
Import: import bend-kit-scheduler@0.4.1.0/queue.bend as Queue
Lines 116-126 of bend-kit-scheduler@0.4.1.0/queue.bend: https://jend.leeeet.dev/read.txt?path=bend-kit-scheduler@0.4.1.0/queue.bend&start_line=116&end_line=126
import Base
# Remove all matching entries and return the first token in one traversal.
def take.keep(-A: Data, b: Bool, t: Ticket, result: Taken) -> Taken:
match b:
case True{}:
match result:
case Taken{rest, found}:
Taken{rest, Some{t}}
case False{}:
match result:
case Taken{rest, found}:
Taken{t <> rest, found}
Uses (5):
https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
https://jend.leeeet.dev/definition.txt?path=bend-kit-scheduler@0.4.1.0/queue.bend&name=Taken
https://jend.leeeet.dev/definition.txt?path=bend-kit-scheduler@0.4.1.0/queue.bend&name=Ticket