def after_word

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

import Base

545# ---- keyboard: hidutil's UserKeyMapping ----
546# The number after `w =` for each `w` in the words.
547def after_word(ws: List<&2, String>, +w: String) -> List<&2, String>:
548  match ws:
549    case []:
550      []
551    case +x <> +rest:
552      List.append(&2, String, Bool.pick(List<&2, String>, String.eq(x, w), [digits(Maybe.default(&2, String, List.get(&2, String, rest, 1n), ""))], []), after_word(rest, w))