Profcmd.planned: def of cswap-bend-cli@0.1.0.0 Import: import cswap-bend-cli@0.1.0.0/profcmd.bend as Profcmd Lines 233-239 of cswap-bend-cli@0.1.0.0/profcmd.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/profcmd.bend&start_line=233&end_line=239 import Base import cswap-bend-cli@0.1.0.0/cmd.bend as Cmd import cswap-bend-cli@0.1.0.0/fs.bend as Fs import cswap-bend-cli@0.1.0.0/setcmd.bend as Setcmd # Read settings.json strictly (a torn file is an error, never replaced), plan, write. def planned(+root: String, r: Fs.Res(Plan2)) -> IO(Cmd.Out): match r: case Fail{e}: IO.pure(Cmd.Out, Cmd.fail(Setcmd.err.msg(e))) case Done{w}: edit(root, w) Uses (10): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.pure https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Result https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=String https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/cmd.bend&name=Out https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/cmd.bend&name=fail https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/fs.bend&name=Res https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/profcmd.bend&name=Plan2 https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/profcmd.bend&name=edit https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/setcmd.bend&name=err.msg