def digits_of

near-v-framework@0.4.0.0 · domain/architecture/system/deployment/nix_darwin/brew/ops.bend:129

import Base

129# ---- reading a Brewfile (as `brew bundle dump` writes it): a line's options after the name are dropped,
130# except a Mac App Store app's id ----
131def digits_of(cs: List<&2, Char>) -> String:
132  match cs:
133    case []:
134      ""
135    case +c <> rest:
136      Bool.pick(String, Char.is_digit(c), String.from_list([c]) ++ digits_of(rest), "")