def get_json

mlbend-huggingface@0.1.1.0 · main.bend:102

import Base
import bend-kit-http@0.36.0.0/http.bend as Http
import bend-kit-json@0.6.1.1/json.bend as Json

102# A GET, and the JSON it answered with.
103def get_json(url: String) -> IO(Result<&1, &1, Err, Json.Val>):
104  do IO<Result<&1, &1, Err, Json.Val>>:
105    r : Result<&1, &1, Http.Err, Http.Res> <- Http.get(url)
106    return json_of(r)