Exec.switch_route: def of cswap-bend-cli@0.1.0.0 Import: import cswap-bend-cli@0.1.0.0/exec.bend as Exec Lines 164-171 of cswap-bend-cli@0.1.0.0/exec.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/exec.bend&start_line=164&end_line=171 import Base import cswap-bend-cli@0.1.0.0/cliops.bend as Cliops import cswap-bend-cli@0.1.0.0/profswitch.bend as Profswitch import cswap-bend-cli@0.1.0.0/cmd.bend as Cmd import cswap-bend-cli@0.1.0.0/args.bend as Args # `switch` follows a behaviour profile when `--profile NAME` (or the active # profile) names one; every other command runs as parsed. def switch_route(+ni: Cliops.Ni, +over: Maybe<&2, String>, +p: Args.Parsed) -> IO(Cmd.Out): match p: case Args.PSwitch{ident, force, strategy, model, json}: with_ctx(ctx => Profswitch.switch_cmd(ctx, over, ident, force, strategy, model, json)) case _: dispatch(ni, p) 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=Maybe 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/args.bend&name=Parsed https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/cliops.bend&name=Ni 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/exec.bend&name=dispatch https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/exec.bend&name=with_ctx https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/profswitch.bend&name=switch_cmd