~/jendhub

def listing.moved

ezx@1.11.0.0 · src/lock/world.bend:514

import ezx@1.11.0.0/src/lock/world.bend as World
import Base
import ezx@1.11.0.0/src/ledger/upgrade.bend as U

514# the committed sources as the lock reads them: as the upgrade leaves them,
515# which is as they are when no hash moved, and always for a plain lock
516def listing.moved(ss: List<&2, U.Swap>, listing: Listing) -> Listing:
517  match ss:
518    case []:
519      listing
520    case h <> t:
521      listing.swap(h <> t, listing)

Uses (4)

Used by (1)