def rows.repl

emerging-eztoml@0.9.0.0 · main.bend:1947

import Base

1947# replace every pair of this name
1948def rows.repl(rows: List<&2, Val>, +name: String, +val: Val) -> List<&2, Val>:
1949  match rows:
1950    case []:
1951      []
1952    case VPair{+n, old} <> t:
1953      rows.repl.step(str.eq(n, name), n, old, val, _u => rows.repl(t, name, val))
1954    case h <> t:
1955      h <> rows.repl(t, name, val)