def profiles_val
import cswap-bend-cli@0.1.0.0/setimp.bend as Setimpimport 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
280def profiles_val(+v: Json.Json) -> Result<&2, &2, String, Json.Json>:
281 match v:
282 case Json.JObj{f}:
283 S.wrap.obj(prof_list(f))
284 case Json.JNull{}:
285 Done{Json.JNull{}}
286 case _:
287 Fail{"profiles must be a mapping of names to profiles"}