def client.get.timed

emerging-ezhttp@0.21.0.0 · src/client.bend:98

import Base
import emerging-ezhttp@0.21.0.0/src/http.bend as Http
import emerging-ezhttp@0.21.0.0/src/body.bend as Body

98# GET bounded by a timeout in milliseconds
99def client.get.timed(url: String, headers: List<&2, Http.Header>, ms: U32)
100  -> IO(Response):
101  client.timed("GET", url, headers, Body.Empty{}, ms)