~/jendhub

def fresh.listing

ezx@1.11.0.0 · src/doctor/plan.bend:689

import ezx@1.11.0.0/src/doctor/plan.bend as Plan
import Base
import ezx@1.11.0.0/src/doctor/world.bend as DW
import ezx@1.11.0.0/src/lock/plan.bend as P
import ezx@1.11.0.0/src/lock/world.bend as W

689# the check over the sources git listed. Sources git could not list are the
690# drift report's to say.
691def fresh.listing(+world: DW.World, listing: W.Listing, +text: String) -> List<&2, Note>:
692  match listing:
693    case W.Listed{fs}:
694      +lw = relock(world, fs)
695      [fresh.away(P.wants(lw), lw, text)]
696    case W.Unlisted{_why}:
697      []

Uses (8)

Used by (1)