def rows.put

bend-kit-commands@0.4.0.0 · commands.bend:307

import bend-kit-commands@0.4.0.0/commands.bend as Commands
import Base

307# Writes the rows in order, so a later row for a key wins.
308def rows.put(rs: List<Row>, +save: U32, +del: U32) -> Run(Unit):
309  match rs:
310    case Nil{}:
311      Run.pure(Unit, Unit{})
312    case Con{Row{k, v}, rest}:
313      do Run<Unit>:
314        row.put(v, save, del, k)
315        rows.put(rest, save, del)

Uses (8)

Used by (1)