Plan.plan.read: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/remove/plan.bend as Plan
Lines 159-168 of ezx@1.11.0.0/src/remove/plan.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/remove/plan.bend&start_line=159&end_line=168

import Base
import ezx@1.11.0.0/src/lock/plan.bend as P
import ezx@1.11.0.0/src/ledger/manifest.bend as M
import ezx@1.11.0.0/src/ledger/render.bend as Rend

# the plan for the ledger as read. One that did not read, or is not there,
# is refused before anything else, and its reason is the one every command
# that edits a ledger gives.
def plan.read(led: M.Read, +name: String, +ignore: String) -> P.Plan:
  match led:
    case M.Bad{why}:
      P.Plan{[], P.Refused{"ez: " ++ M.show(M.Bad{why})}}
    case M.Good{+m}:
      plan.has(Bool.and(named(deps.of(m), name), Rend.renderable(Rend.remove(m, name))),
        m, name, ignore)

Uses (13):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool.and
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=List
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.append
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ledger/manifest.bend&name=Read
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ledger/manifest.bend&name=show
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ledger/render.bend&name=remove
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/ledger/render.bend&name=renderable
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/plan.bend&name=Outcome
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/plan.bend&name=Plan
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/remove/plan.bend&name=deps.of
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/remove/plan.bend&name=named
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/remove/plan.bend&name=plan.has