Run.git.said: def of ezx@1.11.0.0 Import: import ezx@1.11.0.0/src/lock/run.bend as Run Lines 306-312 of ezx@1.11.0.0/src/lock/run.bend: https://jend.leeeet.dev/read.txt?path=ezx@1.11.0.0/src/lock/run.bend&start_line=306&end_line=312 import Base import snap@1.4.0.0/main.bend as R import ezx@1.11.0.0/src/share/say.bend as Say import ezx@1.11.0.0/src/share/spin.bend as Spin import ezx@1.11.0.0/src/lock/up.bend as Up # what git printed, and whether it succeeded, kept as it was def git.said(+what: String, args: List<&2, String>) -> IO(Up.Answer): do IO: +s : Say.Spin <- Spin.hold(what) +out : String <- R.exec(args) Spin.done(s) return Up.Printed{R.ok(out), R.text(out)} Uses (13): 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/up.bend&name=Answer https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/share/say.bend&name=Spin https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/share/spin.bend&name=done https://jend.leeeet.dev/definition.txt?path=ezx@1.11.0.0/src/share/spin.bend&name=hold https://jend.leeeet.dev/definition.txt?path=snap@1.4.0.0/main.bend&name=exec https://jend.leeeet.dev/definition.txt?path=snap@1.4.0.0/main.bend&name=ok https://jend.leeeet.dev/definition.txt?path=snap@1.4.0.0/main.bend&name=text