def rows.get

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

import Base
import bend-kit-bytes@0.3.3.0/bytes.bend as Bytes

253# One row for each key, in order.
254def rows.get(ks: List<Bytes.Bytes>, +read: U32) -> Run(List<Row>):
255  match ks:
256    case Nil{}:
257      Run.pure(List<Row>, Nil{})
258    case Con{k, rest}:
259      do Run<List<Row>>:
260        r : Row <- row.at(read, Bytes.clone(k))
261        rs : List<Row> <- rows.get(rest, read)
262        return Con{r, rs}