Run.exec.lay: def of ezx@1.11.0.0
Import: import ezx@1.11.0.0/src/tool/run.bend as Run
Lines 157-166 of ezx@1.11.0.0/src/tool/run.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/tool/run.bend&start_line=157&end_line=166

import Base
import snap@1.4.0.0/main.bend as R
import ezx@1.11.0.0/src/lock/run.bend as Run
import ezx@1.11.0.0/src/tool/plan.bend as TP

# a checkout laid: whatever was there removed, then every file, the record
# last
def exec.lay(layout: TP.Lay) -> IO(Unit):
  match layout:
    case TP.Still{}:
      IO.pure(Unit, Unit{})
    case TP.Lay{dir, ws}:
      do IO<Unit>:
        _rm : String <- R.exec(["rm", "-rf", dir])
        Run.exec.all("", ws)

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.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=Unit
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/lock/run.bend&name=exec.all
  https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/tool/plan.bend&name=Lay
  https://jend.leeeet.dev/definition.txt?path=snap@1.4.0.0/main.bend&name=exec