Cmd.lock.go: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/ez/cmd.bend as Cmd
Lines 143-157 of ezx@1.11.0.0/src/ez/cmd.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/ez/cmd.bend&start_line=143&end_line=157

import Base
import ezx@1.11.0.0/src/lock/run.bend as Run
import ezx@1.11.0.0/src/lock/plan.bend as P
import ezx@1.11.0.0/src/ez/ends.bend as E

# `ez lock`, plain or `--upgrade`, is the planner's
# (lock/plan.bend, lock/up.bend): a plain lock copies every pin as the ledger
# has it, refuses one it would have to fill, and never writes ez.toml; an
# upgrade moves the selected pins, writes ez.toml once, `.gitignore`, the
# rewritten imports and the lock in one plan. Either writes nothing when it
# refuses, and a missing ledger is refused. `--package` is only a filter on an
# upgrade.
# `--package` without `--upgrade` is refused before anything is read
# (`E.lock.flags`).
def lock.go(flags: P.Outcome, up: Bool, +name: String) -> IO(Unit):
  match flags:
    case P.Success{}:
      Run.run(up, name)
    case P.Refused{why}:
      Run.end(P.Refused{why})

Uses (7):
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Unit
  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/run.bend&name=end
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/run.bend&name=run