def unknown.in

bolt@1.26.0.0 · src/config.bend:154

import Base
import bolt@1.26.0.0/src/codes.bend as Codes

154# the settings, in order, whose name no row of the table has as its slug or
155# its group
156def unknown.in(ss: List<&2, Setting>, +rows: List<&2, Codes.Entry>) -> List<&2, Setting>:
157  match ss:
158    case Nil{}:
159      Nil{}
160    case Con{Setting{+n, w, line}, rest}:
161      +more = unknown.in(rest, rows)
162      Bool.pick(List<&2, Setting>, known.in(rows, n),
163        more, Setting{n, w, line} <> more)