EmergingEztoml.rows.repl: def of emerging-eztoml@0.9.0.0 Import: import emerging-eztoml@0.9.0.0/main.bend as EmergingEztoml Lines 1947-1955 of emerging-eztoml@0.9.0.0/main.bend: https://jend.leeeet.dev/read.txt?path=emerging-eztoml@0.9.0.0/main.bend&start_line=1947&end_line=1955 import Base # replace every pair of this name def rows.repl(rows: List<&2, Val>, +name: String, +val: Val) -> List<&2, Val>: match rows: case []: [] case VPair{+n, old} <> t: rows.repl.step(str.eq(n, name), n, old, val, _u => rows.repl(t, name, val)) case h <> t: h <> rows.repl(t, name, val) Uses (5): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=Val https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=rows.repl.step https://jend.leeeet.dev/definition.txt?path=emerging-eztoml@0.9.0.0/main.bend&name=str.eq