Setimp.profiles_val: def of cswap-bend-cli@0.1.0.0
Import: import cswap-bend-cli@0.1.0.0/setimp.bend as Setimp
Lines 280-287 of cswap-bend-cli@0.1.0.0/setimp.bend: https://jend.leeeet.dev/read.txt?path=cswap-bend-cli@0.1.0.0/setimp.bend&start_line=280&end_line=287

import Base
import cswap-bend-cli@0.1.0.0/json.bend as Json
import cswap-bend-cli@0.1.0.0/fmt/yscal.bend as S

def profiles_val(+v: Json.Json) -> Result<&2, &2, String, Json.Json>:
  match v:
    case Json.JObj{f}:
      S.wrap.obj(prof_list(f))
    case Json.JNull{}:
      Done{Json.JNull{}}
    case _:
      Fail{"profiles must be a mapping of names to profiles"}

Uses (5):
  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/fmt/yscal.bend&name=wrap.obj
  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/setimp.bend&name=prof_list