def blanks

ezx@1.11.0.0 · src/pub/plan.bend:139

import Base

139# whether the status named nothing. Stated as its own walk rather than as the
140# negation of the one above, so `pub/LAWS.bend` can hold the two to each other:
141# a tree is clean exactly when git named no path at all.
142def blanks(ls: List<&2, String>) -> Bool:
143  match ls:
144    case []:
145      True{}
146    case +h <> t:
147      blanks.step(String.is_empty(h), _u => blanks(t))