def doctor.read

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

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

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