def doctor.ledger

ezx@1.11.0.0 · src/ws/run.bend:441

import Base
import ezx@1.11.0.0/src/ws/workspace.bend as W
import ezx@1.11.0.0/src/ws/doctor.bend as Doc

441# the ledger `ez doctor` judges: ez.toml as it is, or, at a workspace root,
442# the joint ledger of the root and every member
443def doctor.ledger(led: Maybe<&2, String>) -> IO(Doc.Doctored):
444  match led:
445    case None{}:
446      IO.pure(Doc.Doctored, Doc.Doctored{None{}, Doc.Alone{}})
447    case Some{+text}:
448      doctor.read(W.spec.of(text), text)