~/jendhub

def locked.all

ezx@1.11.0.0 · src/ws/moved.bend:45

import ezx@1.11.0.0/src/ws/moved.bend as Moved
import Base
import ezx@1.11.0.0/src/lock/lock.bend as L

45# every member package of a lock's packages
46def locked.all(ps: List<&2, L.Pack>) -> List<&2, Held>:
47  match ps:
48    case []:
49      []
50    case L.Pack{+hash, src, _files} <> tl:
51      List.append(&2, Held, locked.src(src, hash), locked.all(tl))

Uses (5)

Used by (1)