def ledger.names

ezx@1.11.0.0 · src/lock/lock.bend:300

import Base
import ezx@1.11.0.0/src/ledger/manifest.bend as M

300# every name a ledger records. One that would not parse records none.
301def ledger.names(parsed: M.Read) -> List<&2, Name>:
302  match parsed:
303    case M.Bad{_why}:
304      []
305    case M.Good{m}:
306      M.Manifest{_n, _e, _b, _h, _pa, _pv, ds, _ts} = m
307      ledger.names.of(ds)