def names.laid

ezx@1.11.0.0 · src/add/hub.bend:457

import Base
import ezx@1.11.0.0/src/lock/plan.bend as P
import ezx@1.11.0.0/src/lock/lock.bend as L

457# every name's file a list of effects lays, in order
458def names.laid(es: List<&2, P.Effect>) -> List<&2, L.Name>:
459  match es:
460    case []:
461      []
462    case e <> t:
463      match e:
464        case P.Name{nv, hash}:
465          L.Name{nv, hash} <> names.laid(t)
466        case _:
467          names.laid(t)