def rows

ezx@1.11.0.0 · src/git/git.bend:116

import Base

116# every row of what ls-remote printed
117def rows(ls: List<&2, String>) -> List<&2, Row>:
118  match ls:
119    case []:
120      []
121    case h <> t:
122      List.append(&2, Row, row.put(h), rows(t))