def args_of

cswap-bend-cli@0.1.0.0 · rpcmsg.bend:57

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

57def args_of(+v: Json.Json) -> Result<&2, &2, String, List<&2, String>>:
58  match v:
59    case Json.JNull{}:
60      Done{[]}
61    case Json.JArr{items}:
62      strs_of(items)
63    case _:
64      Fail{"args must be an array"}