Run.doctor.read: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/ws/run.bend as Run
Lines 431-439 of ezx@1.11.0.0/src/ws/run.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/ws/run.bend&start_line=431&end_line=439

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

# what one ledger's text says, for the doctor
def doctor.read(rd: W.Read, +text: String) -> IO(Doc.Doctored):
  match rd:
    case W.Lone{}:
      IO.pure(Doc.Doctored, Doc.Doctored{Some{text}, Doc.Alone{}})
    case W.Bad{why}:
      IO.pure(Doc.Doctored, Doc.Doctored{Some{text}, Doc.Back{text, [], why}})
    case W.Root{_spec}:
      doctor.root(text)

Uses (9):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.pure
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Maybe
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/doctor.bend&name=Back
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/doctor.bend&name=Doctored
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/run.bend&name=doctor.root
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ws/workspace.bend&name=Read