def item_str

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

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

32def item_str(+h: Json.Json) -> Result<&2, &2, String, String>:
33  match h:
34    case Json.JStr{s}:
35      Done{s}
36    case Json.JNum{t}:
37      Done{t}
38    case _:
39      Fail{"args must be strings or numbers"}

Uses (3)

Used by (1)