Cliops.with_overwrite: def of cswap-bend-cli@0.1.0.0 Import: import cswap-bend-cli@0.1.0.0/cliops.bend as Cliops Lines 63-67 of cswap-bend-cli@0.1.0.0/cliops.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/cliops.bend&start_line=63&end_line=67 import Base import cswap-bend-cli@0.1.0.0/fs.bend as Fs import cswap-bend-cli@0.1.0.0/act.bend as Act # Run `first`; when it stops at an occupied slot (code 10) ask on stdin and, # on a yes, run `retry` (the same call, told to overwrite). With `noin` the # occupied slot is the error. def with_overwrite(first: Act.of(String), retry: Act.of(String), +noin: Bool) -> Act.of(String): IO.bind(Fs.Res(String), Fs.Res(String), first, r => ow.handle(r, retry, noin)) Uses (6): https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=Bool https://jend.leeeet.dev/definition.txt?path=Base/base.bend&name=IO.bind 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/act.bend&name=of https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/cliops.bend&name=ow.handle https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/fs.bend&name=Res