def profile_name_args

cswap-bend-cli@0.1.0.0 · cfgio.bend:347

import Base
import cswap-bend-cli@0.1.0.0/cmd.bend as Cmd

347def profile_name_args(+root: String, rest: List<&2, String>) -> IO(Cmd.Out):
348  match rest:
349    case Nil{}:
350      profile_export(root, None{})
351    case Con{n, Nil{}}:
352      profile_export(root, Some{n})
353    case Con{n, Con{x, t}}:
354      IO.pure(Cmd.Out, usage("profile", "unrecognized arguments: " ++ String.join(Con{x, t}, " ")))