Run.whole.dir: def of ezx@1.13.0.0
Import: import ezx@1.13.0.0/src/lock/run.bend as Run
Lines 503-516 of ezx@1.13.0.0/src/lock/run.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.13.0.0/src/lock/run.bend&start_line=503&end_line=516

import Base
import ezx@1.13.0.0/src/share/say.bend as Say
import ezx@1.13.0.0/src/share/spin.bend as Spin
import ezx@1.13.0.0/src/lock/up.bend as Up

# a scratch directory made, or why it could not be
def whole.dir(ok: Bool, +work: String, +url: String, +rev: String) -> IO(Up.Answer):
  match ok:
    case False{}:
      IO.pure(Up.Answer, Up.Miss{"ez: no scratch directory to clone into: " ++ work})
    case True{}:
      do IO<Up.Answer>:
        +s : Say.Spin <- Spin.hold(Say.git.fetch(url))
        a : Up.Answer <- whole.run(work, "init", ["git", "init", "-q", work], _u =>
          whole.run(work, "fetch", ["git", "-C", work, "fetch", "-q", "--depth", "1", url, rev], _v =>
            whole.run(work, "checkout", ["git", "-C", work, "checkout", "-q", rev], _w =>
              whole.weigh(work, rev))))
        Spin.done(s)
        return a

Uses (15):
  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=IO.bind
  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=String
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String.append
  https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Unit
  https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/lock/run.bend&name=whole.run
  https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/lock/run.bend&name=whole.weigh
  https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/lock/up.bend&name=Answer
  https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/share/say.bend&name=Spin
  https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/share/say.bend&name=git.fetch
  https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/share/spin.bend&name=done
  https://jend.leeeet.dev/definition.txt?path=ezx@1.13.0.0/src/share/spin.bend&name=hold