def spec.rows
import ezx@1.11.0.0/src/ws/workspace.bend as Workspaceimport Base
import emerging-eztoml@0.9.0.0/main.bend as E
492# the `[workspace]` table among a document's rows, or none
493def spec.rows(rows: List<&2, E.Val>) -> Read:
494 match rows:
495 case []:
496 Lone{}
497 case E.VPair{+name, E.VHead{_path, +sub}} <> tl:
498 spec.at(String.eq(name, "workspace"), sub, spec.rows(tl))
499 case _hd <> tl:
500 spec.rows(tl)