Cfgio.profile_export_out: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/cfgio.bend as Cfgio
Lines 325-330 of cswap-bend-cli@0.1.0.0/cfgio.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/cfgio.bend&start_line=325&end_line=330

import Base
import cswap-bend-cli@0.1.0.0/json.bend as Json
import cswap-bend-cli@0.1.0.0/cmd.bend as Cmd
import cswap-bend-cli@0.1.0.0/profile.bend as P

def profile_export_out(m: Maybe<&2, String>, +raw: Json.Json) -> Cmd.Out:
  match m:
    case None{}:
      Cmd.doc(all_profiles(raw))
    case Some{+name}:
      one_profile(P.has_stored(raw, name), raw, name)

Uses (8):
  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/cfgio.bend&name=all_profiles
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/cfgio.bend&name=one_profile
  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=doc
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/json.bend&name=Json
  https://jend.leeeet.dev/definition.txt?path=cswap-bend-cli@0.1.0.0/profile.bend&name=has_stored