~/jendhub

def ledger.names.of

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

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

291# every name a ledger's dependencies record, each with the hash it named when
292# it was added
293def ledger.names.of(ds: List<&2, M.Dep>) -> List<&2, Name>:
294  match ds:
295    case []:
296      []
297    case +h <> t:
298      List.append(&2, Name, ledger.name(h), ledger.names.of(t))

Uses (5)

Used by (1)