def sources.asks

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

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

936# the sources are read only when there is a ledger to compare them with
937def sources.asks(ledger: M.Read) -> List<&2, DW.Ask>:
938  match ledger:
939    case M.Bad{_why}:
940      []
941    case M.Good{_m}:
942      [DW.Sources{}]